Lecture notes in computer science

Label

• Lecture notes in computer science (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Boundary conditions for thermal lattice Boltzmann simulations (Articolo in rivista) (Prodotto della ricerca)
• Analysis of miRNA Expression Profiles in Breast Cancer Using Biclustering (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
• Boltzmann Simulation of Thermal Microflows with Heterogeneus Catalysis (Articolo in rivista) (Prodotto della ricerca)
• Founding Autonomy: The Dialectics between (Social) Environment and Agent’s Architecture and Powers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introduction: Anticipation in Natural and Artificial Cognition (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Endowing Artificial Systems with Anticipatory Capabilities: Success Cases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Planning with Multiple-Components in OMPS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Hybrid Variants for Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Counterfactual Reasoning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Verifying Array Programs by Transforming Verification Conditions (Articolo in rivista) (Prodotto della ricerca)
• VeriMAP: A tool for verifying programs through transformations (Articolo in rivista) (Prodotto della ricerca)
• Human Visual System for Complexity Reduction of Image and Video Restoration (Articolo in rivista) (Prodotto della ricerca)
• Is the Intelligent Environment Smart Enough? (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Rationality, Autonomy and Coordination: the Sunk Costs Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Social facilitation on the development of foraging behaviours in a population of autonomous robots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evolving Robot Behaviour At Micro (Molecular) And Macro (Molar) Action Level (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The emergence of language: how to simulate it. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Being Trusted in a Social Network: Trust as Relational Capital (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A new learning method for piecewise linear regression (Articolo in rivista) (Prodotto della ricerca)
• From Demo to Practice: the MEXAR Path to Space Operations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Origins of Communication in Evolving (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Generating Robust Partial Order Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• In Defence of a Trope-Based Ontology for Conceptual Modeling: An example with the foundations of Attributes, Weak Entities an Datatypes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Coastline detection from SAR images by level set model (Articolo in rivista) (Prodotto della ricerca)
• Communication in Natural and Artificial Organisms: Experiments in evolutionary robotics (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synchronization and gait adaptation in evolving hexapod robots. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Trace Signals: The Meanings of Stigmergy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Distilling Router Data Analysis for Faster and Simpler Dynamic IP Lookup Algorithms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Complex Loop of Norm Emergence: a Simulation Model (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deterministic Rendezvous in Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• User-centric Mobility Models for Opportunistic Networking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• SCLP for Trust Propagation in Small-World Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Efficient Query Evaluation over Compressed XML Data (Articolo in rivista) (Prodotto della ricerca)
• Security Protocol Deployment Risk (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface to Formal Aspects in Security and Trust (FAST): 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CAUSATIONT: Modeling Causation in AI&Law (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Constructive Framework for Legal Ontologies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Envisioning probe kit: creativity and storytelling to capture the inner thoughts of people (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Dynamic Computation and Context Effects in the Hybrid Architecture AKIRA (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• \"Exhibitionists\" and \"voyeurs\" do it better: A shared environment approach for flexible coordination with tacit messages. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Information Visualization for Knowledge Extraction in Neural Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• FPF-SB : A Scalable Algorithm for Microarray Gene Expression Data Clustering (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Ontology Design Patterns for Semantic Web Content (Contributo in atti di convegno) (Prodotto della ricerca)
• Constraint Symmetry for the Soft CSP (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Modelling and solving bipolar preference problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Designing and Implementing MABS in AKIRA (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enhancing Java Security with History Based Access Control (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Extending the Globus architecture with Role-Based Trust Management (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Uncertainty in Bipolar Preference Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Throughput Evaluation ed Enhancement of TCP Clients in Wi-Fi Hot Spots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analytical Modeling of TCP Clients in Wi-Fi Hotspots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Comparison of Web Server Architectures: a Measurement Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Contract Nets for Evaluating Agent Trustworthiness (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fast PageRank Computation Via a Sparse Linear System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Anatomy of SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets. PKDD 2004 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Experimenting SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets. PKDD 2004 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A network of interneurons couplet by electrical synapses behaves as a coincidence detector (Contributo in atti di convegno) (Prodotto della ricerca)
• Multiobjective Differential Evolution for Mapping in a Grid Environment (Articolo in rivista) (Prodotto della ricerca)
• Semantic Driven Interaction using natural Language in students tutoring (Articolo in rivista) (Prodotto della ricerca)
• An Information-Theoretic Framework for Process Structure and Data Mining (Articolo in rivista) (Prodotto della ricerca)
• Statistical analysis of microspectroscopy signals for algae classification and phylogenetic comparison (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• RTDWD: Real-Time Distributed Wideband-Delphi for user stories estimation (Articolo in rivista) (Prodotto della ricerca)
• An Ontology Approach for Classification of Abnormal White Matter in Patients with Multiple Sclerosis (Articolo in rivista) (Prodotto della ricerca)
• Querying by sketch geographical databases and ambiguities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Efficient Distributed Data Condensation for Nearest Neighbor Classification (Articolo in rivista) (Prodotto della ricerca)
• X§¤PPX: a Lightweight Framework for Privacy Preserving P2P XML Databases in Very Large Publish-Subscribe Systems (Articolo in rivista) (Prodotto della ricerca)
• Improving Prediction of Distance-Based Outliers (Articolo in rivista) (Prodotto della ricerca)
• Integrating Medical Imaging into a Grid Based Computing Infrastructure (Contributo in atti di convegno) (Prodotto della ricerca)
• Verification of Tree Updates for Optimization (Articolo in rivista) (Prodotto della ricerca)
• A Tree-Based Approach to Clustering XML Documents by Structure (Articolo in rivista) (Prodotto della ricerca)
• An Interactive Distributed Environment for Digital Film Restoration (Articolo in rivista) (Prodotto della ricerca)
• Detecting Outliers via Logical Theories and its Data Complexity (Articolo in rivista) (Prodotto della ricerca)
• Middleware Services for Pervasive Grids (Articolo in rivista) (Prodotto della ricerca)
• Evaluation of Particle Swarm Optimization Effectiveness in Classification (Articolo in rivista) (Prodotto della ricerca)
• Swarm-based Distributed Clustering in Peer-to-Peer Systems (Articolo in rivista) (Prodotto della ricerca)
• A Multi-Agent Algorithm to Improve Content Management in CDN Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• An Adaptive Routing Mechanism for Efficient Resource Discovery in Unstructured P2P Networks. (Articolo in rivista) (Prodotto della ricerca)
• Distributed Intelligent Management of Active Networks (Articolo in rivista) (Prodotto della ricerca)
• Ensemble Techniques for Parallel Genetic Programming based Classifiers (Articolo in rivista) (Prodotto della ricerca)
• Extending PSBLAS to Build Parallel Schwarz Preconditioners (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• GP ensemble for Distributed Intrusion Detection Systems (Articolo in rivista) (Prodotto della ricerca)
• Mining Hierarchies of Models: From Abstract Views to Concrete Specifications (Articolo in rivista) (Prodotto della ricerca)
• Composition of a New Process to Meet Agile Needs Using Method Engineering (Articolo in rivista) (Prodotto della ricerca)
• Dependable Execution of Workflow Activities on a Virtual Private Grid Middleware (Articolo in rivista) (Prodotto della ricerca)
• Eureka! : A Tool for Interactive Knowledge Discovery (Articolo in rivista) (Prodotto della ricerca)
• CODACS Project: A Demand-Data Driven Reconfigurable Architecture (Articolo in rivista) (Prodotto della ricerca)
• Parallel Genetic Algorithms for the Tuning of a Fuzzy AQM Controller (Articolo in rivista) (Prodotto della ricerca)
• A Fuzzy Approach for the Network Congestion Problem (Articolo in rivista) (Prodotto della ricerca)
• Accessing Web Educational Resources from Mobile Wireless Devices: The Knowledge Sea Approach (Articolo in rivista) (Prodotto della ricerca)
• Mining Distributed Evolving Data Streams using Fractal GP Ensembles (Articolo in rivista) (Prodotto della ricerca)
• Image and Reputation coping differently with massive Informational Cheating (Articolo in rivista) (Prodotto della ricerca)
• Towards Reputation Enhanced Electronic Negotiations for Service Oriented Computing (Articolo in rivista) (Prodotto della ricerca)
• A Visual Object-Oriented Query Language for Geographic Information Systems (Articolo in rivista) (Prodotto della ricerca)
• Artificial Organisms that Sleep. (Articolo in rivista) (Prodotto della ricerca)
• From Simulation to Theory (and Backward) . In Squazzoni, Flaminio (Ed.) Epistemological Aspects of Computer Simulation in the Social Sciences. Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006 (Articolo in rivista) (Prodotto della ricerca)
• The Use of Current Management Systems for Accessibility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A comparison Framework for 3D Object Classification Methods (Articolo in rivista) (Prodotto della ricerca)
• Semantic Granularity for the Semantic Web (Articolo in rivista) (Prodotto della ricerca)
• Behind Livia's villa: A case study for the devolution of large scale interactive \"in-site\" to \"on-line\" application (Contributo in atti di convegno) (Prodotto della ricerca)
• Generating fuzzy models from deep knowledge: robustness and interpretability issues (Articolo in rivista) (Prodotto della ricerca)
• Load Balancing and Computing Strategies in Pipeline Optimization for Parallel Visualization of 3D Irregular Meshes (Articolo in rivista) (Prodotto della ricerca)
• VMUXE an approach to user experience evaluation for virtual museums (Contributo in atti di convegno) (Prodotto della ricerca)
• Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• ViCe: a virtual cell. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Learning to Look in Different Environments: An Active-Vision Model which Learns and Readapts Visual Routines (Articolo in rivista) (Prodotto della ricerca)
• Addizionario: words in your pocket (Articolo in rivista) (Prodotto della ricerca)
• Automatic Classification and Analysis of Provisions in Italian Legal Texts: A Case Study (Articolo in rivista) (Prodotto della ricerca)
• A Local Decision Algorithm for Maximum Lifetime in Ad Hoc Networks (Articolo in rivista) (Prodotto della ricerca)
• Operational aspects of the evolved signalling behaviour in a group of cooperating and communicating robots (Contributo in atti di convegno) (Prodotto della ricerca)
• Evolved homogeneous neuro-controllers for robots with different sensory capabilities: Coordinated motion and cooperation (Contributo in atti di convegno) (Prodotto della ricerca)
• Multimodal Interaction in Gaming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Best fuzzy partitions to build interpretable DSSs for classification in medicine (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A hybrid approach for the verification of integrity constraints in clinical practice guidelines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Neural Network for classification of chambers arrangement in foraminifera (Articolo in rivista) (Prodotto della ricerca)
• GLM-CDS: A standards-based verifiable guideline model for decision support in clinical applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Quasi-upward planarity (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Comparative Performance Evaluation of DNS Tunneling Tools (Articolo in rivista) (Prodotto della ricerca)
• Evaluating Switching Neural Networks for gene selection (Articolo in rivista) (Prodotto della ricerca)
• Supporting the design of AAL through a SW integration framework: The D4All project (Contributo in atti di convegno) (Prodotto della ricerca)
• Requirements for getting a robot to grow up (Articolo in rivista) (Prodotto della ricerca)
• Biological specifications for a synthetic gene expression data generation model (Articolo in rivista) (Prodotto della ricerca)
• Scheduling vs Communication in PELCR (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the Existence of Truthful Mechanisms for the Minimum-cost Approximate Shortest-paths Tree Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Dynamic Mechanism Design (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the Complexity of Minimizing Interference in Ad-Hoc and Sensor Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Edge-connectivity augmentation and network matrices (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Very Efficient Order Preserving Scalable Distributed Data Structure (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• The Geographical Information System for the Cultural Heritage and Landscape of Regione Toscana (Contributo in atti di convegno) (Prodotto della ricerca)
• Polynomial-time algorithms for edge-connectivity augmentation of {H}amiltonian paths (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the stability of approximation for Hamiltonian path problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing Motivations in Design Pattern Representation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using Real Relaxations During Program Specialization (Articolo in rivista) (Prodotto della ricerca)
• Automatic typing of DBpedia entities (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards an Ontological Foundation for Services Science (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Mixed-Criticality Scheduling of Sporadic Task Systems (Articolo in rivista) (Prodotto della ricerca)
• Numerical comparison between different Lie groups methods for solving linear oscillatory odes (Articolo in rivista) (Prodotto della ricerca)
• Virtual factory manager (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Ontology Design Patterns for Semantic Web Content (Articolo in rivista) (Prodotto della ricerca)
• Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Iterative Refinement Algorithm for the Minimum Branch Vertices Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• GRASP with Path-Relinking for Data Clustering: A Case Study for Biological Data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Transformational Approach to Program Development (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Open Platform for Business Process Modeling and Verification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Usability and accessibility of eBay by screen reader (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Microscopic to Macroscopic Modeling of Supersonic Seeded Atomic Beam (Articolo in rivista) (Prodotto della ricerca)
• Ontology-Based Querying of Composite Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Numerical implementation of quantum fluid dynamics: a working example (Articolo in rivista) (Prodotto della ricerca)
• On the stable set polytope of claw-free graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Weighted Ontology for Semantic Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Transformational Verification of Parameterized Protocols Using Array Formulas. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Mapping the anthropic backfill of the historical center of Rome (Italy) by using Intrinsic Random Functions of Order k (IRF-k) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Branch and Bound Algorithm for Max-Cut Based on Combining Semidefinite and Polyhedral Relaxations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Approximate Mechanisms for the Metric TSP and other Graph Traversal Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Specifying and Verifying Properties of Space (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards automated electrocardiac map interpretation: an intelligent contouring tool based on spatial aggregation (Articolo in rivista) (Prodotto della ricerca)
• Determining recovery times from transmembrane action potential and unipolar electrograms in normal heart tissue (Articolo in rivista) (Prodotto della ricerca)
• Enhancing the Apriori Algorithm for Frequent Set Counting (Contributo in atti di convegno) (Prodotto della ricerca)
• Mining predictive process models out of low-level multidimensional logs (Contributo in atti di convegno) (Prodotto della ricerca)
• Context-aware predictions on business processes: An ensemble-based solution (Contributo in atti di convegno) (Prodotto della ricerca)
• 3D Classification via Structural Prototypes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• GIS assessment and planning of conservation priorities of historical centers through quantitative methods of vulnerability analysis: An example from southern Italy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Network of coupled pyramidal neurons behaves as a coincidence detector (Contributo in atti di convegno) (Prodotto della ricerca)
• Electrocardiographic imaging: towards automated interpretation of activation maps (Articolo in rivista) (Prodotto della ricerca)
• Extremal Optimization Applied to Task Scheduling of Distributed Java Programs (Articolo in rivista) (Prodotto della ricerca)
• A Robust Shape Decomposition Method (Articolo in rivista) (Prodotto della ricerca)
• Line representation of elongated shapes (Articolo in rivista) (Prodotto della ricerca)
• Surface skeletons detected on the D6 distance transform (Articolo in rivista) (Prodotto della ricerca)
• Pruning discrete and semicontinuous skeletons (Articolo in rivista) (Prodotto della ricerca)
• On the use of satellite remote sensing data to characterize and map fuel types (Articolo in rivista) (Prodotto della ricerca)
• NSP: a Neuro-Symbolic Processor (Articolo in rivista) (Prodotto della ricerca)
• WiSARD and NSP for Robot Global Localization (Articolo in rivista) (Prodotto della ricerca)
• DNS-based Discovery System in Service Oriented Programming (Articolo in rivista) (Prodotto della ricerca)
• KETO: a knowledge editing tool for encoding condition-action guidelines into clinical DSSs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Towards a design process for modeling MAS organizations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Discrete 3D Tools Applied to 2D Grey-level Images (Articolo in rivista) (Prodotto della ricerca)
• “Browsing large pedigrees to study the isolated populations in the “Parco Nazionale del Cilento e Vallo di Diano” (Articolo in rivista) (Prodotto della ricerca)
• Molecular and Functional Diversity of Visual Pigments: Clues from the Photosensitive Opsin-Like Proteins of the Animal Model Hydra (Articolo in rivista) (Prodotto della ricerca)
• Detecting and Ranking Foreground Regions in Gray-Level Images (Articolo in rivista) (Prodotto della ricerca)
• Oversegmentation reduction via multiresolution image representation (Articolo in rivista) (Prodotto della ricerca)
• Using Binary Pyramids to Create Multiresolution Shape Descriptors (Articolo in rivista) (Prodotto della ricerca)
• Semi-automatic semantic tagging of 3D images from pancreas cells (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Roadmap for multiLingual information access in The European Library (TEL) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Statistical analysis of electrophoresis time series for improving basecalling in DNA sequencing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Monitoring architectural properties in dynamic component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Remote evaluation of mobile applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Systematic generation of XML instances to test complex software applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Thesaurus-based ontology on image analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Geomorphological fragility and mass movements of the archaeological area of \"Torre di Satriano\" (Basilicata, Southern Italy) (Articolo in rivista) (Prodotto della ricerca)
• Analysis of a pointing task on a white board (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A general approach to shape characterization for biomedical problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Easing Web Guidelines Specification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Authoring multi-device Web applications with database access (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2006: ad hoc track overview (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The DELOS Testbed for Choosing a Digital Preservation Strategy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Supporting Web usability for vision impaired users (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• MP-Boost : a multiple-pivot boosting algorithm and its application to text categorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Natural modelling of interactive applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An environment for defining and handling guidelines for the Web (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An interactive musical exhibit based on infrared sensor (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Graph-Based Method for PET Image Segmentation in Radiotherapy Planning: A Pilot Study (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Exploiting 3D part-based analysis, description and indexing to support medical applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Abduction for extending incomplete information sources (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Achieving fault tolerance by a formally validated interaction policy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Combinatorial relations for digital pictures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Audition of Web services for testing conformance to open specified protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cluster generation and cluster labelling for Web snippets (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Moving digital library service systems to the Grid (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Deductive and inductive reasoning on spatio temporal data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A practical architecture-centric analysis process (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A story about formal methods adoption by a railway signaling Manufacturer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A symbolic framework for model-based testing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A taxonomy for migratory user interfaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A formal security analysis of an OSA/Parlay authentication interface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A grid information service based on peer-to-peer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On competence in CD grammar systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Witness and counterexample automata for ACTL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An architecture-centric approach for producing quality systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A relational query primitive for constraint-based pattern mining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A scalable nearest neighbor search in P2P systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A signature-based Approach for efficient relationship search on XML data collections (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Accelerating apache farms through Ad-HOC distributed scalable object repository (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Astrophysical image separation using particle filters (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A framework for reconfiguration-based fault-tolerance in distributed systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A highly scalable parallel caching system for web search engine results (Contributo in atti di convegno) (Prodotto della ricerca)
• Mixed-initiative, trans-modal interface migration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CB-SPE tool: putting component-based performance engineering into practice (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Multiagent socio-technical systems: An ontological approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Recoverable robust timetables: an algorithmic approach on trees (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Rate-based transition systems for stochastic process calculi (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Architecting Dependable Systems VI (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface to Evaluating Systems for Multilingual and Multimodal information Access (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automatically determining attitude type and force for sentiment analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cicero designer: an environment for end-user development of multi-device museum guides (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On a uniform framework for the definition of stochastic process languages (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A theoretically-sound accuracy/privacy-constrained framework for computing privacy preserving data cubes in OLAP environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Flash lighting space sampling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Composing event constraints in state-based specification (Contributo in atti di convegno) (Prodotto della ricerca)
• ECDL 2008 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Making conference CDs accessible: a practical example (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A minimal deductive system for general fuzzy RDF (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Comparative analysis of models of location and spatial interaction (Articolo in rivista) (Prodotto della ricerca)
• Analysis of a redundant architecture for critical infrastructure protection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrated geological, geomorphological and geostatistical analysis to study macroseismic effects of 1980 Irpinian earthquake in urban areas (southern Italy) (Articolo in rivista) (Prodotto della ricerca)
• A fluid flow approach to usability analysis of multi-user systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluation of feature subset selection, feature weighting, and prototype selection for biomedical applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating joint reviews with automotive SPICE assessment results (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2007: ad hoc track overview (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluation of critical infrastructures: challenges and viable approaches (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Tree Signatures for XML Querying and Navigation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Model-based Design of Speech Interfaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Design Criteria for Location-aware, Indoor, PDA Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Formal Methods in Testing Software Architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Team automata satysfying compositionality (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A New Diagnosis Algorithm for Regular Interconnected Structures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Service for Supporting Virtual Views of Large Heterogeneous Digital Libraries (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Adaptive Constraint Pushing in Frequent Pattern Mining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Similarity Grid for searching in metric spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Hierarchical models and software tools for parallel programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Adapting Convergent Scheduling Using Machine-Learning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A parallel knowledge discovery system for customer profiling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Evaluation of Multilingual and Multi-modal Information Retrieval (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introduction to SPLYR – The First Software Product Lines Young Researchers Workshop (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Editorial activity - EuroPar 2004 Parallel Processing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Personalized, Collaborative Digital Library Environment CYCLADES and its Collections Management (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Designing Multi-device User Interfaces: How to Adapt to the Changing Device (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Research and Advanced Technology for Digital Libraries (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Discretizing continuous attributes in AdaBoost for text categorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Computer environments for improving end user accessibility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Abduction-based Method for Index Relaxation in Taxonomy-based Sources (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Remarks on Turbo ASMs for Functional Equations and Recursion Schemes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2002 Methodology and Metrics (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• New Trends in Image Analysis and Processing - ICIAP 2013 Workshops (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Processing XML Queries with Tree Signatures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Stochastic dependability Analysis of System Architecture Based on UML Designs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a Cognitive Design Pattern for Collective Decision-Making (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Experiment in Automatic Design of Robot Swarms AutoMoDe-Vanilla, EvoStick, and Human Experts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Collective intelligence for einclusion (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Universal access: A concept to be adapted to technological development and societal change (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introducing reversibility in a high level JJL qubit model according to CAN2 paradigm (Articolo in rivista) (Prodotto della ricerca)
• A norm-governed holonic multi-agent system metamodel (Articolo in rivista) (Prodotto della ricerca)
• A Stochastic Location Problem with Applications to Tele-Diagnostic (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Personal sphere information, histories and social interaction between people on the internet (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Toward the Development of an Integrative Framework for Multimodal Dialogue Processing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Formalization of multimodal languages in pervasive computing paradigm (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• MONET'10 and P2PCDVE'10 - PC Co-chairs message (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Toward a model of clinical trial (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Some theoretical and experimental observations on permutation spaces and similarity search (Contributo in atti di convegno) (Prodotto della ricerca)
• Enforcing UCON Policies on the Enterprise Service Bus (Articolo in rivista) (Prodotto della ricerca)
• A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (Prodotto della ricerca)
• A new evolutionary-based clustering framework for image databases (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Timed Soft Concurrent Constraint Programs (Articolo in rivista) (Prodotto della ricerca)
• Solving ambiguities for sketch-based interaction in mobile environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Randomized Algorithms for Determining the Majority on Graphs (Articolo in rivista) (Prodotto della ricerca)
• Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario (Articolo in rivista) (Prodotto della ricerca)
• Average Common Submatrix: A New Image Distance Measure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Enhancing Java ME Security Support with Resource Usage Monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Analytical Study of Reliable and Energy-efficient Data Collection in Sparse Sensor Networks with Mobile Relays (Articolo in rivista) (Prodotto della ricerca)
• Energy characterization of data mining algorithms on mobile devices (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Faster Deterministic Wakeup in Multiple Access Channels (Articolo in rivista) (Prodotto della ricerca)
• Idea: Action Refinement for Security Properties Enforcement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Cluster Generation and Cluster Labelling for Web Snippets: A Fast and Accurate Hierarchical Solution (Articolo in rivista) (Prodotto della ricerca)
• Efficient Computation of Nash Equilibria for Very Sparse Win-Lose Bimatrix Games (Articolo in rivista) (Prodotto della ricerca)
• Semirings for Soft Constraint Solving and Programming (Articolo in rivista) (Prodotto della ricerca)
• Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (Prodotto della ricerca)
• Symbolic semantics and analysis for Crypto-CCS with (almost) generic inference systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Processes Engineering & AOSE (Articolo in rivista) (Prodotto della ricerca)
• An Alphabet Friendly FM-index. SPIRE 2004 (Articolo in rivista) (Prodotto della ricerca)
• The FOOD project: Interacting with distributed intelligence in the kitchen environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Two space saving tricks for linear time LCP computation. SWAT 2004 (Articolo in rivista) (Prodotto della ricerca)
• Implementation of applications in an ambient intelligence environment: A structured approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Efficient IP Table Lookup via Adaptive Stratified Trees with Selective (Articolo in rivista) (Prodotto della ricerca)
• Optimization of Bandwidth and Energy Consumption in Wireless Local Area Networks (Articolo in rivista) (Prodotto della ricerca)
• Is pocket algorithm optimal? (Articolo in rivista) (Prodotto della ricerca)
• Kernel Density Estimation Methods for a Geostatistical Approach in Seismic Risk Analysis: the Case Study of Potenza Hilltop Town (southern Italy). (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enforcing interaction and cooperation in content-based web3.0 applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Modeling the offloading of different types of mobile applications by using evolutionary algorithms (Contributo in atti di convegno) (Prodotto della ricerca)
• Optimal Inage Restoration using HVS-based Rate- Distortion Curve (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Optimality of pocket algorithm (Articolo in rivista) (Prodotto della ricerca)
• A fuzzy approach to a belief-based trust computation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synchronous firing in a population of inhibitory interneurons coupled by electrical and chemical synapses (Articolo in rivista) (Prodotto della ricerca)
• From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Classification of security properties - Part II : network security (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Pruning GP-based classifier ensembles by Bayesian networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Discovering High-Level Performance Models for Ticket Resolution Processes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• From Exact to Approximate Maximum Common Subgraph (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• 3D Shape Matching through Topological Structures (Articolo in rivista) (Prodotto della ricerca)
• Emergence of interaction among adaptive agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Anticipation and Emotions for Goal Directed Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Generalizing Trust: Inferencing trustworthiness from categories (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Beyond Accuracy. Reputation for Partner selection with Lies and Retaliation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Individual vs Social learning in a population of autonomous robots. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Standard Lexical-Terminological Resource for the Bio Domain (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Sensorimotor to Higer Level Cognitive Processes: an Introduction to Anticipatory Behavior Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Feedbacks and oscillations in the virtual cell VICE (Articolo in rivista) (Prodotto della ricerca)
• Planning the Future of Language Resources: The Role of the FLaReNet Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating a Bottom-Up and Top-Down Methodology for Building Semantic Resources for the Multilingual Legal Domain (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synthesizing Proactive Assistance with Heterogeneous Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Lexical-Semantic Tagging of an Italian Corpus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Boosting the Performance of Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ILC-UniPi Italian QA (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Initiatives, Tendencies and Driving Forces for a 'Lexical Web' as Part of a 'Language Infrastructure' (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Reputation and Uncertainty Reduction: Simulating Partner Selection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Proactive Assistive Technology: An Empirical Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An ontological account of agent-oriented goals (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Roost Size For Multilevel Selection of Altruism among Vampire Bats (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Intelligence on the web and e-inclusion (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Multivalued Background/Foreground Separation for Moving Object Detection (Articolo in rivista) (Prodotto della ricerca)
• A Schema Based Model of the Praying Mantis. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Schedule Robustness through Broader Solve and Robustify Search for Partial Order Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Electrocardiographic Imaging: Towards Automated Interpretation of Activation Maps (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Controlling Complex Physical Systems Through Planning and Scheduling Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The after-hyperpolarization amplitude and the rise time constant of IPSC affect the synchronization properties of networks of inhibitory interneurons (Articolo in rivista) (Prodotto della ricerca)
• Mean runtime analysis of stochastic process algebra using partial orders (Articolo in rivista) (Prodotto della ricerca)
• Gap-junctions promote synchrony in a network of inhibitory interneurons in the presence of heterogeneities and noise (Articolo in rivista) (Prodotto della ricerca)
• A content-addressable network for similarity search in metric spaces (Articolo in rivista) (Prodotto della ricerca)
• Introducing Pattern Reuse in the Design of Multi-Agent Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A grid-based infrastructure for distributed retrieval (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Modeling and early performance estimation for network processor applications (Articolo in rivista) (Prodotto della ricerca)
• A Classification, Based on ICF, for Modelling Human Computer Interaction (Articolo in rivista) (Prodotto della ricerca)
• Preference-based query tuning through refinement/enlargement in a formal context (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2005: ad hoc track overview (Articolo in rivista) (Prodotto della ricerca)
• Collaborative social structures and task modelling integration (Articolo in rivista) (Prodotto della ricerca)
• Memory-aware frequent k-itemset mining (Articolo in rivista) (Prodotto della ricerca)
• The SPERIGEST Integrated System (Articolo in rivista) (Prodotto della ricerca)
• W3C-WAI content accessibility auditing (Articolo in rivista) (Prodotto della ricerca)
• TreeBoost.MH : a boosting algorithm for multi-label hierarchical text categorization (Articolo in rivista) (Prodotto della ricerca)
• Patterns reuse in the PASSI methodology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Milos: a multimedia content management system for digital library applications (Articolo in rivista) (Prodotto della ricerca)
• From heterogeneous information spaces to virtual documents (Articolo in rivista) (Prodotto della ricerca)
• Supporting flexible development of multi-device interfaces (Articolo in rivista) (Prodotto della ricerca)
• TeStor: deriving test sequences from model-based specifications (Articolo in rivista) (Prodotto della ricerca)
• A model based approach to design applications for network processor (Articolo in rivista) (Prodotto della ricerca)
• Adaptative optimal bandwidth partitioning among TCP elephant connections over multiple rain-faded satellite channels (Articolo in rivista) (Prodotto della ricerca)
• Touristic valorisation: A niche of interest for multimodal information exploitation (Contributo in atti di convegno) (Prodotto della ricerca)
• k-anonymous patterns (Articolo in rivista) (Prodotto della ricerca)
• PLUTO: a test methodology for product families (Articolo in rivista) (Prodotto della ricerca)
• Integrating Joint Reviews with automotive SPICE assessments results (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• FP-Bonsai: the art of growing and pruning small FP-Trees (Articolo in rivista) (Prodotto della ricerca)
• Querying articulated sources (Articolo in rivista) (Prodotto della ricerca)
• Complex Search, Ranks, and Biological Discovery: A User's Perspective (Contributo in atti di convegno) (Prodotto della ricerca)
• Elicitation of use cases for product lines (Articolo in rivista) (Prodotto della ricerca)
• Composing event constraints in state-based specification (Articolo in rivista) (Prodotto della ricerca)
• An OLAM-based Framework for Complex Knowledge Pattern Discovery in Distributed-and-Heterogeneous-Data-Sources and Cooperative Information Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synthesis of Hypermedia using OWL and Jess (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• PINCoC: a Co-Clustering based Approach to Analyze Protein-Protein Interaction Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Ontology-Based Technique for Validation of MRI Brain Segmentation Methods (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Visualizing the invisible: Digital restitution from an integrated archaeological, remote sensing, and geophysical research of a late Roman villa in Durres (Albania) (Articolo in rivista) (Prodotto della ricerca)
• Training data cleaning for text classification (Articolo in rivista) (Prodotto della ricerca)
• On $k$-Edge-Connectivity Problems with Sharpened Triangle Inequality (Articolo in rivista) (Prodotto della ricerca)
• Preface to FMICS 2008 (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2009 ad hoc track overview: TEL and Persian Tasks (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista) (Prodotto della ricerca)
• Modelling digital libraries based on logic (Articolo in rivista) (Prodotto della ricerca)
• Book4All: a tool to make an e-book more accessible to students with vision/visual-impairments (Articolo in rivista) (Prodotto della ricerca)
• Encoding ordinal features into binary features for text classification (Articolo in rivista) (Prodotto della ricerca)
• Heureka, you shrink! (Articolo in rivista) (Prodotto della ricerca)
• Interdependency analysis in electric power systems (Articolo in rivista) (Prodotto della ricerca)
• Analysis of wireless sensor network protocols in dynamic scenarios (Articolo in rivista) (Prodotto della ricerca)
• Multi-facet rating of product reviews (Articolo in rivista) (Prodotto della ricerca)
• A methodology to annotate cultural heritage digital video (Articolo in rivista) (Prodotto della ricerca)
• Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista) (Prodotto della ricerca)
• On optimally partitioning a text to improve its compression (Articolo in rivista) (Prodotto della ricerca)
• Run-Time Management of Lisp Parallelism and the Hierarchical Task Graph Program Representation (Articolo in rivista) (Prodotto della ricerca)
• Mining query logs (Articolo in rivista) (Prodotto della ricerca)
• Mining the temporal dimension of the information propagation (Articolo in rivista) (Prodotto della ricerca)
• Model-based design of multi-device interactive applications based on Web services (Articolo in rivista) (Prodotto della ricerca)
• A distributed cooperative architecture for robotic networks with application to ambient intelligence (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• On the validation of an interlocking system by model-checking (Contributo in atti di convegno) (Prodotto della ricerca)
• What happened in CLEF 2007 (Articolo in rivista) (Prodotto della ricerca)
• Architecting dependable systems V - Preface (Articolo in rivista) (Prodotto della ricerca)
• Formal development for railway signaling using commercial tools (Articolo in rivista) (Prodotto della ricerca)
• A visual analytics toolkit for cluster-based classification of mobility data (Articolo in rivista) (Prodotto della ricerca)
• Active learning strategies for multi-label text classification (Articolo in rivista) (Prodotto della ricerca)
• What happened in CLEF 2009 (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A model-checking approach for service component architectures (Articolo in rivista) (Prodotto della ricerca)
• Session types for orchestration charts (Articolo in rivista) (Prodotto della ricerca)
• Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista) (Prodotto della ricerca)
• Multi-scale representation and persistency for shape description (Articolo in rivista) (Prodotto della ricerca)
• Towards automated WSDL-based testing of Web services (Articolo in rivista) (Prodotto della ricerca)
• Sustainable digital library systems over the DRIVER repository infrastructure (Articolo in rivista) (Prodotto della ricerca)
• Similarity Join in Metric Spaces (Articolo in rivista) (Prodotto della ricerca)
• About the role of mapping in gesture-controlled live computer music (Articolo in rivista) (Prodotto della ricerca)
• Taxonomy-based Conceptual Modeling for Peer-to-Peer Networks (Articolo in rivista) (Prodotto della ricerca)
• Multi-FPGA Systems Synthesis by Means of Evolutionary Computation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• ASSIST demo: an high level, high performance, portable, structured parallel programming environment at work (Articolo in rivista) (Prodotto della ricerca)
• The Implementation of ASSIST, an Environment for Parallel and Distributed Programming (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - FME 2003 (Articolo in rivista) (Prodotto della ricerca)
• An infrastructure for mining medical multimedia data (Articolo in rivista) (Prodotto della ricerca)
• The Challenge of Anticipation (Curatela) (Prodotto della ricerca)
• Preface - Digital Libraries : research and development - First International DELOS Conference (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - PKDD 2004 (Articolo in rivista) (Prodotto della ricerca)
• The Use of XML in a Video Digital Library (Articolo in rivista) (Prodotto della ricerca)
• Accessibility in the field of Education (Articolo in rivista) (Prodotto della ricerca)
• Query Evaluation in Peer-to-Peer Networks of Taxonomy-based Sources (Articolo in rivista) (Prodotto della ricerca)
• Similarity Join in Metric Spaces Using eD-Index (Articolo in rivista) (Prodotto della ricerca)
• Sotware Testing Research and Practice (Articolo in rivista) (Prodotto della ricerca)
• An approach to the process maps based on semantic web methodologies (Articolo in rivista) (Prodotto della ricerca)
• Qualitative spatial reasoning in a logical framework (Articolo in rivista) (Prodotto della ricerca)
• Ostensive Automatic Schema Mapping for Taxonomy-based Peer-to-Peer Systems (Articolo in rivista) (Prodotto della ricerca)
• Real-time measurement and analysis of translational and rotational speeds of moving objects in microscope fields (Articolo in rivista) (Prodotto della ricerca)
• Statistical analysis of microspectroscopy signals for algae classification and phylogenetic comparison (Articolo in rivista) (Prodotto della ricerca)
• On the collaborative development of application ontologies: A practical case study with a SME (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Design for All in the Ambient Intelligent Environment (Articolo in rivista) (Prodotto della ricerca)
• A QoS test-bed generator for Web services (Articolo in rivista) (Prodotto della ricerca)
• Using Web Content Management Systems for Accessibility: The experience of a Research Institute Portal (Articolo in rivista) (Prodotto della ricerca)
• Image indexing and retrieval using visual terms and text-like weighting (Articolo in rivista) (Prodotto della ricerca)
• Extracting astrophysical sources from channel-dependent convolutional mixtures by correlated component analysis in the frequency domain (Articolo in rivista) (Prodotto della ricerca)
• Automatic fuzzy-neural based segmentation of microscopic cell images (Articolo in rivista) (Prodotto della ricerca)
• Building geospatial ontologies from geographical databases (Articolo in rivista) (Prodotto della ricerca)
• Blind source separation applied to spectral unmixing: comparing different measures of nongaussianity (Articolo in rivista) (Prodotto della ricerca)
• Multimodal PDA interfaces to assist drivers in monitoring their vehicles (Articolo in rivista) (Prodotto della ricerca)
• On interactive pattern mining from relational databases (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Incorporating tilt-based interaction in multimodal user interfaces for mobile devices (Articolo in rivista) (Prodotto della ricerca)
• Model driven development and code generation: an automotive case study (Articolo in rivista) (Prodotto della ricerca)
• Ambient Intelligence and Multimodality (Articolo in rivista) (Prodotto della ricerca)
• Conquering Fine-Grained Blends of Design Patterns (Articolo in rivista) (Prodotto della ricerca)
• Collaborative editing: Collaboration, awareness and accessibility issues for the blind (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista) (Prodotto della ricerca)
• Football Players classification in a Multi-camera environment (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Strongly Polynomial-Time Truthful Mechanisms in One Shot (Articolo in rivista) (Prodotto della ricerca)
• Hardness of Designing a Truthful Mechanism for a Spanning Arborescence Bicriteria Problem (Articolo in rivista) (Prodotto della ricerca)
• Logic Based Program Synthesis and Transformation, Proceedings of {LOPSTR} 2001 (Articolo in rivista) (Prodotto della ricerca)
• {ADST}: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs (Articolo in rivista) (Prodotto della ricerca)
• A Primal Approach to the Stable Set Problem (Articolo in rivista) (Prodotto della ricerca)
• Multi-view Player Action Recognition in Soccer Games (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Finding the Most Vital Node of a Shortest Path (Articolo in rivista) (Prodotto della ricerca)
• A formal model for data coherence maintenance (Articolo in rivista) (Prodotto della ricerca)
• A Lot of Slots - Outliers Confinement in Review-Based Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Learning to grasp information with your own hands (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• A preliminary cellular model for sand coastal erosion and experimental contrast with Porto Cesareo case (Articolo in rivista) (Prodotto della ricerca)
• Deriving vocal interfaces from logical descriptions in multi-device authoring environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Incremental algorithms for effective and efficient query recommendation (Contributo in atti di convegno) (Prodotto della ricerca)
• An approach to content-based image retrieval based on the Lucene search engine library (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Mean-field approximation and quasi-equilibrium reduction of Markov population models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Measuring and improving the completeness of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• CANv2: A Hybrid CA Model by Micro and Macro-dynamics Examples (Articolo in rivista) (Prodotto della ricerca)
• Designing a deadlock-free train scheduler: A model checking approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The Reintegration of Urban Lacunas at Castelvecchio Calvisio (AQ) After the 2009 Earthquake: the Use of GIS 3D as a Project Monitoring Tool (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Numerical Methods Based on Gaussian Quadrature and Continuous Runge-Kutta Integration for Optimal Control Problems (Articolo in rivista) (Prodotto della ricerca)
• Direct Optimization Using Gaussian Quadrature and Continuous Runge-Kutta Methods: Application to an Innovation Diffusion Model (Articolo in rivista) (Prodotto della ricerca)
• On Computing the Spectral Decomposition of Symmetric Arrowhead Matrices (Articolo in rivista) (Prodotto della ricerca)
• Self Organizing and Fuzzy Modelling for Parked Vehicles Detection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Neural model-based segmentation of image motion (Contributo in atti di convegno) (Prodotto della ricerca)
• A Framework to Promote and Develop a Sustainable Tourism by Using Social Media (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Unified Graphical Notation for AOSE (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fortan 90 routine for the solution of orthogonal differential problem (Articolo in rivista) (Prodotto della ricerca)
• Querying Semantically Enriched Business Processes (Articolo in rivista) (Prodotto della ricerca)
• Quick and Easy Implementation of Approximate Similarity Search with Lucene (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Articolo in rivista) (Prodotto della ricerca)
• Classification of potential multiple sclerosis lesions through automatic knowledge extraction by means of differential evolution (Contributo in atti di convegno) (Prodotto della ricerca)
• MONET 2007 PC co-chairs’ message (Articolo in rivista) (Prodotto della ricerca)
• An advanced multimodal platform for educational social networks (Articolo in rivista) (Prodotto della ricerca)
• ME: Multimodal Environment Based on Web Services Architecture (Articolo in rivista) (Prodotto della ricerca)
• MONET 2009 PC Co-chairs’ Message (Articolo in rivista) (Prodotto della ricerca)
• A UML-compatible formal language for system architecture description, SDL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Twenty-Five Years of Formal Methods and Railways: What Next? (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Vectorization of graphical components in sketch-based interfaces (Articolo in rivista) (Prodotto della ricerca)
• Approximate queries by relaxing structural constraints in GIS (Articolo in rivista) (Prodotto della ricerca)
• An approach for managing ambiguities in multimodal interaction (Articolo in rivista) (Prodotto della ricerca)
• Relaxing constraints on GeoPQL operators to improve query answering (Articolo in rivista) (Prodotto della ricerca)
• A constructive technique based on linear programming for training switching neural networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Formalizing recognition of sketching styles in human centered systems (Articolo in rivista) (Prodotto della ricerca)
• Multimodal sentence similarity in human-computer interaction systems (Articolo in rivista) (Prodotto della ricerca)
• A semantic and structural similarity approach to personalize location-based services (Articolo in rivista) (Prodotto della ricerca)
• Plan Recognition: from Single-Agent to Multi-Agent plans (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Delegation Conflicts (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Task Delegation to Role Delegation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Model checking temporal metric specifications with Trio2Promela (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A multivariate algorithm for gene selection based on the nearest neighbor probability (Articolo in rivista) (Prodotto della ricerca)
• Fully kinetic Particle-in-Cell simulation of a Hall thruster (Articolo in rivista) (Prodotto della ricerca)
• Particle models of discharge plasmas in molecular gases (Articolo in rivista) (Prodotto della ricerca)
• Switching neural networks: A new connectionist model for classification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Ontology Approach for Classification of Abnormal White Matter in Patients with Multiple Sclerosis (Articolo in rivista) (Prodotto della ricerca)
• Ring algorithms on heterogeneous clusters with PVM: performance analysis and modeling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Combining Replicates and Nearby Species Data: A Bayesian Approach (Articolo in rivista) (Prodotto della ricerca)
• Multiple Clustering Solutions Analysis Through Lest-Square Consensus Algorithms (Articolo in rivista) (Prodotto della ricerca)
• Distributional correspondence indexing for cross-language text categorization (Contributo in atti di convegno) (Prodotto della ricerca)
• Software as a Social Artifact: A Management and Evolution Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Remote usability evaluation of mobile Web applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Coincidence detector properties of small networks of interneurons (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Gait-based gender classification using persistent homology (Contributo in atti di convegno) (Prodotto della ricerca)
• Direct Simulation Monte Carlo modeling of non equilibrium reacting flows. Issues for the inclusion into a ab initio molecular processes simulator (Contributo in atti di convegno) (Prodotto della ricerca)
• A Self-organizing Neural System for Background and Foreground Modeling (Contributo in atti di convegno) (Prodotto della ricerca)
• A Genetic Programming Approach to Solomonoff’s Probabilistic Induction (Articolo in rivista) (Prodotto della ricerca)
• A Holonic Metamodel for Agent-Oriented Analysis and Design (Articolo in rivista) (Prodotto della ricerca)
• An RFID-Based Access&Location Service for Pervasive Grids (Articolo in rivista) (Prodotto della ricerca)
• Improved SOM Learning using Simulated Annealing (Articolo in rivista) (Prodotto della ricerca)
• Soft Topographic Map for Clustering and Classification of Bacteria (Articolo in rivista) (Prodotto della ricerca)
• A self-organizing approach to detection of moving patterns for real-time applications (Articolo in rivista) (Prodotto della ricerca)
• Satellite Image Registration by Distributed Differential Evolution (Articolo in rivista) (Prodotto della ricerca)
• Parsimony doesn't mean Simplicity: Genetic Programming for Inductive Inference on Noisy Data (Articolo in rivista) (Prodotto della ricerca)
• A parallel combustion solver within an operatorsplitting context for engine simulations on Grids (Articolo in rivista) (Prodotto della ricerca)
• Enriching Conceptual Modeling of XML-Aware Adaptive Web Systems with Object-Oriented Constructs and UML Diagrams (Articolo in rivista) (Prodotto della ricerca)
• Integrating Scientific Software Libraries in Problem Solving Environments: a case study with ScaLAPACK (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Location and Tracking Services for a Meta-UbiComp Environment (Articolo in rivista) (Prodotto della ricerca)
• Mining Expressive Process Models by Clustering Workflow Traces (Articolo in rivista) (Prodotto della ricerca)
• A Grid Enabled Parallel Hybrid Genetic Algorithm for SPN (Articolo in rivista) (Prodotto della ricerca)
• Agent Design from the Autonomy Perspective (Articolo in rivista) (Prodotto della ricerca)
• DESCRY: A Grid and Density Based Clustering Algorithm for Very Large Data Sets (Articolo in rivista) (Prodotto della ricerca)
• Automatic Classification of Handsegmented Image Parts using Differential Evolution (Articolo in rivista) (Prodotto della ricerca)
• Supporting Tools for Designing-By-Contract in Component based Applications (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Genetic Programming for Inductive Inference of Chaotic Series (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Reasoning on Workflow Evolutions (Articolo in rivista) (Prodotto della ricerca)
• Sub-Symbolic Encoding of Words (Articolo in rivista) (Prodotto della ricerca)
• Mining Frequent Instances on Workflows (Articolo in rivista) (Prodotto della ricerca)
• Gene Expression Biclustering using Random Walk Strategies (Articolo in rivista) (Prodotto della ricerca)
• Mining Constrained Graphs: The Case of Workflow Systems (Articolo in rivista) (Prodotto della ricerca)
• MLP Neural Network Implementation on a SIMD Architecture (Articolo in rivista) (Prodotto della ricerca)
• Dynamically Maintaining Shortest Path Trees Under Batches of Updates (Articolo in rivista) (Prodotto della ricerca)
• Binary-Tree Histograms with Tree Indices (Articolo in rivista) (Prodotto della ricerca)
• A Concurrent Neural Classifier for HTML Documents Retrieval (Articolo in rivista) (Prodotto della ricerca)
• An Adaptive Flocking Algorithm for Spatial Clustering (Articolo in rivista) (Prodotto della ricerca)
• Exact and Approximate Algorithms for Movement Problems on (Special Classes of) Graphs (Articolo in rivista) (Prodotto della ricerca)
• Identification of Reusable Method Fragments from the PASSI Agent-Oriented Methodology (Articolo in rivista) (Prodotto della ricerca)
• Discovering Learning Paths on a domain ontology using natural language interaction (Articolo in rivista) (Prodotto della ricerca)
• Resource selection and application execution in a Grid : A migration experience from GT2 to GT4 (Articolo in rivista) (Prodotto della ricerca)
• Detecting foreground components in grey level images for shift invariant and topology preserving pyramids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Grey level image components for multi-scale representation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Multiresolution representation of shape in binary images II: Volume Images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deconvolution of 3D Fluorescence Microscopy Images using Graphics Processing Units (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Watershed segmentation via case-based reasoning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Unsupervised Clustering in Personal Photo Collections (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Parallelization and Vectorization Effects on a Code Simulating a Vitreous Lattice Model with Constrained Dynamics (Articolo in rivista) (Prodotto della ricerca)
• Forty Years of Text Indexing (Articolo in rivista) (Prodotto della ricerca)
• A Faster Computation of All the Best Swap Edges of a Shortest Paths Tree (Articolo in rivista) (Prodotto della ricerca)
• Properties of cascade switch superconducting nanowire single photon detectors (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fast motion estimation using spatio temporal filtering (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Design for All in Ambient Intelligence Environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Classification, Based on ICF, for Modelling Human Computer Interaction (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Curve Skeletonization by Junction Detection in Surface Skeletons (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Neural code and irregular spike trains. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Neurosymbolic Hybrid Approach for Landmark Recognition and Robot Localization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Excitatory synaptic interaction on dendritic tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Contour Pixel Classification for Character Skeletonization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Characterising 3D objects by shape and topology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Topology preservation and tricky patterns in gray-tone images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An artificial life model for predicting the tertiary structure of unknown proteins that emulates the folding process (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Planar trivalent network computation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A multivariate algorithm for gene selection based on the nearest neighbor probability (Articolo in rivista) (Prodotto della ricerca)
• High-Fidelity Models in Global Optimization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluating citation functions in CiTO: Cognitive issues (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Setting the course of emergency vehicle routing using Geolinked open data for the municipality of catania (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introducing CAPER, a Collaborative Platform for Open and Closed Information Acquisition, Processing and Linking (Contributo in atti di convegno) (Prodotto della ricerca)
• Identifying functions of citations with CiTalO (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Natural interaction and wearable augmented reality for the enjoyment of the cultural heritage in outdoor conditions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Accessing e-Learning Systems via Screen Reader: An Example (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Integrated Photonic Micro Logic Gate (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Brain, Vision and Artificial Intelligence , Co-Editor (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Thalamo-Cortical Network and Seizure Dynamics: A Computational Study (Contributo in atti di convegno) (Prodotto della ricerca)
• CSP-Based Interactive Decision Aid for Space Mission Planning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds (Articolo in rivista) (Prodotto della ricerca)
• Semantic Similarity of Ontology Instances Tailored on the application Context (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Role of Different Solvers in Planning and Scheduling Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Generating High Quality Schedules for a Spacecraft Memory Downlink Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating Trustfulness and Decision Using Fuzzy Cognitive Maps (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Social Prejudice: Cognitive Modelling and Simulation Findings (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Ontology-Based Searching Framework for Digital Shapes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Solving biclustering with a GRASP-like metaheuristic: Two case-studies on gene expression analysis. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Signal Transmission and Synchrony Detection in a Network of Inhibitory Interneurons (Articolo in rivista) (Prodotto della ricerca)
• Scheduling high performance data mining tasks on a data grid environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Model for a Component Based Grid-aware Scientific Library Service (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An online parallel algorithm for remote visualization of isosurface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Triangle Mesh Duality: Reconstruction and Smoothing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Legal Language and Legal Knowledge Management Applications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Middleware services for pervasive grids (Contributo in atti di convegno) (Prodotto della ricerca)
• Mapping an Automated Survey Coding Task into a Probabilistic Text categorization Framework (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Emergence of an internal model in evolving robots subjected to sensory deprivation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a Standard for a Multilingual Lexical Entry: The EAGLES/ISLE Initiative (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Simulation to theory and Backward (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• M-Learning Accessibility Design: A Case Study (Articolo in rivista) (Prodotto della ricerca)
• The emergence of language in grounded adaptive agents and robots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fostering Intercultural Collaboration: a Web Service Architecture for Cross-Fertilization of Distributed Wordnets (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ICT Educational Tools and Visually Impaired Students: Different Answers to Different Accessibility Needs (Contributo in atti di convegno) (Prodotto della ricerca)
• Social knowledge building in a mobile learning environment (Articolo in rivista) (Prodotto della ricerca)
• Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems (Curatela) (Prodotto della ricerca)
• The Impact of m-Learning in School Contexts: An “Inclusive” Perspective (Articolo in rivista) (Prodotto della ricerca)
• A Multi-agent Modal Language for Concurrency with Non-communicating Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automatically structuring text for audio learning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Ontologically Well-Founded Profile for UML Conceptual Models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Zoomlinux: a research result providing a tangible response to the needs of low vision students (Articolo in rivista) (Prodotto della ricerca)
• Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto distinction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Breedbot: An Edutainment Robotics System to Link Digital and Real World (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Attention training with an easy-to-use brain computer interface (Contributo in atti di convegno) (Prodotto della ricerca)
• Anisotropic Diffusion and Curve Evolution for Segmentation of Color Images in Cultural Heritage (Articolo in rivista) (Prodotto della ricerca)
• Symbolic partial model checking for security analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Agent Roles, Qua Individuals and The Counting Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Visualization ToolKit Based Application for Representing Macromolecular Surfaces (Articolo in rivista) (Prodotto della ricerca)
• SEaM: Analyzing Schedule Executability through Simulation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Language and cognition integration through modeling field theory: Category formation for symbol grounding. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A model of reaching that integrates reinforcement learning and population encoding of postures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Accessibility and Usability Evaluation of MAIS Designer: A New Design Tool for Mobile Services (Articolo in rivista) (Prodotto della ricerca)
• Action-based Cognition: how robots with No sensory system orient themselves in an Open field box (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An ICA Approach to Detect Functionally Different Intra-regional Neuronal Signals in MEG Data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• INTERFACE Toolkit: A New Tool for Building IVAs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Some adaptive advantages of the ability to make predictions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Semantic Annotation of 3D Surface Meshes based on Feature Characterization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards an Ontology-based Distributed Architecture for Paid Content (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• PANNA project - Plasma and nano for new age soft conservation. Development of a full-life protocol for the conservation of cultural heritage (Abstract/Comunicazione in rivista) (Prodotto della ricerca)
• Pre and post fire vegetation behavioral trends from satellite MODIS/NDVI time series in semi-natural areas (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Short-and long-term statistical properties of heartbeat time-series in healandthy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A wavelet-based algorithm for multimodal medical image fusion (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards social networks services integration (Contributo in atti di convegno) (Prodotto della ricerca)
• Enhancing Wikipedia editing with WAI-ARIA (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Real-time measurement and analysis of moving object speeds (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics (Articolo in rivista) (Prodotto della ricerca)
• Cells in Silico: A Holistic Approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a logic query language for data mining (Articolo in rivista) (Prodotto della ricerca)
• Boosting technique for Combining Cellular GP Classifiers (Articolo in rivista) (Prodotto della ricerca)
• A hybrid inference approach for building fuzzy DSSs based on clinical guidelines (Contributo in atti di convegno) (Prodotto della ricerca)
• GP Ensemble for Distributed Intrusion Detection Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs (Contributo in atti di convegno) (Prodotto della ricerca)
• Fault-tolerant approximate shortest-path trees (Contributo in atti di convegno) (Prodotto della ricerca)
• Real-time Stopped Object Detection by Neural Dual Background Modeling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• User Profile Modeling and Applications to Digital Libraries (Contributo in atti di convegno) (Prodotto della ricerca)
• Learning Bayesian classifiers from gene-expression microarray data (Articolo in rivista) (Prodotto della ricerca)
• A pictorial human computer interaction to query geographical data (Articolo in rivista) (Prodotto della ricerca)
• Distributed & Cooperative Application in PVM (Contributo in atti di convegno) (Prodotto della ricerca)
• Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista) (Prodotto della ricerca)
• Fundamental Approaches to Software Engineering (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Fostering social interaction of home-bound elderly people: The EasyReach system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Integrating planning and scheduling in the ISS fluid science laboratory domain (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (Prodotto della ricerca)
• Stochastic approximation of global reachability probabilities of Markov population models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (Articolo in rivista) (Prodotto della ricerca)
• An On-line Algorithm for the Rectangle Packing Problem with Rejection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fully kinetic Particle-in-Cell simulation of a hall thruster (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Reliable learning: a theoretical framework (Articolo in rivista) (Prodotto della ricerca)
• Wireless Systems and Network Architectures in Next Generation Internet (Articolo in rivista) (Prodotto della ricerca)
• Approximation properties of positive Boolean functions (Articolo in rivista) (Prodotto della ricerca)
• Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (Prodotto della ricerca)
• On the Efficiency of Restricted Tolls in Network Routing Games (Articolo in rivista) (Prodotto della ricerca)
• Replicated Web Services: A Comparative Analysis of Client-Based Content Delivery Policies (Articolo in rivista) (Prodotto della ricerca)
• A Power Saving Architecture for Web Access from Mobile Computers (Articolo in rivista) (Prodotto della ricerca)
• MobileMAN: Mobile Metropolitan Ad hoc Networks (Articolo in rivista) (Prodotto della ricerca)
• Services and applications in an Ambient Assisted Living (AAL) environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• RCC and the theory of simple regions in R2 (Contributo in atti di convegno) (Prodotto della ricerca)
• Structured knowledge: A basic aspect for efficient user applications (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
• The conceptual basis of WITH, a Collaborative Writer System of Clinical Trials (Contributo in atti di convegno) (Prodotto della ricerca)
• SCS Connector - Quantifying and Visualising Semantic Paths Between Entity Pairs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A requirements-led approach for specifying QoS-aware service choreographies: An experience report (Contributo in atti di convegno) (Prodotto della ricerca)
• Identify regulatory sites using neighbourhood species, (Articolo in rivista) (Prodotto della ricerca)
• An italian multimodal corpus: The building process (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Viewing the Viewers: A Novel Challenge for Automated Crowd Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• Toward New Communication Paradigms to Enhance Cognitive and Learning Processes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Process fragment recognition in clinical documents (Contributo in atti di convegno) (Prodotto della ricerca)
• Specialization with Constrained Generalization for Software Model Checking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A new omnidirectional vision sensor for Monte-Carlo localization (Articolo in rivista) (Prodotto della ricerca)
• Foundations of Information and Knowledge Systems. 8th International Symposium - Editorial (Curatela) (Prodotto della ricerca)
• Nomadic Wireless Sensor Networks for Autonomic Pervasive Environments (Articolo in rivista) (Prodotto della ricerca)
• Information processing and timing mechanisms in vision (Articolo in rivista) (Prodotto della ricerca)
• Efficient Computation of Equilibrium Prices for Markets with Leontief Utilities (Articolo in rivista) (Prodotto della ricerca)
• The Plurality Problem with Three Colors (Articolo in rivista) (Prodotto della ricerca)
• Towards a Novel Transport Protocol for Ad hoc Networks (Articolo in rivista) (Prodotto della ricerca)
• Modular Plans for Secure Service Composition (Articolo in rivista) (Prodotto della ricerca)
• Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control (Articolo in rivista) (Prodotto della ricerca)
• Proceedings of ISC 2009 (Curatela) (Prodotto della ricerca)
• XFlow: an Xml-Based Document-Centric Workflow (Articolo in rivista) (Prodotto della ricerca)
• Multi-scale Simulation of T Helper Lymphocyte Differentiation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a Characterization of Polynomial Preference Elicitation with Value Queries in Combinatorial Auctions, COLT 2004 (Articolo in rivista) (Prodotto della ricerca)
• Silence is Golden with High Probability: Maintaining a Connected Backbone in Wireless Sensor Networks, EWSN 2004 (Articolo in rivista) (Prodotto della ricerca)
• Enhancing DHCP for Address Autoconfiguration in Multi-hop WLANs (Articolo in rivista) (Prodotto della ricerca)
• Usage Control, Risk and Trust (Articolo in rivista) (Prodotto della ricerca)
• Learning by e-Learning: Breaking Down Barriers and Creating Opportunities for the Visually-Impaired (Articolo in rivista) (Prodotto della ricerca)
• An iterative algorithm with joint sparsity constraints for magnetic tomography (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Narrative Serious Game Mechanics (NSGM) - Insights into the narrative-pedagogical mechanism (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Short- and long-term statistical properties of hertbeat time-series in healthy and pathological subjects (Articolo in rivista) (Prodotto della ricerca)
• Spatial Statistical Models for the Evaluation of the Landscape (Contributo in atti di convegno) (Prodotto della ricerca)
• The socio-cognitive dynamics of trust: does trust create trust? (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Characteristics of sprawl in the Naples metropolitan area. Indications for controlling and monitoring urban transformations (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The Future of Enterprise Systems in a Fully Networked Society (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Basic Mental Attitudes of a Collaborating Agent: Cognitive Primitives for MAS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Levels of delegation and levels of adoption as the basis for adjustable autonomy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• 2D Grey-level Convex Hull Computation: A Discrete 3D Approach (Articolo in rivista) (Prodotto della ricerca)
• Coding by Neural Population Oscillations? (Articolo in rivista) (Prodotto della ricerca)
• A novel distributed scheduling algorithm for resource sharing under near-heavy load (Articolo in rivista) (Prodotto della ricerca)
• Agent WiSARD in a 3D world (Articolo in rivista) (Prodotto della ricerca)
• Interactive Analysis of Time in Film Stories (Articolo in rivista) (Prodotto della ricerca)
• Bayesian models for the analysis of multisample time-course micro-array experiments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Outline of a Formal Ontology of Genres (Articolo in rivista) (Prodotto della ricerca)
• Exploring Multi-level Parallelism in Cellular Automata Networks (Articolo in rivista) (Prodotto della ricerca)
• An Incremental Compilation Approach for OpenMP Applications (Articolo in rivista) (Prodotto della ricerca)
• Multiresolution representation of shape in binary images (Articolo in rivista) (Prodotto della ricerca)
• Object detection in watershed partitioned gray-level images (Articolo in rivista) (Prodotto della ricerca)
• Spatio-temporal Information Systems in a Statistical Context (Articolo in rivista) (Prodotto della ricerca)
• Towards modular verification of software product lines with mCRL2 (Contributo in atti di convegno) (Prodotto della ricerca)
• Skeletonizing Volume Objects. Part II: from Surface to Curve Skeleton (Articolo in rivista) (Prodotto della ricerca)
• Skeletonization of Gray-Tone Images Based on Region Analysis (Articolo in rivista) (Prodotto della ricerca)
• Using Top-Down and Bottom-Up Analysis for a Multi-Scale Skeleton Hierarchy (Articolo in rivista) (Prodotto della ricerca)
• DiFac: Digital factory for human oriented production system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The role of trusted relationships on content spread in distributed online social networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Quantitative Approach for Inexact Enforcement of Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
• Epidemic diffusion of social updates in Dunbar-based DOSN (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems (Articolo in rivista) (Prodotto della ricerca)
• Acquiring Thesauri from Wikis by Exploiting Domain Models and Lexical Substitution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Using collaborative techniques in virtual learning communities (Articolo in rivista) (Prodotto della ricerca)
• Metacognition in Web-Based Learning Activities (Articolo in rivista) (Prodotto della ricerca)
• Accessibility of educational software: from evaluation to design guidelines (Articolo in rivista) (Prodotto della ricerca)
• A Multiresolution Shape Description Algorithm (Articolo in rivista) (Prodotto della ricerca)
• Surface skeletonization of volume objects (Articolo in rivista) (Prodotto della ricerca)
• Spatial Relations among Pattern Subsets as a Guide for Skeleton Pruning (Articolo in rivista) (Prodotto della ricerca)
• Decomposing digital 3D shapes using a multiresolution structure (Articolo in rivista) (Prodotto della ricerca)
• Neural net of Hydra and the modulation of its periodic activity (Articolo in rivista) (Prodotto della ricerca)
• Conscious and intentional access to unconscious decision-making module in ambiguous visual perception (Articolo in rivista) (Prodotto della ricerca)
• Abstract State Processes (Articolo in rivista) (Prodotto della ricerca)
• Representing Shape by line patterns (Articolo in rivista) (Prodotto della ricerca)
• Teams of Pushdown Automata (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - CLEF 2003 (Articolo in rivista) (Prodotto della ricerca)
• Characterising 3D Objects by Shape and Topology (Articolo in rivista) (Prodotto della ricerca)
• Using web services to run distributed numerical applications (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Editorial activity - AI*IA 2003 (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - PVM/MPI 2003 (Articolo in rivista) (Prodotto della ricerca)
• A Fault-Tolerant Distributed Legacy-based System and Its Evaluation (Articolo in rivista) (Prodotto della ricerca)
• Evaluating and Enhancing the Use of the GridFTP Protocol for Efficient Data Transfer on the Grid (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ExAnte: Anticipated Data Reduction in Constrained Pattern Mining (Articolo in rivista) (Prodotto della ricerca)
• Computational Properties of Metaquerying Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• YAPI: Yet Another Path Index for XML searching (Articolo in rivista) (Prodotto della ricerca)
• Platform Awareness in Dynamic Web User Interfaces Migration (Articolo in rivista) (Prodotto della ricerca)
• The future of large-scale evaluation campaigns for information retrieval in Europe (Articolo in rivista) (Prodotto della ricerca)
• Approximate -Closest-Pairs with Space Filling Curves (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Planar trivalent network computation (Articolo in rivista) (Prodotto della ricerca)
• Sorting out the document identifier assignment problem (Articolo in rivista) (Prodotto della ricerca)
• Spatio-temporal aggregations in trajectory data warehouses (Articolo in rivista) (Prodotto della ricerca)
• Extracting trees of quantitative serial episodes (Articolo in rivista) (Prodotto della ricerca)
• MultiMatch - Multilingual/Multimedia Access to Cultural Heritage (Articolo in rivista) (Prodotto della ricerca)
• Preface - Advances in mass data analysis of signals and images in medicine, biotechnology and chemistry (Articolo in rivista) (Prodotto della ricerca)
• Answering Joint Queries from Multiple Aggregate OLAP Databases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Knowledge Discovery in Inductive Databases (Articolo in rivista) (Prodotto della ricerca)
• Program derivation = rules + strategies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Steps towards enhancing the user experience in accessing digital libraries (Contributo in atti di convegno) (Prodotto della ricerca)
• Evaluating preservation strategies for electronic theses and dissertations (Articolo in rivista) (Prodotto della ricerca)
• Execution support of high performance heterogeneous component-based applications on the Grid (Articolo in rivista) (Prodotto della ricerca)
• A Faster Approximation Algorithm for 2-Edge-Connectivity Augmentation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A digital library framework for reusing e-learning video documents (Articolo in rivista) (Prodotto della ricerca)
• Architectural verification of black-box component-based systems (Articolo in rivista) (Prodotto della ricerca)
• Computing intensions of digital library collections (Articolo in rivista) (Prodotto della ricerca)
• Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (Prodotto della ricerca)
• Using MILOS to build a multimedia digital library application: the photobook experience (Articolo in rivista) (Prodotto della ricerca)
• Weak k-anonymity: a low-distortion model for protecting privacy (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2003 methodology and metrics (Articolo in rivista) (Prodotto della ricerca)
• TripBuilder: A tool for recommending sightseeing tours (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (Prodotto della ricerca)
• Dependable and secure data storage in wireless ad hoc networks: an assessment of DS2 (Articolo in rivista) (Prodotto della ricerca)
• On the Hardness of Constructing Minimal Biconnected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Speeding-up hierarchical agglomerative clustering in presence of expensive metrics (Articolo in rivista) (Prodotto della ricerca)
• Correctness of ISA Hierarchies in Object-Oriented Database Schemas (Articolo in rivista) (Prodotto della ricerca)
• Beyond responsive design: Context-dependent multimodal augmentation of web applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Pushing constraints to detect local patterns (Articolo in rivista) (Prodotto della ricerca)
• Pushing tougher constraints in frequent pattern mining (Articolo in rivista) (Prodotto della ricerca)
• Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension (Articolo in rivista) (Prodotto della ricerca)
• Efficient training of sensor networks (Articolo in rivista) (Prodotto della ricerca)
• HMM: a static mapping algorithm to map parallel applications on grids (Articolo in rivista) (Prodotto della ricerca)
• A Novel Histogram-based Feature Representation and its Application in Sport Players Classification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Joint structured/non structured parallelism exploitation through data flow (Articolo in rivista) (Prodotto della ricerca)
• Comparative evaluation of cross-language information retrieval systems (Articolo in rivista) (Prodotto della ricerca)
• Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014) (Contributo in atti di convegno) (Prodotto della ricerca)
• A KNOWLEDGE-BASED APPROACH TO STATISTICAL QUERY-PROCESSING (Contributo in atti di convegno) (Prodotto della ricerca)
• Dependability evaluation of Web service-based processes (Articolo in rivista) (Prodotto della ricerca)
• Analysing trans-modal interface migration (Articolo in rivista) (Prodotto della ricerca)
• Shape Based People Detection for Visual Surveillance Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a generalized interaction scheme for information access (Articolo in rivista) (Prodotto della ricerca)
• Shadows Removal by Edges Matching (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• WINGS: a parallel indexer for web contents (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Interestingness is not a dichotomy: introducing softness in constrained pattern mining (Articolo in rivista) (Prodotto della ricerca)
• Mobile UML statecharts with localities (Articolo in rivista) (Prodotto della ricerca)
• Development of multimodal interfaces in multi-device environments (Articolo in rivista) (Prodotto della ricerca)
• Dynamic reconfiguration of grid-aware applications in ASSIST (Articolo in rivista) (Prodotto della ricerca)
• Evaluation of the impact of congestion on service availability of GPRS infrastructures (Articolo in rivista) (Prodotto della ricerca)
• Integrating knowledge engineering for planning with Validation and Verification tools (Contributo in atti di convegno) (Prodotto della ricerca)
• Inorganic phosphates investigation by Support Vector Machine (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deductive and inductive reasoning on spatio temporal data (Articolo in rivista) (Prodotto della ricerca)
• An extended maximum likelihood approach for the robust blind separation of autocorrelated images from noisy mixtures (Articolo in rivista) (Prodotto della ricerca)
• Bleed-through removal from degraded documents using a color decorrelation method (Articolo in rivista) (Prodotto della ricerca)
• Blind source separation techniques for detecting hidden texts and textures in document images (Articolo in rivista) (Prodotto della ricerca)
• Supporting museum co-visits using mobile devices (Articolo in rivista) (Prodotto della ricerca)
• Targeting heterogeneous architectures in ASSIST: experimental results (Articolo in rivista) (Prodotto della ricerca)
• Automatic Monitoring of Forbidden Areas to Prevent Illegal Accesses (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Scheduling and load balancing (Abstract/Comunicazione in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1305)
• Parallelization and Vectorization of a Vitreous Lattice Mode (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A methodology for the derivation and verification of use cases for product lines (Articolo in rivista) (Prodotto della ricerca)
• A tool to execute ASSIST programs on globus-based grids (Articolo in rivista) (Prodotto della ricerca)
• An efficient parallel and distributed algorithm for counting frequent sets (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A statistical approach for computing reachability of non-linear and stochastic dynamical systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A unifying framework for flexible information access in taxonomy-based sources (Articolo in rivista) (Prodotto della ricerca)
• Statistical assessment of MSigDB gene sets in colon cancer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Supervised Approach in Background Modelling for Visual Surveillance (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Parsimony doesn't mean simplicity: genetic programming for inductive inference on noisy data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Scalability in evolved neuro controllers that guide a swarm of robots in a navigation task (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A scalable approach for efficiently generating structured dataset topic profiles (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The AAL Open Association Manifesto (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Design, implementation and evaluation of a user generated content service for Europeana (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Interactive Out-of-Core Visualisation of Very Large Landscapes on Commodity Graphics Platform (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• What happened in CLEF 2009 (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Resilience of Interaction Techniques to Interrupts (Articolo in rivista) (Prodotto della ricerca)
• The PLASTIC framework and tools for testing service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
• Automatic construction of an opinion-term vocabulary for ad hoc retrieval (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Locating Facilities on a Network to Minimize their Average Service Radius (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Mining graph evolution rules (Articolo in rivista) (Prodotto della ricerca)
• Copy-number alterations for tumor progression inference (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2008: ad hoc track overview (Articolo in rivista) (Prodotto della ricerca)
• What Happened in CLEF 2008 (Articolo in rivista) (Prodotto della ricerca)
• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Functional adaptivity for digital library services in e-infrastructures: the gCube approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• ICA by maximizing non-stability (Articolo in rivista) (Prodotto della ricerca)
• Image source separation using color channel dependencies (Articolo in rivista) (Prodotto della ricerca)
• Entry pairing in inverted file (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The PERSONA framework for supporting context-awareness in open distributed systems (Articolo in rivista) (Prodotto della ricerca)
• User interface migration between mobile devices and digital TV (Articolo in rivista) (Prodotto della ricerca)
• Automatic Execution of Tasks in MiPeG (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evolving Tree Algorithm Modifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The CRUTIAL architecture for critical information infrastructures (Articolo in rivista) (Prodotto della ricerca)
• About the embedding of color uncertainty in CBIR systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The MultiMatch prototype: multilingual/multimedia search for cultural heritage objects (Articolo in rivista) (Prodotto della ricerca)
• An Information-Theoretic Framework for High-Order Co-Clustering of Heterogeneous Objects (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Software testing forever: old and new processes and techniques for validating today's applications (Articolo in rivista) (Prodotto della ricerca)
• A General Architecture for Grid-Based PSE Toolkits (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Hourly Forecasting of SO2 Pollutant Concentration Using an Elman Neural Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Branch-and-Cut Algorithms for Combinatorial Optimization and their Implementation in {ABACUS} (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A logical framework to deal with variability (Articolo in rivista) (Prodotto della ricerca)
• A Query-Strategy-focused Taxonomy and a Customizable Benchmarking Framework for Peer-to-Peer Information Retrieval Techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry (Articolo in rivista) (Prodotto della ricerca)
• Partitioning the Nodes of a Graph to Minimize the Sum of Subgraph Radii (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2007 (Articolo in rivista) (Prodotto della ricerca)
• A Wavelet-based Algorithm for Multimodal Medical Image Fusion (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Exploiting RFIDs and tilt-based interaction for mobile museum guides accessible to vision-impaired users (Articolo in rivista) (Prodotto della ricerca)
• Exploiting Web services and model-based uer iterfaces for multi-device access to home applications (Articolo in rivista) (Prodotto della ricerca)
• Efficient Fragmentation of Large XML Documents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Graph-based design and analysis of dynamic software architectures (Articolo in rivista) (Prodotto della ricerca)
• Numerical Algorithms, Session Introduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (Prodotto della ricerca)
• Parallel/Distributed Film Line Scratch Restoration by Fusion Techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Boosting technique for Combining Cellular GP Classifiers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Discovering Anomalies in Evidential Knowledge by Logic Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Multi-set DHT for range queries on dynamic data for grid information service (Articolo in rivista) (Prodotto della ricerca)
• Preserving rich user interface state in Web applications across various platforms (Articolo in rivista) (Prodotto della ricerca)
• Optimizing over Semimetric Polytopes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enabling Knowledge Discovery Services on Grids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Semantic Location Service for Pervasive Grids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Application of EalphaNets to Feature Recognition of Articulation Manner in Knowledge-based Automatic Speech Recognition (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Peer-to-Peer Virtual Office for Organizational Knowledge Management (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using PROTEUS for Modeling Data Mining Analysis of Proteomics Experiments on the Grid (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Agent-Based Semi-Informed Protocol for Resource Discovery in Grids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A native XML database supporting approximate match search (Articolo in rivista) (Prodotto della ricerca)
• A model checking approach for verifying COWS specifications (Articolo in rivista) (Prodotto della ricerca)
• A Super-Peer Model for Building Resource Discovery Services in Grids: Design and Simulation Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ECIR 2003 (Articolo in rivista) (Prodotto della ricerca)
• Anchoring by Imitation Learning in Conceptual Spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Circular Ones Matrices and the Stable Set Polytope of Quasi-Line Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ECML 2004 (Articolo in rivista) (Prodotto della ricerca)
• A Truthful (2-2/k)-Approximation Mechanism for the Steiner Tree Problem with k Terminals (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Condensed Nearest Neighbor Data Domain Description (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A modular approach for model-based dependability evaluation of a class of systems (Articolo in rivista) (Prodotto della ricerca)
• Efficient Truthful Mechanisms for the Single-Source Shortest Paths Tree Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Asynchronous training in wireless sensor networks (Articolo in rivista) (Prodotto della ricerca)
• Biomedical signal and image processing for decision support in heart failure (Articolo in rivista) (Prodotto della ricerca)
• A Metadata Model and Information System for the Management of Resources in a Grid-based PSE Toolkit (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A proposal for a Unified Process for Ontology building: UPON (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Removing Line Scratches in Digital Image Sequences by Fusion Techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Transparent Java threads migration protocol over Peer2Peer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A semi-automatic support to adapt e-documents in an accessible and usable format for vision impaired users (Articolo in rivista) (Prodotto della ricerca)
• Range augmentation problems in static ad-hoc wireless networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Conceptual Model for Grid-adaptivity of HPC Applications and its Logical Implementation with Components Technology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
• An ontology-based approach for the semantic modelling and reasoning on trajectories (Articolo in rivista) (Prodotto della ricerca)
• An Ontology-Driven Process Modelling Framework (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Transformation rules for locally stratified constraint logic programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Experiences with CiceRobot, a museum guide cognitive robot. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Evolution of Marketing Strategies: from Internet Marketing to M-Marketing (Articolo in rivista) (Prodotto della ricerca)
• 3D Neural Model-Based Stopped Object Detection (Articolo in rivista) (Prodotto della ricerca)
• Bringing together Humans and Artificial Agents in Cyber-Societies: A new field of Trust Research (Articolo in rivista) (Prodotto della ricerca)
• Tuning the collaboration level with autonomous agents: A principled theory (Articolo in rivista) (Prodotto della ricerca)
• Accessing Google Docs via Screen Reader (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Semantic search for earth observartion products using ontology services (Articolo in rivista) (Prodotto della ricerca)
• Persuasion artifices to promote wellbeing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A study of some multi-agent meta-models (Articolo in rivista) (Prodotto della ricerca)
• A Collaborative Semantic Web Layer to Enhance Legacy Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• A clustering technique for the identification of piecewise affine systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the Use of Aggregation-based Parallel Multilevel Preconditioners in the LES of Wall-Bounded Turbulent Flows (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• From DFT cluster calculations to molecular dynamics simulation of N2 formation on a silica model surface (Articolo in rivista) (Prodotto della ricerca)
• Detection of Motion Disorders of Patients with Autism Spectrum Disorders (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Serious Games in a European Policy Context (Contributo in atti di convegno) (Prodotto della ricerca)
• Unveiling california history through serious games: Fort ross virtual warehouse (Contributo in atti di convegno) (Prodotto della ricerca)
• MONET 2008 PC Co-chairs’ message (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Image segmentation based on representative colors detection and region merging (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• MONET 2006 PC Co-chairs' message (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Query approximation by semantic smilarity in GeoPQL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A proposal for a Distributed XML Healthcare Record (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A hybrid grammar-based approach to multimodal languages specification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Polygon-Constrained Motion Planning Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Real-Time Single Camera Hand Gesture Recognition System for Remote Deaf-Blind Communication (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Network creation games with traceroute-based strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Experimental Evaluation of Dynamic Shortest Path Tree Algorithms on Homogeneous Batches (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Semantic Approach to Support Cross Border e-Justice (Contributo in atti di convegno) (Prodotto della ricerca)
• A cooperative evolutionary approach to learn communities in multilayer networks (Contributo in atti di convegno) (Prodotto della ricerca)
• Object Tracking by Non-overlapping Distributed Camera Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The reversal potential of inhibitory synapses strongly impacts the dynamics of neural networks (Contributo in atti di convegno) (Prodotto della ricerca)
• Defective Areas identification in Aircraft Components by Bivariate Analysis of Ultrasound Signals (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Bootstrapping a Verb Lexicon for Biomedical Information Extraction (Comunicazione a convegno) (Prodotto della ricerca)
• SIFT based Ball Recognition in Soccer Images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Human Activity Recognition in Archaeological Sites by Hidden Markov Models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• PHENOMENOLOGICAL AND STATE COEFFICIENTS IN VISCOELASTIC MEDIUM OF ORDER ONE (WITH MEMORY) (Articolo in rivista) (Prodotto della ricerca)
• Edge-Based Algorithm for Shadows and Ghosts Removing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Face Recognition by Kernel Independent Component Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Advances in Background Updating and Shadow Removing for Motion Detection Algorithms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Perception-Based Interpretation of the Kernel-Based Object Tracking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Multiple clustering solutions analysis through least-squares consensus algorithms (Articolo in rivista) (Prodotto della ricerca)
• The impact of different stiff ODE solvers in parallel simulation of Diesel combustion (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Guidelines towards effectively sharable LOs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using a Structured Programming Environment for Parallel Remote Visualization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analysis of image sequences for defect detection in composite materials (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Regions Segmentation from SAR Images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Anticipatory Behavior in Adaptive Learning Systems: From Psychological Theories to Artificial Cognitive Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Process algebraic frameworks for the specification and ana lysis of cryptographic protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• SEAS: A Secure E-Voting Applet System (Articolo in rivista) (Prodotto della ricerca)
• Advances in Brain, Vision, and Artificial Intelligence (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Applying enterprise models to design cooperative scientific environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using secondary structure information to perform multiple alignment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A MAS Metamodel-Driven Approach to Process Fragments Selection (Articolo in rivista) (Prodotto della ricerca)
• Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (Articolo in rivista) (Prodotto della ricerca)
• Algorithms for jumbled indexing, Jumbled Border and Jumbled Square on run-length encoded strings (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Modelling surface flows for macroscopic phenomena by cellular automata: an application to debris flows. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• XPQL: a pictorial language for querying geographic data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evolution of Marketing Strategies: from Internet Marketing to M-Marketing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A sequent calculus for reasoning in four-valued Description Logics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The terminological image retrieval model (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Modelling the retrieval of structured documents containing texts and images (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Interaction between PVM Parameters and Communication Performances on ATM Networks (Articolo in rivista) (Prodotto della ricerca)
• HTGviz: A Graphic Tool for the Synthesis of Automatic and User-Driven Program Parallelization in the Compilation Process (Articolo in rivista) (Prodotto della ricerca)
• A deterministic learning approach based on discrepancy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• DISPAS: An Agent-Based Tool for the Management of Fishing Effort (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ”Delineation of elongated sub-patterns in a piecewise constant foreground” (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Power-Saving in Wi-Fi Hotspots: an Analytical Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards Reliable Forwarding for Ad Hoc Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Design and Analysis of A Bluetooth-based Indoor Localization System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Body posture recognition as a discovery problem: A semantic-based framework (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards an Integrated Formal Analysis for Security and Trust (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Computing Equilibrium Prices: Does Theory Meet Practice? (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Optimal scales in weighted networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Evaluating semantic similarity using GML in Geographic Information Systems (Articolo in rivista) (Prodotto della ricerca)
• Scheduling of Independent Dedicated Multiprocessor Tasks (Articolo in rivista) (Prodotto della ricerca)
• Improving efficiency of finite plans by optimal choice of input sets (Articolo in rivista) (Prodotto della ricerca)
• A semantic web based core engine to efficiently perform sentiment analysis (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
• Uncovering the semantics of Wikipedia pagelinks (Contributo in atti di convegno) (Prodotto della ricerca)
• Characterising citations in scholarly documents: The CiTalO framework (Contributo in atti di convegno) (Prodotto della ricerca)
• Ambient Assisted Living and Active Aging (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• FRED: From natural language text to RDF and OWL in one click (Contributo in atti di convegno) (Prodotto della ricerca)

Alternative label

• LNCS. Lecture notes in computer science (Print) (literal)
• Lecture notes in computer science. Lecture notes in artificial intelligence (literal)
• Lecture notes in computer science. LNAI. Lecture notes in artificial intelligence (literal)
• Lecture notes in artificial intelligence (literal)
• Lecture notes in computer science. Lecture notes in bioinformatics (Print) (literal)
• Lecture notes in computer science. (literal)
• Lecture notes in computer science. Journal subline (literal)
• Lecture notes in computer science (Print) (literal)
• Lect. notes comput. sci. (literal)

Language

• mul (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#issn

• 0302-9743 (literal)

Preferred label

• Lecture notes in computer science (literal)

Publisher

• Springer Berlin : DEU (literal)

Incoming links:

Rivista

• Statistical assessment of MSigDB gene sets in colon cancer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Discovering Learning Paths on a domain ontology using natural language interaction (Articolo in rivista) (Prodotto della ricerca)
• Identification of Reusable Method Fragments from the PASSI Agent-Oriented Methodology (Articolo in rivista) (Prodotto della ricerca)
• A Self-organizing Neural System for Background and Foreground Modeling (Contributo in atti di convegno) (Prodotto della ricerca)
• A multivariate algorithm for gene selection based on the nearest neighbor probability (Articolo in rivista) (Prodotto della ricerca)
• Intelligence on the web and e-inclusion (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Symbolic semantics and analysis for Crypto-CCS with (almost) generic inference systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An efficient parallel and distributed algorithm for counting frequent sets (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Acquiring Thesauri from Wikis by Exploiting Domain Models and Lexical Substitution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Outline of a Formal Ontology of Genres (Articolo in rivista) (Prodotto della ricerca)
• Regions Segmentation from SAR Images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A study of some multi-agent meta-models (Articolo in rivista) (Prodotto della ricerca)
• 3D Neural Model-Based Stopped Object Detection (Articolo in rivista) (Prodotto della ricerca)
• On the Use of Aggregation-based Parallel Multilevel Preconditioners in the LES of Wall-Bounded Turbulent Flows (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Symbolic partial model checking for security analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Enhancing the Apriori Algorithm for Frequent Set Counting (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards an Ontological Foundation for Services Science (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Using secondary structure information to perform multiple alignment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Verification of Sets of Infinite State Systems Using Program Transformation (Articolo in rivista) (Prodotto della ricerca)
• On $k$-Edge-Connectivity Problems with Sharpened Triangle Inequality (Articolo in rivista) (Prodotto della ricerca)
• Heureka, you shrink! (Articolo in rivista) (Prodotto della ricerca)
• Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista) (Prodotto della ricerca)
• A Primal Approach to the Stable Set Problem (Articolo in rivista) (Prodotto della ricerca)
• Logic Based Program Synthesis and Transformation, Proceedings of {LOPSTR} 2001 (Articolo in rivista) (Prodotto della ricerca)
• {ADST}: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs (Articolo in rivista) (Prodotto della ricerca)
• Finding the Most Vital Node of a Shortest Path (Articolo in rivista) (Prodotto della ricerca)
• A formal model for data coherence maintenance (Articolo in rivista) (Prodotto della ricerca)
• Strongly Polynomial-Time Truthful Mechanisms in One Shot (Articolo in rivista) (Prodotto della ricerca)
• Hardness of Designing a Truthful Mechanism for a Spanning Arborescence Bicriteria Problem (Articolo in rivista) (Prodotto della ricerca)
• Automatic Correctness Proofs for Logic Program Transformations (Articolo in rivista) (Prodotto della ricerca)
• Querying Semantically Enriched Business Processes (Articolo in rivista) (Prodotto della ricerca)
• Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Articolo in rivista) (Prodotto della ricerca)
• Fortan 90 routine for the solution of orthogonal differential problem (Articolo in rivista) (Prodotto della ricerca)
• On Computing the Spectral Decomposition of Symmetric Arrowhead Matrices (Articolo in rivista) (Prodotto della ricerca)
• Numerical Methods Based on Gaussian Quadrature and Continuous Runge-Kutta Integration for Optimal Control Problems (Articolo in rivista) (Prodotto della ricerca)
• Direct Optimization Using Gaussian Quadrature and Continuous Runge-Kutta Methods: Application to an Innovation Diffusion Model (Articolo in rivista) (Prodotto della ricerca)
• A Stochastic Location Problem with Applications to Tele-Diagnostic (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Optimal Inage Restoration using HVS-based Rate- Distortion Curve (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Kernel Density Estimation Methods for a Geostatistical Approach in Seismic Risk Analysis: the Case Study of Potenza Hilltop Town (southern Italy). (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synchronous firing in a population of inhibitory interneurons coupled by electrical and chemical synapses (Articolo in rivista) (Prodotto della ricerca)
• Gap-junctions promote synchrony in a network of inhibitory interneurons in the presence of heterogeneities and noise (Articolo in rivista) (Prodotto della ricerca)
• The after-hyperpolarization amplitude and the rise time constant of IPSC affect the synchronization properties of networks of inhibitory interneurons (Articolo in rivista) (Prodotto della ricerca)
• Feedbacks and oscillations in the virtual cell VICE (Articolo in rivista) (Prodotto della ricerca)
• A Network of coupled pyramidal neurons behaves as a coincidence detector (Contributo in atti di convegno) (Prodotto della ricerca)
• Eureka! : A Tool for Interactive Knowledge Discovery (Articolo in rivista) (Prodotto della ricerca)
• A Fuzzy Approach for the Network Congestion Problem (Articolo in rivista) (Prodotto della ricerca)
• Accessing Web Educational Resources from Mobile Wireless Devices: The Knowledge Sea Approach (Articolo in rivista) (Prodotto della ricerca)
• CODACS Project: A Demand-Data Driven Reconfigurable Architecture (Articolo in rivista) (Prodotto della ricerca)
• Parallel Genetic Algorithms for the Tuning of a Fuzzy AQM Controller (Articolo in rivista) (Prodotto della ricerca)
• Distributed Intelligent Management of Active Networks (Articolo in rivista) (Prodotto della ricerca)
• Ensemble Techniques for Parallel Genetic Programming based Classifiers (Articolo in rivista) (Prodotto della ricerca)
• An Adaptive Routing Mechanism for Efficient Resource Discovery in Unstructured P2P Networks. (Articolo in rivista) (Prodotto della ricerca)
• Composition of a New Process to Meet Agile Needs Using Method Engineering (Articolo in rivista) (Prodotto della ricerca)
• Dependable Execution of Workflow Activities on a Virtual Private Grid Middleware (Articolo in rivista) (Prodotto della ricerca)
• Extending PSBLAS to Build Parallel Schwarz Preconditioners (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• GP ensemble for Distributed Intrusion Detection Systems (Articolo in rivista) (Prodotto della ricerca)
• Mining Hierarchies of Models: From Abstract Views to Concrete Specifications (Articolo in rivista) (Prodotto della ricerca)
• Verification of Tree Updates for Optimization (Articolo in rivista) (Prodotto della ricerca)
• A Tree-Based Approach to Clustering XML Documents by Structure (Articolo in rivista) (Prodotto della ricerca)
• An Interactive Distributed Environment for Digital Film Restoration (Articolo in rivista) (Prodotto della ricerca)
• Detecting Outliers via Logical Theories and its Data Complexity (Articolo in rivista) (Prodotto della ricerca)
• Improving Prediction of Distance-Based Outliers (Articolo in rivista) (Prodotto della ricerca)
• Integrating Medical Imaging into a Grid Based Computing Infrastructure (Contributo in atti di convegno) (Prodotto della ricerca)
• Evaluation of Particle Swarm Optimization Effectiveness in Classification (Articolo in rivista) (Prodotto della ricerca)
• Swarm-based Distributed Clustering in Peer-to-Peer Systems (Articolo in rivista) (Prodotto della ricerca)
• Middleware Services for Pervasive Grids (Articolo in rivista) (Prodotto della ricerca)
• An Information-Theoretic Framework for Process Structure and Data Mining (Articolo in rivista) (Prodotto della ricerca)
• Multiobjective Differential Evolution for Mapping in a Grid Environment (Articolo in rivista) (Prodotto della ricerca)
• Semantic Driven Interaction using natural Language in students tutoring (Articolo in rivista) (Prodotto della ricerca)
• An Ontology Approach for Classification of Abnormal White Matter in Patients with Multiple Sclerosis (Articolo in rivista) (Prodotto della ricerca)
• Efficient Distributed Data Condensation for Nearest Neighbor Classification (Articolo in rivista) (Prodotto della ricerca)
• X§¤PPX: a Lightweight Framework for Privacy Preserving P2P XML Databases in Very Large Publish-Subscribe Systems (Articolo in rivista) (Prodotto della ricerca)
• RTDWD: Real-Time Distributed Wideband-Delphi for user stories estimation (Articolo in rivista) (Prodotto della ricerca)
• Skeletonizing Volume Objects. Part II: from Surface to Curve Skeleton (Articolo in rivista) (Prodotto della ricerca)
• Using Top-Down and Bottom-Up Analysis for a Multi-Scale Skeleton Hierarchy (Articolo in rivista) (Prodotto della ricerca)
• Skeletonization of Gray-Tone Images Based on Region Analysis (Articolo in rivista) (Prodotto della ricerca)
• Object detection in watershed partitioned gray-level images (Articolo in rivista) (Prodotto della ricerca)
• Exploring Multi-level Parallelism in Cellular Automata Networks (Articolo in rivista) (Prodotto della ricerca)
• An Incremental Compilation Approach for OpenMP Applications (Articolo in rivista) (Prodotto della ricerca)
• Multiresolution representation of shape in binary images (Articolo in rivista) (Prodotto della ricerca)
• Interactive Analysis of Time in Film Stories (Articolo in rivista) (Prodotto della ricerca)
• 2D Grey-level Convex Hull Computation: A Discrete 3D Approach (Articolo in rivista) (Prodotto della ricerca)
• Coding by Neural Population Oscillations? (Articolo in rivista) (Prodotto della ricerca)
• A novel distributed scheduling algorithm for resource sharing under near-heavy load (Articolo in rivista) (Prodotto della ricerca)
• Agent WiSARD in a 3D world (Articolo in rivista) (Prodotto della ricerca)
• Spatial Relations among Pattern Subsets as a Guide for Skeleton Pruning (Articolo in rivista) (Prodotto della ricerca)
• Surface skeletonization of volume objects (Articolo in rivista) (Prodotto della ricerca)
• Representing Shape by line patterns (Articolo in rivista) (Prodotto della ricerca)
• Characterising 3D Objects by Shape and Topology (Articolo in rivista) (Prodotto della ricerca)
• Decomposing digital 3D shapes using a multiresolution structure (Articolo in rivista) (Prodotto della ricerca)
• Neural net of Hydra and the modulation of its periodic activity (Articolo in rivista) (Prodotto della ricerca)
• Conscious and intentional access to unconscious decision-making module in ambiguous visual perception (Articolo in rivista) (Prodotto della ricerca)
• A Multiresolution Shape Description Algorithm (Articolo in rivista) (Prodotto della ricerca)
• Inorganic phosphates investigation by Support Vector Machine (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Approximation properties of positive Boolean functions (Articolo in rivista) (Prodotto della ricerca)
• Wireless Systems and Network Architectures in Next Generation Internet (Articolo in rivista) (Prodotto della ricerca)
• FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (Articolo in rivista) (Prodotto della ricerca)
• Reliable learning: a theoretical framework (Articolo in rivista) (Prodotto della ricerca)
• Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (Prodotto della ricerca)
• Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista) (Prodotto della ricerca)
• Learning Bayesian classifiers from gene-expression microarray data (Articolo in rivista) (Prodotto della ricerca)
• Accessibility and Usability Evaluation of MAIS Designer: A New Design Tool for Mobile Services (Articolo in rivista) (Prodotto della ricerca)
• Short-and long-term statistical properties of heartbeat time-series in healandthy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrated Photonic Micro Logic Gate (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Optimization of Bandwidth and Energy Consumption in Wireless Local Area Networks (Articolo in rivista) (Prodotto della ricerca)
• An Alphabet Friendly FM-index. SPIRE 2004 (Articolo in rivista) (Prodotto della ricerca)
• Two space saving tricks for linear time LCP computation. SWAT 2004 (Articolo in rivista) (Prodotto della ricerca)
• Efficient IP Table Lookup via Adaptive Stratified Trees with Selective (Articolo in rivista) (Prodotto della ricerca)
• Semirings for Soft Constraint Solving and Programming (Articolo in rivista) (Prodotto della ricerca)
• Cluster Generation and Cluster Labelling for Web Snippets: A Fast and Accurate Hierarchical Solution (Articolo in rivista) (Prodotto della ricerca)
• Efficient Computation of Nash Equilibria for Very Sparse Win-Lose Bimatrix Games (Articolo in rivista) (Prodotto della ricerca)
• Fine Grained Access Control with Trust and Reputation Management for Globus (Articolo in rivista) (Prodotto della ricerca)
• Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario (Articolo in rivista) (Prodotto della ricerca)
• Enhancing Java ME Security Support with Resource Usage Monitoring (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Timed Soft Concurrent Constraint Programs (Articolo in rivista) (Prodotto della ricerca)
• Randomized Algorithms for Determining the Majority on Graphs (Articolo in rivista) (Prodotto della ricerca)
• Faster Deterministic Wakeup in Multiple Access Channels (Articolo in rivista) (Prodotto della ricerca)
• Idea: Action Refinement for Security Properties Enforcement (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Analytical Study of Reliable and Energy-efficient Data Collection in Sparse Sensor Networks with Mobile Relays (Articolo in rivista) (Prodotto della ricerca)
• A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints (Articolo in rivista) (Prodotto della ricerca)
• Enforcing UCON Policies on the Enterprise Service Bus (Articolo in rivista) (Prodotto della ricerca)
• Lexical-Semantic Tagging of an Italian Corpus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ILC-UniPi Italian QA (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Initiatives, Tendencies and Driving Forces for a 'Lexical Web' as Part of a 'Language Infrastructure' (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Standard Lexical-Terminological Resource for the Bio Domain (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Sensorimotor to Higer Level Cognitive Processes: an Introduction to Anticipatory Behavior Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Planning the Future of Language Resources: The Role of the FLaReNet Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating a Bottom-Up and Top-Down Methodology for Building Semantic Resources for the Multilingual Legal Domain (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• 3D Shape Matching through Topological Structures (Articolo in rivista) (Prodotto della ricerca)
• From Exact to Approximate Maximum Common Subgraph (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Electrocardiographic imaging: towards automated interpretation of activation maps (Articolo in rivista) (Prodotto della ricerca)
• 3D Classification via Structural Prototypes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Determining recovery times from transmembrane action potential and unipolar electrograms in normal heart tissue (Articolo in rivista) (Prodotto della ricerca)
• Towards automated electrocardiac map interpretation: an intelligent contouring tool based on spatial aggregation (Articolo in rivista) (Prodotto della ricerca)
• From Microscopic to Macroscopic Modeling of Supersonic Seeded Atomic Beam (Articolo in rivista) (Prodotto della ricerca)
• Numerical implementation of quantum fluid dynamics: a working example (Articolo in rivista) (Prodotto della ricerca)
• On the Hardness of Constructing Minimal Biconnected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Faster Approximation Algorithm for 2-Edge-Connectivity Augmentation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Answering Joint Queries from Multiple Aggregate OLAP Databases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Program derivation = rules + strategies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A proposal for a Unified Process for Ontology building: UPON (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Transparent Java threads migration protocol over Peer2Peer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Range augmentation problems in static ad-hoc wireless networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Circular Ones Matrices and the Stable Set Polytope of Quasi-Line Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Truthful (2-2/k)-Approximation Mechanism for the Steiner Tree Problem with k Terminals (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Efficient Truthful Mechanisms for the Single-Source Shortest Paths Tree Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Transformation rules for locally stratified constraint logic programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Optimizing over Semimetric Polytopes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Branch-and-Cut Algorithms for Combinatorial Optimization and their Implementation in {ABACUS} (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Partitioning the Nodes of a Graph to Minimize the Sum of Subgraph Radii (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Locating Facilities on a Network to Minimize their Average Service Radius (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automatic construction of an opinion-term vocabulary for ad hoc retrieval (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deciding Full Branching Time Logic by Program Transformation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Improving Reachability Analysis of Infinite State Systems by Specialization (Articolo in rivista) (Prodotto della ricerca)
• On the Efficiency of Restricted Tolls in Network Routing Games (Articolo in rivista) (Prodotto della ricerca)
• An On-line Algorithm for the Rectangle Packing Problem with Rejection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Identify regulatory sites using neighbourhood species, (Articolo in rivista) (Prodotto della ricerca)
• An iterative algorithm with joint sparsity constraints for magnetic tomography (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Short- and long-term statistical properties of hertbeat time-series in healthy and pathological subjects (Articolo in rivista) (Prodotto della ricerca)
• Signal Transmission and Synchrony Detection in a Network of Inhibitory Interneurons (Articolo in rivista) (Prodotto della ricerca)
• An Adaptive Flocking Algorithm for Spatial Clustering (Articolo in rivista) (Prodotto della ricerca)
• Binary-Tree Histograms with Tree Indices (Articolo in rivista) (Prodotto della ricerca)
• A Concurrent Neural Classifier for HTML Documents Retrieval (Articolo in rivista) (Prodotto della ricerca)
• Mining Frequent Instances on Workflows (Articolo in rivista) (Prodotto della ricerca)
• Reasoning on Workflow Evolutions (Articolo in rivista) (Prodotto della ricerca)
• Sub-Symbolic Encoding of Words (Articolo in rivista) (Prodotto della ricerca)
• MLP Neural Network Implementation on a SIMD Architecture (Articolo in rivista) (Prodotto della ricerca)
• Gene Expression Biclustering using Random Walk Strategies (Articolo in rivista) (Prodotto della ricerca)
• Mining Constrained Graphs: The Case of Workflow Systems (Articolo in rivista) (Prodotto della ricerca)
• A Grid Enabled Parallel Hybrid Genetic Algorithm for SPN (Articolo in rivista) (Prodotto della ricerca)
• Agent Design from the Autonomy Perspective (Articolo in rivista) (Prodotto della ricerca)
• DESCRY: A Grid and Density Based Clustering Algorithm for Very Large Data Sets (Articolo in rivista) (Prodotto della ricerca)
• Enriching Conceptual Modeling of XML-Aware Adaptive Web Systems with Object-Oriented Constructs and UML Diagrams (Articolo in rivista) (Prodotto della ricerca)
• Integrating Scientific Software Libraries in Problem Solving Environments: a case study with ScaLAPACK (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Location and Tracking Services for a Meta-UbiComp Environment (Articolo in rivista) (Prodotto della ricerca)
• Mining Expressive Process Models by Clustering Workflow Traces (Articolo in rivista) (Prodotto della ricerca)
• Supporting Tools for Designing-By-Contract in Component based Applications (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Genetic Programming for Inductive Inference of Chaotic Series (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Automatic Classification of Handsegmented Image Parts using Differential Evolution (Articolo in rivista) (Prodotto della ricerca)
• An RFID-Based Access&Location Service for Pervasive Grids (Articolo in rivista) (Prodotto della ricerca)
• A Genetic Programming Approach to Solomonoff’s Probabilistic Induction (Articolo in rivista) (Prodotto della ricerca)
• Satellite Image Registration by Distributed Differential Evolution (Articolo in rivista) (Prodotto della ricerca)
• Parsimony doesn't mean Simplicity: Genetic Programming for Inductive Inference on Noisy Data (Articolo in rivista) (Prodotto della ricerca)
• A parallel combustion solver within an operatorsplitting context for engine simulations on Grids (Articolo in rivista) (Prodotto della ricerca)
• Improved SOM Learning using Simulated Annealing (Articolo in rivista) (Prodotto della ricerca)
• Soft Topographic Map for Clustering and Classification of Bacteria (Articolo in rivista) (Prodotto della ricerca)
• A self-organizing approach to detection of moving patterns for real-time applications (Articolo in rivista) (Prodotto della ricerca)
• PINCoC: a Co-Clustering based Approach to Analyze Protein-Protein Interaction Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Ontology-Based Technique for Validation of MRI Brain Segmentation Methods (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An OLAM-based Framework for Complex Knowledge Pattern Discovery in Distributed-and-Heterogeneous-Data-Sources and Cooperative Information Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synthesis of Hypermedia using OWL and Jess (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using Binary Pyramids to Create Multiresolution Shape Descriptors (Articolo in rivista) (Prodotto della ricerca)
• Detecting and Ranking Foreground Regions in Gray-Level Images (Articolo in rivista) (Prodotto della ricerca)
• Oversegmentation reduction via multiresolution image representation (Articolo in rivista) (Prodotto della ricerca)
• Discrete 3D Tools Applied to 2D Grey-level Images (Articolo in rivista) (Prodotto della ricerca)
• Molecular and Functional Diversity of Visual Pigments: Clues from the Photosensitive Opsin-Like Proteins of the Animal Model Hydra (Articolo in rivista) (Prodotto della ricerca)
• DNS-based Discovery System in Service Oriented Programming (Articolo in rivista) (Prodotto della ricerca)
• NSP: a Neuro-Symbolic Processor (Articolo in rivista) (Prodotto della ricerca)
• WiSARD and NSP for Robot Global Localization (Articolo in rivista) (Prodotto della ricerca)
• A Robust Shape Decomposition Method (Articolo in rivista) (Prodotto della ricerca)
• Line representation of elongated shapes (Articolo in rivista) (Prodotto della ricerca)
• Surface skeletons detected on the D6 distance transform (Articolo in rivista) (Prodotto della ricerca)
• Pruning discrete and semicontinuous skeletons (Articolo in rivista) (Prodotto della ricerca)
• Requirements for getting a robot to grow up (Articolo in rivista) (Prodotto della ricerca)
• Biological specifications for a synthetic gene expression data generation model (Articolo in rivista) (Prodotto della ricerca)
• Evaluating Switching Neural Networks for gene selection (Articolo in rivista) (Prodotto della ricerca)
• A Comparative Performance Evaluation of DNS Tunneling Tools (Articolo in rivista) (Prodotto della ricerca)
• Is the Intelligent Environment Smart Enough? (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Use of Current Management Systems for Accessibility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Replicated Web Services: A Comparative Analysis of Client-Based Content Delivery Policies (Articolo in rivista) (Prodotto della ricerca)
• A Power Saving Architecture for Web Access from Mobile Computers (Articolo in rivista) (Prodotto della ricerca)
• MobileMAN: Mobile Metropolitan Ad hoc Networks (Articolo in rivista) (Prodotto della ricerca)
• XFlow: an Xml-Based Document-Centric Workflow (Articolo in rivista) (Prodotto della ricerca)
• Towards a Characterization of Polynomial Preference Elicitation with Value Queries in Combinatorial Auctions, COLT 2004 (Articolo in rivista) (Prodotto della ricerca)
• Silence is Golden with High Probability: Maintaining a Connected Backbone in Wireless Sensor Networks, EWSN 2004 (Articolo in rivista) (Prodotto della ricerca)
• Usage Control, Risk and Trust (Articolo in rivista) (Prodotto della ricerca)
• Learning by e-Learning: Breaking Down Barriers and Creating Opportunities for the Visually-Impaired (Articolo in rivista) (Prodotto della ricerca)
• Enhancing DHCP for Address Autoconfiguration in Multi-hop WLANs (Articolo in rivista) (Prodotto della ricerca)
• Efficient Computation of Equilibrium Prices for Markets with Leontief Utilities (Articolo in rivista) (Prodotto della ricerca)
• The Plurality Problem with Three Colors (Articolo in rivista) (Prodotto della ricerca)
• Towards a Novel Transport Protocol for Ad hoc Networks (Articolo in rivista) (Prodotto della ricerca)
• Nomadic Wireless Sensor Networks for Autonomic Pervasive Environments (Articolo in rivista) (Prodotto della ricerca)
• Information processing and timing mechanisms in vision (Articolo in rivista) (Prodotto della ricerca)
• Proceedings of ISC 2009 (Curatela) (Prodotto della ricerca)
• Modular Plans for Secure Service Composition (Articolo in rivista) (Prodotto della ricerca)
• Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control (Articolo in rivista) (Prodotto della ricerca)
• A new omnidirectional vision sensor for Monte-Carlo localization (Articolo in rivista) (Prodotto della ricerca)
• Mapping an Automated Survey Coding Task into a Probabilistic Text categorization Framework (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a Standard for a Multilingual Lexical Entry: The EAGLES/ISLE Initiative (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fostering Intercultural Collaboration: a Web Service Architecture for Cross-Fertilization of Distributed Wordnets (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Emergence of an internal model in evolving robots subjected to sensory deprivation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Legal Language and Legal Knowledge Management Applications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• An online parallel algorithm for remote visualization of isosurface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Triangle Mesh Duality: Reconstruction and Smoothing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Ontology-Based Searching Framework for Digital Shapes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Semantic Similarity of Ontology Instances Tailored on the application Context (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Semantic Annotation of 3D Surface Meshes based on Feature Characterization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fully kinetic Particle-in-Cell simulation of a Hall thruster (Articolo in rivista) (Prodotto della ricerca)
• Particle models of discharge plasmas in molecular gases (Articolo in rivista) (Prodotto della ricerca)
• A Neural Network for classification of chambers arrangement in foraminifera (Articolo in rivista) (Prodotto della ricerca)
• On the stability of approximation for Hamiltonian path problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Edge-connectivity augmentation and network matrices (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Very Efficient Order Preserving Scalable Distributed Data Structure (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Polynomial-time algorithms for edge-connectivity augmentation of {H}amiltonian paths (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automated Strategies for Specializing Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the Existence of Truthful Mechanisms for the Minimum-cost Approximate Shortest-paths Tree Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Dynamic Mechanism Design (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the Complexity of Minimizing Interference in Ad-Hoc and Sensor Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Transformational Verification of Parameterized Protocols Using Array Formulas. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Branch and Bound Algorithm for Max-Cut Based on Combining Semidefinite and Polyhedral Relaxations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Approximate Mechanisms for the Metric TSP and other Graph Traversal Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the stable set polytope of claw-free graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Weighted Ontology for Semantic Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Transformational Approach to Program Development (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Open Platform for Business Process Modeling and Verification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Iterative Refinement Algorithm for the Minimum Branch Vertices Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• GRASP with Path-Relinking for Data Clustering: A Case Study for Biological Data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Mixed-Criticality Scheduling of Sporadic Task Systems (Articolo in rivista) (Prodotto della ricerca)
• Numerical comparison between different Lie groups methods for solving linear oscillatory odes (Articolo in rivista) (Prodotto della ricerca)
• Boundary conditions for thermal lattice Boltzmann simulations (Articolo in rivista) (Prodotto della ricerca)
• Boltzmann Simulation of Thermal Microflows with Heterogeneus Catalysis (Articolo in rivista) (Prodotto della ricerca)
• Improving efficiency of finite plans by optimal choice of input sets (Articolo in rivista) (Prodotto della ricerca)
• Coastline detection from SAR images by level set model (Articolo in rivista) (Prodotto della ricerca)
• Human Visual System for Complexity Reduction of Image and Video Restoration (Articolo in rivista) (Prodotto della ricerca)
• ViCe: a virtual cell. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The reversal potential of inhibitory synapses strongly impacts the dynamics of neural networks (Contributo in atti di convegno) (Prodotto della ricerca)
• Approximate -Closest-Pairs with Space Filling Curves (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluating and Enhancing the Use of the GridFTP Protocol for Efficient Data Transfer on the Grid (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Computational Properties of Metaquerying Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Metadata Model and Information System for the Management of Resources in a Grid-based PSE Toolkit (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Super-Peer Model for Building Resource Discovery Services in Grids: Design and Simulation Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Anchoring by Imitation Learning in Conceptual Spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Condensed Nearest Neighbor Data Domain Description (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Experiences with CiceRobot, a museum guide cognitive robot. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Removing Line Scratches in Digital Image Sequences by Fusion Techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Conceptual Model for Grid-adaptivity of HPC Applications and its Logical Implementation with Components Technology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Ontology-Driven Process Modelling Framework (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Boosting technique for Combining Cellular GP Classifiers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Discovering Anomalies in Evidential Knowledge by Logic Programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enabling Knowledge Discovery Services on Grids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Numerical Algorithms, Session Introduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Parallel/Distributed Film Line Scratch Restoration by Fusion Techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using PROTEUS for Modeling Data Mining Analysis of Proteomics Experiments on the Grid (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Agent-Based Semi-Informed Protocol for Resource Discovery in Grids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Semantic Location Service for Pervasive Grids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Application of EalphaNets to Feature Recognition of Articulation Manner in Knowledge-based Automatic Speech Recognition (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Peer-to-Peer Virtual Office for Organizational Knowledge Management (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Information-Theoretic Framework for High-Order Co-Clustering of Heterogeneous Objects (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A General Architecture for Grid-Based PSE Toolkits (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Hourly Forecasting of SO2 Pollutant Concentration Using an Elman Neural Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automatic Execution of Tasks in MiPeG (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evolving Tree Algorithm Modifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• About the embedding of color uncertainty in CBIR systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Wavelet-based Algorithm for Multimodal Medical Image Fusion (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Efficient Fragmentation of Large XML Documents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Query-Strategy-focused Taxonomy and a Customizable Benchmarking Framework for Peer-to-Peer Information Retrieval Techniques (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Multiresolution representation of shape in binary images II: Volume Images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Detecting foreground components in grey level images for shift invariant and topology preserving pyramids (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Grey level image components for multi-scale representation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Watershed segmentation via case-based reasoning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Characterising 3D objects by shape and topology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Topology preservation and tricky patterns in gray-tone images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Neural code and irregular spike trains. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Neurosymbolic Hybrid Approach for Landmark Recognition and Robot Localization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Excitatory synaptic interaction on dendritic tree (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Contour Pixel Classification for Character Skeletonization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Curve Skeletonization by Junction Detection in Surface Skeletons (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Properties of cascade switch superconducting nanowire single photon detectors (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Ring algorithms on heterogeneous clusters with PVM: performance analysis and modeling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Switching neural networks: A new connectionist model for classification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Model checking temporal metric specifications with Trio2Promela (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A constructive technique based on linear programming for training switching neural networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A UML-compatible formal language for system architecture description, SDL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The SPERIGEST Integrated System (Articolo in rivista) (Prodotto della ricerca)
• W3C-WAI content accessibility auditing (Articolo in rivista) (Prodotto della ricerca)
• A Classification, Based on ICF, for Modelling Human Computer Interaction (Articolo in rivista) (Prodotto della ricerca)
• Ambient Intelligence and Multimodality (Articolo in rivista) (Prodotto della ricerca)
• Design for All in the Ambient Intelligent Environment (Articolo in rivista) (Prodotto della ricerca)
• Using Web Content Management Systems for Accessibility: The experience of a Research Institute Portal (Articolo in rivista) (Prodotto della ricerca)
• Accessibility in the field of Education (Articolo in rivista) (Prodotto della ricerca)
• “Browsing large pedigrees to study the isolated populations in the “Parco Nazionale del Cilento e Vallo di Diano” (Articolo in rivista) (Prodotto della ricerca)
• Power-Saving in Wi-Fi Hotspots: an Analytical Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards Reliable Forwarding for Ad Hoc Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Design and Analysis of A Bluetooth-based Indoor Localization System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Computing Equilibrium Prices: Does Theory Meet Practice? (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards an Integrated Formal Analysis for Security and Trust (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fast PageRank Computation Via a Sparse Linear System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Anatomy of SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets. PKDD 2004 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Experimenting SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets. PKDD 2004 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Throughput Evaluation ed Enhancement of TCP Clients in Wi-Fi Hot Spots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analytical Modeling of TCP Clients in Wi-Fi Hotspots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Comparison of Web Server Architectures: a Measurement Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• FPF-SB : A Scalable Algorithm for Microarray Gene Expression Data Clustering (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Envisioning probe kit: creativity and storytelling to capture the inner thoughts of people (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Extending the Globus architecture with Role-Based Trust Management (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Uncertainty in Bipolar Preference Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Constraint Symmetry for the Soft CSP (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Modelling and solving bipolar preference problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enhancing Java Security with History Based Access Control (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• SCLP for Trust Propagation in Small-World Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Security Protocol Deployment Risk (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Distilling Router Data Analysis for Faster and Simpler Dynamic IP Lookup Algorithms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deterministic Rendezvous in Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• User-centric Mobility Models for Opportunistic Networking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface to Formal Aspects in Security and Trust (FAST): 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Addizionario: words in your pocket (Articolo in rivista) (Prodotto della ricerca)
• Automatic Classification and Analysis of Provisions in Italian Legal Texts: A Case Study (Articolo in rivista) (Prodotto della ricerca)
• Learning to Look in Different Environments: An Active-Vision Model which Learns and Readapts Visual Routines (Articolo in rivista) (Prodotto della ricerca)
• A Local Decision Algorithm for Maximum Lifetime in Ad Hoc Networks (Articolo in rivista) (Prodotto della ricerca)
• Load Balancing and Computing Strategies in Pipeline Optimization for Parallel Visualization of 3D Irregular Meshes (Articolo in rivista) (Prodotto della ricerca)
• Generating fuzzy models from deep knowledge: robustness and interpretability issues (Articolo in rivista) (Prodotto della ricerca)
• A comparison Framework for 3D Object Classification Methods (Articolo in rivista) (Prodotto della ricerca)
• Semantic Granularity for the Semantic Web (Articolo in rivista) (Prodotto della ricerca)
• Guidelines towards effectively sharable LOs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using a Structured Programming Environment for Parallel Remote Visualization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From DFT cluster calculations to molecular dynamics simulation of N2 formation on a silica model surface (Articolo in rivista) (Prodotto della ricerca)
• Vectorization of graphical components in sketch-based interfaces (Articolo in rivista) (Prodotto della ricerca)
• Formalizing recognition of sketching styles in human centered systems (Articolo in rivista) (Prodotto della ricerca)
• Multimodal sentence similarity in human-computer interaction systems (Articolo in rivista) (Prodotto della ricerca)
• A semantic and structural similarity approach to personalize location-based services (Articolo in rivista) (Prodotto della ricerca)
• Approximate queries by relaxing structural constraints in GIS (Articolo in rivista) (Prodotto della ricerca)
• An approach for managing ambiguities in multimodal interaction (Articolo in rivista) (Prodotto della ricerca)
• Relaxing constraints on GeoPQL operators to improve query answering (Articolo in rivista) (Prodotto della ricerca)
• ME: Multimodal Environment Based on Web Services Architecture (Articolo in rivista) (Prodotto della ricerca)
• MONET 2009 PC Co-chairs’ Message (Articolo in rivista) (Prodotto della ricerca)
• MONET 2007 PC co-chairs’ message (Articolo in rivista) (Prodotto della ricerca)
• An advanced multimodal platform for educational social networks (Articolo in rivista) (Prodotto della ricerca)
• Composing event constraints in state-based specification (Articolo in rivista) (Prodotto della ricerca)
• Elicitation of use cases for product lines (Articolo in rivista) (Prodotto della ricerca)
• FP-Bonsai: the art of growing and pruning small FP-Trees (Articolo in rivista) (Prodotto della ricerca)
• PLUTO: a test methodology for product families (Articolo in rivista) (Prodotto della ricerca)
• Querying articulated sources (Articolo in rivista) (Prodotto della ricerca)
• A model based approach to design applications for network processor (Articolo in rivista) (Prodotto della ricerca)
• Adaptative optimal bandwidth partitioning among TCP elephant connections over multiple rain-faded satellite channels (Articolo in rivista) (Prodotto della ricerca)
• From heterogeneous information spaces to virtual documents (Articolo in rivista) (Prodotto della ricerca)
• Supporting flexible development of multi-device interfaces (Articolo in rivista) (Prodotto della ricerca)
• TeStor: deriving test sequences from model-based specifications (Articolo in rivista) (Prodotto della ricerca)
• k-anonymous patterns (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2005: ad hoc track overview (Articolo in rivista) (Prodotto della ricerca)
• Collaborative social structures and task modelling integration (Articolo in rivista) (Prodotto della ricerca)
• Memory-aware frequent k-itemset mining (Articolo in rivista) (Prodotto della ricerca)
• Modeling and early performance estimation for network processor applications (Articolo in rivista) (Prodotto della ricerca)
• Preference-based query tuning through refinement/enlargement in a formal context (Articolo in rivista) (Prodotto della ricerca)
• TreeBoost.MH : a boosting algorithm for multi-label hierarchical text categorization (Articolo in rivista) (Prodotto della ricerca)
• Milos: a multimedia content management system for digital library applications (Articolo in rivista) (Prodotto della ricerca)
• Mean runtime analysis of stochastic process algebra using partial orders (Articolo in rivista) (Prodotto della ricerca)
• A grid-based infrastructure for distributed retrieval (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A content-addressable network for similarity search in metric spaces (Articolo in rivista) (Prodotto della ricerca)
• Automatic fuzzy-neural based segmentation of microscopic cell images (Articolo in rivista) (Prodotto della ricerca)
• Building geospatial ontologies from geographical databases (Articolo in rivista) (Prodotto della ricerca)
• Blind source separation applied to spectral unmixing: comparing different measures of nongaussianity (Articolo in rivista) (Prodotto della ricerca)
• Image indexing and retrieval using visual terms and text-like weighting (Articolo in rivista) (Prodotto della ricerca)
• Extracting astrophysical sources from channel-dependent convolutional mixtures by correlated component analysis in the frequency domain (Articolo in rivista) (Prodotto della ricerca)
• Incorporating tilt-based interaction in multimodal user interfaces for mobile devices (Articolo in rivista) (Prodotto della ricerca)
• Model driven development and code generation: an automotive case study (Articolo in rivista) (Prodotto della ricerca)
• Multimodal PDA interfaces to assist drivers in monitoring their vehicles (Articolo in rivista) (Prodotto della ricerca)
• On interactive pattern mining from relational databases (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Real-time measurement and analysis of translational and rotational speeds of moving objects in microscope fields (Articolo in rivista) (Prodotto della ricerca)
• Statistical analysis of microspectroscopy signals for algae classification and phylogenetic comparison (Articolo in rivista) (Prodotto della ricerca)
• A QoS test-bed generator for Web services (Articolo in rivista) (Prodotto della ricerca)
• Preface - Digital Libraries : research and development - First International DELOS Conference (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - PKDD 2004 (Articolo in rivista) (Prodotto della ricerca)
• The Use of XML in a Video Digital Library (Articolo in rivista) (Prodotto della ricerca)
• Sotware Testing Research and Practice (Articolo in rivista) (Prodotto della ricerca)
• An approach to the process maps based on semantic web methodologies (Articolo in rivista) (Prodotto della ricerca)
• Qualitative spatial reasoning in a logical framework (Articolo in rivista) (Prodotto della ricerca)
• Ostensive Automatic Schema Mapping for Taxonomy-based Peer-to-Peer Systems (Articolo in rivista) (Prodotto della ricerca)
• Query Evaluation in Peer-to-Peer Networks of Taxonomy-based Sources (Articolo in rivista) (Prodotto della ricerca)
• Similarity Join in Metric Spaces Using eD-Index (Articolo in rivista) (Prodotto della ricerca)
• Multi-FPGA Systems Synthesis by Means of Evolutionary Computation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• ASSIST demo: an high level, high performance, portable, structured parallel programming environment at work (Articolo in rivista) (Prodotto della ricerca)
• The Implementation of ASSIST, an Environment for Parallel and Distributed Programming (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - FME 2003 (Articolo in rivista) (Prodotto della ricerca)
• Similarity Join in Metric Spaces (Articolo in rivista) (Prodotto della ricerca)
• About the role of mapping in gesture-controlled live computer music (Articolo in rivista) (Prodotto della ricerca)
• Taxonomy-based Conceptual Modeling for Peer-to-Peer Networks (Articolo in rivista) (Prodotto della ricerca)
• An infrastructure for mining medical multimedia data (Articolo in rivista) (Prodotto della ricerca)
• Multi-scale representation and persistency for shape description (Articolo in rivista) (Prodotto della ricerca)
• Session types for orchestration charts (Articolo in rivista) (Prodotto della ricerca)
• Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista) (Prodotto della ricerca)
• Sustainable digital library systems over the DRIVER repository infrastructure (Articolo in rivista) (Prodotto della ricerca)
• Towards automated WSDL-based testing of Web services (Articolo in rivista) (Prodotto della ricerca)
• What happened in CLEF 2007 (Articolo in rivista) (Prodotto della ricerca)
• Architecting dependable systems V - Preface (Articolo in rivista) (Prodotto della ricerca)
• What happened in CLEF 2009 (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A model-checking approach for service component architectures (Articolo in rivista) (Prodotto della ricerca)
• Formal development for railway signaling using commercial tools (Articolo in rivista) (Prodotto della ricerca)
• A visual analytics toolkit for cluster-based classification of mobility data (Articolo in rivista) (Prodotto della ricerca)
• Active learning strategies for multi-label text classification (Articolo in rivista) (Prodotto della ricerca)
• Analysis of wireless sensor network protocols in dynamic scenarios (Articolo in rivista) (Prodotto della ricerca)
• Book4All: a tool to make an e-book more accessible to students with vision/visual-impairments (Articolo in rivista) (Prodotto della ricerca)
• Encoding ordinal features into binary features for text classification (Articolo in rivista) (Prodotto della ricerca)
• Interdependency analysis in electric power systems (Articolo in rivista) (Prodotto della ricerca)
• Mining query logs (Articolo in rivista) (Prodotto della ricerca)
• Mining the temporal dimension of the information propagation (Articolo in rivista) (Prodotto della ricerca)
• Model-based design of multi-device interactive applications based on Web services (Articolo in rivista) (Prodotto della ricerca)
• Multi-facet rating of product reviews (Articolo in rivista) (Prodotto della ricerca)
• On optimally partitioning a text to improve its compression (Articolo in rivista) (Prodotto della ricerca)
• Training data cleaning for text classification (Articolo in rivista) (Prodotto della ricerca)
• Preface to FMICS 2008 (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2009 ad hoc track overview: TEL and Persian Tasks (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Modelling digital libraries based on logic (Articolo in rivista) (Prodotto della ricerca)
• Incremental algorithms for effective and efficient query recommendation (Contributo in atti di convegno) (Prodotto della ricerca)
• Deriving vocal interfaces from logical descriptions in multi-device authoring environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An approach to content-based image retrieval based on the Lucene search engine library (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CANv2: A Hybrid CA Model by Micro and Macro-dynamics Examples (Articolo in rivista) (Prodotto della ricerca)
• Introducing reversibility in a high level JJL qubit model according to CAN2 paradigm (Articolo in rivista) (Prodotto della ricerca)
• A fuzzy approach to a belief-based trust computation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Schedule Robustness through Broader Solve and Robustify Search for Partial Order Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Controlling Complex Physical Systems Through Planning and Scheduling Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Schema Based Model of the Praying Mantis. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Reputation and Uncertainty Reduction: Simulating Partner Selection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Proactive Assistive Technology: An Empirical Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synthesizing Proactive Assistance with Heterogeneous Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Boosting the Performance of Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Roost Size For Multilevel Selection of Altruism among Vampire Bats (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An ontological account of agent-oriented goals (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Individual vs Social learning in a population of autonomous robots. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Emergence of interaction among adaptive agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Anticipation and Emotions for Goal Directed Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Generalizing Trust: Inferencing trustworthiness from categories (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Beyond Accuracy. Reputation for Partner selection with Lies and Retaliation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analysis of image sequences for defect detection in composite materials (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Face Recognition by Kernel Independent Component Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Advances in Background Updating and Shadow Removing for Motion Detection Algorithms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Human Activity Recognition in Archaeological Sites by Hidden Markov Models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• SIFT based Ball Recognition in Soccer Images (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Edge-Based Algorithm for Shadows and Ghosts Removing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Object Tracking by Non-overlapping Distributed Camera Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Defective Areas identification in Aircraft Components by Bivariate Analysis of Ultrasound Signals (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Metacognition in Web-Based Learning Activities (Articolo in rivista) (Prodotto della ricerca)
• Accessibility of educational software: from evaluation to design guidelines (Articolo in rivista) (Prodotto della ricerca)
• Using collaborative techniques in virtual learning communities (Articolo in rivista) (Prodotto della ricerca)
• Real-time measurement and analysis of moving object speeds (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cells in Silico: A Holistic Approach (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Unsupervised Clustering in Personal Photo Collections (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A multivariate algorithm for gene selection based on the nearest neighbor probability (Articolo in rivista) (Prodotto della ricerca)
• PHENOMENOLOGICAL AND STATE COEFFICIENTS IN VISCOELASTIC MEDIUM OF ORDER ONE (WITH MEMORY) (Articolo in rivista) (Prodotto della ricerca)
• A proposal for a Distributed XML Healthcare Record (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A hybrid grammar-based approach to multimodal languages specification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• MONET 2006 PC Co-chairs' message (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Query approximation by semantic smilarity in GeoPQL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• MONET 2008 PC Co-chairs’ message (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A methodology for the derivation and verification of use cases for product lines (Articolo in rivista) (Prodotto della ricerca)
• A tool to execute ASSIST programs on globus-based grids (Articolo in rivista) (Prodotto della ricerca)
• A unifying framework for flexible information access in taxonomy-based sources (Articolo in rivista) (Prodotto della ricerca)
• An extended maximum likelihood approach for the robust blind separation of autocorrelated images from noisy mixtures (Articolo in rivista) (Prodotto della ricerca)
• Bleed-through removal from degraded documents using a color decorrelation method (Articolo in rivista) (Prodotto della ricerca)
• Blind source separation techniques for detecting hidden texts and textures in document images (Articolo in rivista) (Prodotto della ricerca)
• Deductive and inductive reasoning on spatio temporal data (Articolo in rivista) (Prodotto della ricerca)
• Scheduling and load balancing (Abstract/Comunicazione in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1305)
• Supporting museum co-visits using mobile devices (Articolo in rivista) (Prodotto della ricerca)
• Targeting heterogeneous architectures in ASSIST: experimental results (Articolo in rivista) (Prodotto della ricerca)
• Towards a generalized interaction scheme for information access (Articolo in rivista) (Prodotto della ricerca)
• WINGS: a parallel indexer for web contents (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Analysing trans-modal interface migration (Articolo in rivista) (Prodotto della ricerca)
• Development of multimodal interfaces in multi-device environments (Articolo in rivista) (Prodotto della ricerca)
• Dynamic reconfiguration of grid-aware applications in ASSIST (Articolo in rivista) (Prodotto della ricerca)
• Evaluation of the impact of congestion on service availability of GPRS infrastructures (Articolo in rivista) (Prodotto della ricerca)
• Interestingness is not a dichotomy: introducing softness in constrained pattern mining (Articolo in rivista) (Prodotto della ricerca)
• Mobile UML statecharts with localities (Articolo in rivista) (Prodotto della ricerca)
• Pushing constraints to detect local patterns (Articolo in rivista) (Prodotto della ricerca)
• Pushing tougher constraints in frequent pattern mining (Articolo in rivista) (Prodotto della ricerca)
• Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension (Articolo in rivista) (Prodotto della ricerca)
• Speeding-up hierarchical agglomerative clustering in presence of expensive metrics (Articolo in rivista) (Prodotto della ricerca)
• Comparative evaluation of cross-language information retrieval systems (Articolo in rivista) (Prodotto della ricerca)
• Dependability evaluation of Web service-based processes (Articolo in rivista) (Prodotto della ricerca)
• Efficient training of sensor networks (Articolo in rivista) (Prodotto della ricerca)
• HMM: a static mapping algorithm to map parallel applications on grids (Articolo in rivista) (Prodotto della ricerca)
• Joint structured/non structured parallelism exploitation through data flow (Articolo in rivista) (Prodotto della ricerca)
• Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (Prodotto della ricerca)
• Using MILOS to build a multimedia digital library application: the photobook experience (Articolo in rivista) (Prodotto della ricerca)
• Weak k-anonymity: a low-distortion model for protecting privacy (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2003 methodology and metrics (Articolo in rivista) (Prodotto della ricerca)
• Dependable and secure data storage in wireless ad hoc networks: an assessment of DS2 (Articolo in rivista) (Prodotto della ricerca)
• A digital library framework for reusing e-learning video documents (Articolo in rivista) (Prodotto della ricerca)
• Architectural verification of black-box component-based systems (Articolo in rivista) (Prodotto della ricerca)
• Computing intensions of digital library collections (Articolo in rivista) (Prodotto della ricerca)
• Evaluating preservation strategies for electronic theses and dissertations (Articolo in rivista) (Prodotto della ricerca)
• Execution support of high performance heterogeneous component-based applications on the Grid (Articolo in rivista) (Prodotto della ricerca)
• Planar trivalent network computation (Articolo in rivista) (Prodotto della ricerca)
• Sorting out the document identifier assignment problem (Articolo in rivista) (Prodotto della ricerca)
• Spatio-temporal aggregations in trajectory data warehouses (Articolo in rivista) (Prodotto della ricerca)
• The future of large-scale evaluation campaigns for information retrieval in Europe (Articolo in rivista) (Prodotto della ricerca)
• Preface - Knowledge Discovery in Inductive Databases (Articolo in rivista) (Prodotto della ricerca)
• Extracting trees of quantitative serial episodes (Articolo in rivista) (Prodotto della ricerca)
• MultiMatch - Multilingual/Multimedia Access to Cultural Heritage (Articolo in rivista) (Prodotto della ricerca)
• Preface - Advances in mass data analysis of signals and images in medicine, biotechnology and chemistry (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - CLEF 2003 (Articolo in rivista) (Prodotto della ricerca)
• Using web services to run distributed numerical applications (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Abstract State Processes (Articolo in rivista) (Prodotto della ricerca)
• Teams of Pushdown Automata (Articolo in rivista) (Prodotto della ricerca)
• A Fault-Tolerant Distributed Legacy-based System and Its Evaluation (Articolo in rivista) (Prodotto della ricerca)
• ExAnte: Anticipated Data Reduction in Constrained Pattern Mining (Articolo in rivista) (Prodotto della ricerca)
• YAPI: Yet Another Path Index for XML searching (Articolo in rivista) (Prodotto della ricerca)
• Platform Awareness in Dynamic Web User Interfaces Migration (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - AI*IA 2003 (Articolo in rivista) (Prodotto della ricerca)
• Editorial activity - PVM/MPI 2003 (Articolo in rivista) (Prodotto della ricerca)
• ECIR 2003 (Articolo in rivista) (Prodotto della ricerca)
• ECML 2004 (Articolo in rivista) (Prodotto della ricerca)
• A modular approach for model-based dependability evaluation of a class of systems (Articolo in rivista) (Prodotto della ricerca)
• A native XML database supporting approximate match search (Articolo in rivista) (Prodotto della ricerca)
• A model checking approach for verifying COWS specifications (Articolo in rivista) (Prodotto della ricerca)
• A semi-automatic support to adapt e-documents in an accessible and usable format for vision impaired users (Articolo in rivista) (Prodotto della ricerca)
• An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
• An ontology-based approach for the semantic modelling and reasoning on trajectories (Articolo in rivista) (Prodotto della ricerca)
• Asynchronous training in wireless sensor networks (Articolo in rivista) (Prodotto della ricerca)
• Biomedical signal and image processing for decision support in heart failure (Articolo in rivista) (Prodotto della ricerca)
• Data flow-based validation of Web services compositions: perspectives and examples (Articolo in rivista) (Prodotto della ricerca)
• Exploiting RFIDs and tilt-based interaction for mobile museum guides accessible to vision-impaired users (Articolo in rivista) (Prodotto della ricerca)
• Exploiting Web services and model-based uer iterfaces for multi-device access to home applications (Articolo in rivista) (Prodotto della ricerca)
• Graph-based design and analysis of dynamic software architectures (Articolo in rivista) (Prodotto della ricerca)
• Multi-set DHT for range queries on dynamic data for grid information service (Articolo in rivista) (Prodotto della ricerca)
• Preserving rich user interface state in Web applications across various platforms (Articolo in rivista) (Prodotto della ricerca)
• The CRUTIAL architecture for critical information infrastructures (Articolo in rivista) (Prodotto della ricerca)
• The MultiMatch prototype: multilingual/multimedia search for cultural heritage objects (Articolo in rivista) (Prodotto della ricerca)
• The PERSONA framework for supporting context-awareness in open distributed systems (Articolo in rivista) (Prodotto della ricerca)
• User interface migration between mobile devices and digital TV (Articolo in rivista) (Prodotto della ricerca)
• Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2007 (Articolo in rivista) (Prodotto della ricerca)
• Software testing forever: old and new processes and techniques for validating today's applications (Articolo in rivista) (Prodotto della ricerca)
• A logical framework to deal with variability (Articolo in rivista) (Prodotto della ricerca)
• What Happened in CLEF 2008 (Articolo in rivista) (Prodotto della ricerca)
• CLEF 2008: ad hoc track overview (Articolo in rivista) (Prodotto della ricerca)
• Entry pairing in inverted file (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Functional adaptivity for digital library services in e-infrastructures: the gCube approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• ICA by maximizing non-stability (Articolo in rivista) (Prodotto della ricerca)
• Image source separation using color channel dependencies (Articolo in rivista) (Prodotto della ricerca)
• Resilience of Interaction Techniques to Interrupts (Articolo in rivista) (Prodotto della ricerca)
• The PLASTIC framework and tools for testing service-oriented applications (Articolo in rivista) (Prodotto della ricerca)
• Mining graph evolution rules (Articolo in rivista) (Prodotto della ricerca)
• The AAL Open Association Manifesto (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• What happened in CLEF 2009 (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• CSP-Based Interactive Decision Aid for Space Mission Planning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Role of Different Solvers in Planning and Scheduling Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Generating High Quality Schedules for a Spacecraft Memory Downlink Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating Trustfulness and Decision Using Fuzzy Cognitive Maps (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Social Prejudice: Cognitive Modelling and Simulation Findings (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards an Ontology-based Distributed Architecture for Paid Content (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An ICA Approach to Detect Functionally Different Intra-regional Neuronal Signals in MEG Data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• INTERFACE Toolkit: A New Tool for Building IVAs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Some adaptive advantages of the ability to make predictions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Action-based Cognition: how robots with No sensory system orient themselves in an Open field box (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• SEaM: Analyzing Schedule Executability through Simulation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Language and cognition integration through modeling field theory: Category formation for symbol grounding. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A model of reaching that integrates reinforcement learning and population encoding of postures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Agent Roles, Qua Individuals and The Counting Problem (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Breedbot: An Edutainment Robotics System to Link Digital and Real World (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto distinction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Ontologically Well-Founded Profile for UML Conceptual Models (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Multi-agent Modal Language for Concurrency with Non-communicating Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Simulation to theory and Backward (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The emergence of language in grounded adaptive agents and robots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Multi-view Player Action Recognition in Soccer Games (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Football Players classification in a Multi-camera environment (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Statistical analysis of microspectroscopy signals for algae classification and phylogenetic comparison (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A network of interneurons couplet by electrical synapses behaves as a coincidence detector (Contributo in atti di convegno) (Prodotto della ricerca)
• Solving ambiguities for sketch-based interaction in mobile environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Toward a model of clinical trial (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Personal sphere information, histories and social interaction between people on the internet (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Toward the Development of an Integrative Framework for Multimodal Dialogue Processing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Formalization of multimodal languages in pervasive computing paradigm (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• MONET'10 and P2PCDVE'10 - PC Co-chairs message (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A framework for reconfiguration-based fault-tolerance in distributed systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A highly scalable parallel caching system for web search engine results (Contributo in atti di convegno) (Prodotto della ricerca)
• A signature-based Approach for efficient relationship search on XML data collections (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Accelerating apache farms through Ad-HOC distributed scalable object repository (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Astrophysical image separation using particle filters (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CB-SPE tool: putting component-based performance engineering into practice (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Mixed-initiative, trans-modal interface migration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On competence in CD grammar systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Witness and counterexample automata for ACTL (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A formal security analysis of an OSA/Parlay authentication interface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A grid information service based on peer-to-peer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A relational query primitive for constraint-based pattern mining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A scalable nearest neighbor search in P2P systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An architecture-centric approach for producing quality systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deductive and inductive reasoning on spatio temporal data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Moving digital library service systems to the Grid (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A practical architecture-centric analysis process (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A story about formal methods adoption by a railway signaling Manufacturer (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A symbolic framework for model-based testing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A taxonomy for migratory user interfaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Abduction for extending incomplete information sources (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Achieving fault tolerance by a formally validated interaction policy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An environment for defining and handling guidelines for the Web (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An interactive musical exhibit based on infrared sensor (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Audition of Web services for testing conformance to open specified protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cluster generation and cluster labelling for Web snippets (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Combinatorial relations for digital pictures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• MP-Boost : a multiple-pivot boosting algorithm and its application to text categorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Natural modelling of interactive applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The DELOS Testbed for Choosing a Digital Preservation Strategy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Supporting Web usability for vision impaired users (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A general approach to shape characterization for biomedical problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analysis of a pointing task on a white board (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Authoring multi-device Web applications with database access (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2006: ad hoc track overview (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Easing Web Guidelines Specification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Monitoring architectural properties in dynamic component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Semi-automatic semantic tagging of 3D images from pancreas cells (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Roadmap for multiLingual information access in The European Library (TEL) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Statistical analysis of electrophoresis time series for improving basecalling in DNA sequencing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Systematic generation of XML instances to test complex software applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Thesaurus-based ontology on image analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Remote evaluation of mobile applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Designing Multi-device User Interfaces: How to Adapt to the Changing Device (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Research and Advanced Technology for Digital Libraries (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Evaluation of Multilingual and Multi-modal Information Retrieval (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introduction to SPLYR – The First Software Product Lines Young Researchers Workshop (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Editorial activity - EuroPar 2004 Parallel Processing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Personalized, Collaborative Digital Library Environment CYCLADES and its Collections Management (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2002 Methodology and Metrics (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Processing XML Queries with Tree Signatures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Stochastic dependability Analysis of System Architecture Based on UML Designs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Discretizing continuous attributes in AdaBoost for text categorization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Computer environments for improving end user accessibility (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• An Abduction-based Method for Index Relaxation in Taxonomy-based Sources (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Remarks on Turbo ASMs for Functional Equations and Recursion Schemes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Team automata satysfying compositionality (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A New Diagnosis Algorithm for Regular Interconnected Structures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Service for Supporting Virtual Views of Large Heterogeneous Digital Libraries (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Adaptive Constraint Pushing in Frequent Pattern Mining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Tree Signatures for XML Querying and Navigation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Model-based Design of Speech Interfaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Design Criteria for Location-aware, Indoor, PDA Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Formal Methods in Testing Software Architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Hierarchical models and software tools for parallel programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Adapting Convergent Scheduling Using Machine-Learning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A parallel knowledge discovery system for customer profiling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Similarity Grid for searching in metric spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A fluid flow approach to usability analysis of multi-user systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analysis of a redundant architecture for critical infrastructure protection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CLEF 2007: ad hoc track overview (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluation of critical infrastructures: challenges and viable approaches (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluation of feature subset selection, feature weighting, and prototype selection for biomedical applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating joint reviews with automotive SPICE assessment results (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Making conference CDs accessible: a practical example (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• ECDL 2008 (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A minimal deductive system for general fuzzy RDF (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A uniform approach to security and fault-tolerance specification and analysis (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Automatically determining attitude type and force for sentiment analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Cicero designer: an environment for end-user development of multi-device museum guides (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Combining timed coordination primitives and probabilistic tuple spaces (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Flash lighting space sampling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On a uniform framework for the definition of stochastic process languages (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Recoverable robust timetables: an algorithmic approach on trees (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Rate-based transition systems for stochastic process calculi (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface - Architecting Dependable Systems VI (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Preface to Evaluating Systems for Multilingual and Multimodal information Access (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Contract Nets for Evaluating Agent Trustworthiness (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• CAUSATIONT: Modeling Causation in AI&Law (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Constructive Framework for Legal Ontologies (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Designing and Implementing MABS in AKIRA (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Dynamic Computation and Context Effects in the Hybrid Architecture AKIRA (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• \"Exhibitionists\" and \"voyeurs\" do it better: A shared environment approach for flexible coordination with tacit messages. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Information Visualization for Knowledge Extraction in Neural Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Ontology Design Patterns for Semantic Web Content (Contributo in atti di convegno) (Prodotto della ricerca)
• The Complex Loop of Norm Emergence: a Simulation Model (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Demo to Practice: the MEXAR Path to Space Operations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Origins of Communication in Evolving (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Communication in Natural and Artificial Organisms: Experiments in evolutionary robotics (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synchronization and gait adaptation in evolving hexapod robots. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Trace Signals: The Meanings of Stigmergy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Generating Robust Partial Order Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• In Defence of a Trope-Based Ontology for Conceptual Modeling: An example with the foundations of Attributes, Weak Entities an Datatypes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Being Trusted in a Social Network: Trust as Relational Capital (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The emergence of language: how to simulate it. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Social facilitation on the development of foraging behaviours in a population of autonomous robots (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evolving Robot Behaviour At Micro (Molecular) And Macro (Molar) Action Level (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Rationality, Autonomy and Coordination: the Sunk Costs Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Counterfactual Reasoning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introduction: Anticipation in Natural and Artificial Cognition (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Endowing Artificial Systems with Anticipatory Capabilities: Success Cases (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Founding Autonomy: The Dialectics between (Social) Environment and Agent’s Architecture and Powers (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Planning with Multiple-Components in OMPS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Hybrid Variants for Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Artificial Organisms that Sleep. (Articolo in rivista) (Prodotto della ricerca)
• Image and Reputation coping differently with massive Informational Cheating (Articolo in rivista) (Prodotto della ricerca)
• Towards Reputation Enhanced Electronic Negotiations for Service Oriented Computing (Articolo in rivista) (Prodotto della ricerca)
• From Simulation to Theory (and Backward) . In Squazzoni, Flaminio (Ed.) Epistemological Aspects of Computer Simulation in the Social Sciences. Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006 (Articolo in rivista) (Prodotto della ricerca)
• A Supervised Approach in Background Modelling for Visual Surveillance (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automatic Monitoring of Forbidden Areas to Prevent Illegal Accesses (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Shape Based People Detection for Visual Surveillance Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Shadows Removal by Edges Matching (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Novel Histogram-based Feature Representation and its Application in Sport Players Classification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Visualization ToolKit Based Application for Representing Macromolecular Surfaces (Articolo in rivista) (Prodotto della ricerca)
• The Impact of m-Learning in School Contexts: An “Inclusive” Perspective (Articolo in rivista) (Prodotto della ricerca)
• ICT Educational Tools and Visually Impaired Students: Different Answers to Different Accessibility Needs (Contributo in atti di convegno) (Prodotto della ricerca)
• Social knowledge building in a mobile learning environment (Articolo in rivista) (Prodotto della ricerca)
• Zoomlinux: a research result providing a tangible response to the needs of low vision students (Articolo in rivista) (Prodotto della ricerca)
• M-Learning Accessibility Design: A Case Study (Articolo in rivista) (Prodotto della ricerca)
• Combining Replicates and Nearby Species Data: A Bayesian Approach (Articolo in rivista) (Prodotto della ricerca)
• Multiple Clustering Solutions Analysis Through Lest-Square Consensus Algorithms (Articolo in rivista) (Prodotto della ricerca)
• Coincidence detector properties of small networks of interneurons (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Classification of security properties - Part II : network security (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Combining Logic Programs and Monadic Second Order Logics by Program Transformation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Neural model-based segmentation of image motion (Contributo in atti di convegno) (Prodotto della ricerca)
• Self Organizing and Fuzzy Modelling for Parked Vehicles Detection (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Scheduling high performance data mining tasks on a data grid environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Complex Search, Ranks, and Biological Discovery: A User's Perspective (Contributo in atti di convegno) (Prodotto della ricerca)
• Touristic valorisation: A niche of interest for multimodal information exploitation (Contributo in atti di convegno) (Prodotto della ricerca)
• Bootstrapping a Verb Lexicon for Biomedical Information Extraction (Comunicazione a convegno) (Prodotto della ricerca)
• A MAS Metamodel-Driven Approach to Process Fragments Selection (Articolo in rivista) (Prodotto della ricerca)
• Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (Articolo in rivista) (Prodotto della ricerca)
• ”Delineation of elongated sub-patterns in a piecewise constant foreground” (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Unified Graphical Notation for AOSE (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing Motivations in Design Pattern Representation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A new learning method for piecewise linear regression (Articolo in rivista) (Prodotto della ricerca)
• Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems (Curatela) (Prodotto della ricerca)
• The Challenge of Anticipation (Curatela) (Prodotto della ricerca)
• Querying by sketch geographical databases and ambiguities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Brain, Vision and Artificial Intelligence , Co-Editor (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Patterns reuse in the PASSI methodology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Usability and accessibility of eBay by screen reader (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Evaluating semantic similarity using GML in Geographic Information Systems (Articolo in rivista) (Prodotto della ricerca)
• Scheduling of Independent Dedicated Multiprocessor Tasks (Articolo in rivista) (Prodotto della ricerca)
• Efficient Query Evaluation over Compressed XML Data (Articolo in rivista) (Prodotto della ricerca)
• Mining Distributed Evolving Data Streams using Fractal GP Ensembles (Articolo in rivista) (Prodotto della ricerca)
• Applying enterprise models to design cooperative scientific environments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Advances in Brain, Vision, and Artificial Intelligence (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Persuasion artifices to promote wellbeing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Accessing Google Docs via Screen Reader (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fully kinetic Particle-in-Cell simulation of a hall thruster (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Classification, Based on ICF, for Modelling Human Computer Interaction (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Design for All in Ambient Intelligence Environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A preliminary cellular model for sand coastal erosion and experimental contrast with Porto Cesareo case (Articolo in rivista) (Prodotto della ricerca)
• Ontology-Based Querying of Composite Services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A pictorial human computer interaction to query geographical data (Articolo in rivista) (Prodotto della ricerca)
• A Model for a Component Based Grid-aware Scientific Library Service (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automatically structuring text for audio learning (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Towards a logic query language for data mining (Articolo in rivista) (Prodotto della ricerca)
• Enhancing Wikipedia editing with WAI-ARIA (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Resource selection and application execution in a Grid : A migration experience from GT2 to GT4 (Articolo in rivista) (Prodotto della ricerca)
• Direct Simulation Monte Carlo modeling of non equilibrium reacting flows. Issues for the inclusion into a ab initio molecular processes simulator (Contributo in atti di convegno) (Prodotto della ricerca)
• Electrocardiographic Imaging: Towards Automated Interpretation of Activation Maps (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Composing event constraints in state-based specification (Contributo in atti di convegno) (Prodotto della ricerca)
• 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Toward New Communication Paradigms to Enhance Cognitive and Learning Processes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The Future of Enterprise Systems in a Fully Networked Society (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Solving biclustering with a GRASP-like metaheuristic: Two case-studies on gene expression analysis. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• PANNA project - Plasma and nano for new age soft conservation. Development of a full-life protocol for the conservation of cultural heritage (Abstract/Comunicazione in rivista) (Prodotto della ricerca)
• Learning to grasp information with your own hands (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• On the use of satellite remote sensing data to characterize and map fuel types (Articolo in rivista) (Prodotto della ricerca)
• Extremal Optimization Applied to Task Scheduling of Distributed Java Programs (Articolo in rivista) (Prodotto della ricerca)
• A theoretically-sound accuracy/privacy-constrained framework for computing privacy preserving data cubes in OLAP environments (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Scheduling vs Communication in PELCR (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Anticipatory Behavior in Adaptive Learning Systems: From Psychological Theories to Artificial Cognitive Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The impact of different stiff ODE solvers in parallel simulation of Diesel combustion (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• XPQL: a pictorial language for querying geographic data (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A deterministic learning approach based on discrepancy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Collaborative Semantic Web Layer to Enhance Legacy Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• Spatio-temporal Information Systems in a Statistical Context (Articolo in rivista) (Prodotto della ricerca)
• Parsimony doesn't mean simplicity: genetic programming for inductive inference on noisy data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• GP Ensemble for Distributed Intrusion Detection Systems (Contributo in atti di convegno) (Prodotto della ricerca)
• Boosting technique for Combining Cellular GP Classifiers (Articolo in rivista) (Prodotto della ricerca)
• Planar trivalent network computation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Accessing e-Learning Systems via Screen Reader: An Example (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Ontology Approach for Classification of Abnormal White Matter in Patients with Multiple Sclerosis (Articolo in rivista) (Prodotto della ricerca)
• The Reintegration of Urban Lacunas at Castelvecchio Calvisio (AQ) After the 2009 Earthquake: the Use of GIS 3D as a Project Monitoring Tool (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Quasi-upward planarity (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Using Real Relaxations During Program Specialization (Articolo in rivista) (Prodotto della ricerca)
• The Evolution of Marketing Strategies: from Internet Marketing to M-Marketing (Articolo in rivista) (Prodotto della ricerca)
• Pre and post fire vegetation behavioral trends from satellite MODIS/NDVI time series in semi-natural areas (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Real-time Stopped Object Detection by Neural Dual Background Modeling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Deconvolution of 3D Fluorescence Microscopy Images using Graphics Processing Units (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Introducing CAPER, a Collaborative Platform for Open and Closed Information Acquisition, Processing and Linking (Contributo in atti di convegno) (Prodotto della ricerca)
• Processes Engineering & AOSE (Articolo in rivista) (Prodotto della ricerca)
• From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Enforcing interaction and cooperation in content-based web3.0 applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• KETO: a knowledge editing tool for encoding condition-action guidelines into clinical DSSs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A sequent calculus for reasoning in four-valued Description Logics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The terminological image retrieval model (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Modelling the retrieval of structured documents containing texts and images (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Image segmentation based on representative colors detection and region merging (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Correctness of ISA Hierarchies in Object-Oriented Database Schemas (Articolo in rivista) (Prodotto della ricerca)
• Distributed & Cooperative Application in PVM (Contributo in atti di convegno) (Prodotto della ricerca)
• The conceptual basis of WITH, a Collaborative Writer System of Clinical Trials (Contributo in atti di convegno) (Prodotto della ricerca)
• Fast motion estimation using spatio temporal filtering (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introducing Pattern Reuse in the Design of Multi-Agent Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Conquering Fine-Grained Blends of Design Patterns (Articolo in rivista) (Prodotto della ricerca)
• Integrated geological, geomorphological and geostatistical analysis to study macroseismic effects of 1980 Irpinian earthquake in urban areas (southern Italy) (Articolo in rivista) (Prodotto della ricerca)
• Multiple clustering solutions analysis through least-squares consensus algorithms (Articolo in rivista) (Prodotto della ricerca)
• Detection of Motion Disorders of Patients with Autism Spectrum Disorders (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• User Profile Modeling and Applications to Digital Libraries (Contributo in atti di convegno) (Prodotto della ricerca)
• Parallelization and Vectorization Effects on a Code Simulating a Vitreous Lattice Model with Constrained Dynamics (Articolo in rivista) (Prodotto della ricerca)
• High-Fidelity Models in Global Optimization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Integrating Joint Reviews with automotive SPICE assessments results (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Run-Time Management of Lisp Parallelism and the Hierarchical Task Graph Program Representation (Articolo in rivista) (Prodotto della ricerca)
• A methodology to annotate cultural heritage digital video (Articolo in rivista) (Prodotto della ricerca)
• Multivalued Background/Foreground Separation for Moving Object Detection (Articolo in rivista) (Prodotto della ricerca)
• Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• A Visual Object-Oriented Query Language for Geographic Information Systems (Articolo in rivista) (Prodotto della ricerca)
• SEAS: A Secure E-Voting Applet System (Articolo in rivista) (Prodotto della ricerca)
• Modelling surface flows for macroscopic phenomena by cellular automata: an application to debris flows. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A clustering technique for the identification of piecewise affine systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Serious Games in a European Policy Context (Contributo in atti di convegno) (Prodotto della ricerca)
• Interactive Out-of-Core Visualisation of Very Large Landscapes on Commodity Graphics Platform (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Specialization with Constrained Generalization for Software Model Checking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds (Articolo in rivista) (Prodotto della ricerca)
• Anisotropic Diffusion and Curve Evolution for Segmentation of Color Images in Cultural Heritage (Articolo in rivista) (Prodotto della ricerca)
• Dynamically Maintaining Shortest Path Trees Under Batches of Updates (Articolo in rivista) (Prodotto della ricerca)
• Exact and Approximate Algorithms for Movement Problems on (Special Classes of) Graphs (Articolo in rivista) (Prodotto della ricerca)
• Gait-based gender classification using persistent homology (Contributo in atti di convegno) (Prodotto della ricerca)
• Exploiting 3D part-based analysis, description and indexing to support medical applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Interaction between PVM Parameters and Communication Performances on ATM Networks (Articolo in rivista) (Prodotto della ricerca)
• HTGviz: A Graphic Tool for the Synthesis of Automatic and User-Driven Program Parallelization in the Compilation Process (Articolo in rivista) (Prodotto della ricerca)
• Bayesian models for the analysis of multisample time-course micro-array experiments (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Parallelization and Vectorization of a Vitreous Lattice Mode (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Spatial Statistical Models for the Evaluation of the Landscape (Contributo in atti di convegno) (Prodotto della ricerca)
• A Holonic Metamodel for Agent-Oriented Analysis and Design (Articolo in rivista) (Prodotto della ricerca)
• The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Optimality of pocket algorithm (Articolo in rivista) (Prodotto della ricerca)
• Is pocket algorithm optimal? (Articolo in rivista) (Prodotto della ricerca)
• Ontology Design Patterns for Semantic Web Content (Articolo in rivista) (Prodotto della ricerca)
• Ambient Assisted Living and Active Aging (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• A Perception-Based Interpretation of the Kernel-Based Object Tracking (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Polygon-Constrained Motion Planning Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Quantitative Approach for Inexact Enforcement of Security Policies (Contributo in atti di convegno) (Prodotto della ricerca)
• Narrative Serious Game Mechanics (NSGM) - Insights into the narrative-pedagogical mechanism (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Faster Computation of All the Best Swap Edges of a Shortest Paths Tree (Articolo in rivista) (Prodotto della ricerca)
• Forty Years of Text Indexing (Articolo in rivista) (Prodotto della ricerca)
• Quick and Easy Implementation of Approximate Similarity Search with Lucene (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Remote usability evaluation of mobile Web applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Pruning GP-based classifier ensembles by Bayesian networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Discovering High-Level Performance Models for Ticket Resolution Processes (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Mining predictive process models out of low-level multidimensional logs (Contributo in atti di convegno) (Prodotto della ricerca)
• Context-aware predictions on business processes: An ensemble-based solution (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards a design process for modeling MAS organizations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• GIS assessment and planning of conservation priorities of historical centers through quantitative methods of vulnerability analysis: An example from southern Italy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Geomorphological fragility and mass movements of the archaeological area of \"Torre di Satriano\" (Basilicata, Southern Italy) (Articolo in rivista) (Prodotto della ricerca)
• Comparative analysis of models of location and spatial interaction (Articolo in rivista) (Prodotto della ricerca)
• Virtual factory manager (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Body posture recognition as a discovery problem: A semantic-based framework (Contributo in atti di convegno) (Prodotto della ricerca)
• Experimental Evaluation of Dynamic Shortest Path Tree Algorithms on Homogeneous Batches (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Network creation games with traceroute-based strategies (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Algorithms for jumbled indexing, Jumbled Border and Jumbled Square on run-length encoded strings (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• DISPAS: An Agent-Based Tool for the Management of Fishing Effort (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Unveiling california history through serious games: Fort ross virtual warehouse (Contributo in atti di convegno) (Prodotto della ricerca)
• Real-Time Single Camera Hand Gesture Recognition System for Remote Deaf-Blind Communication (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• TripBuilder: A tool for recommending sightseeing tours (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A statistical approach for computing reachability of non-linear and stochastic dynamical systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Challenges in modelling and analyzing quantitative aspects of bike-sharing systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Stochastic approximation of global reachability probabilities of Markov population models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• SCS Connector - Quantifying and Visualising Semantic Paths Between Entity Pairs (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Services and applications in an Ambient Assisted Living (AAL) environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Structured knowledge: A basic aspect for efficient user applications (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
• Foundations of Information and Knowledge Systems. 8th International Symposium - Editorial (Curatela) (Prodotto della ricerca)
• Process fragment recognition in clinical documents (Contributo in atti di convegno) (Prodotto della ricerca)
• Viewing the Viewers: A Novel Challenge for Automated Crowd Analysis (Contributo in atti di convegno) (Prodotto della ricerca)
• A wavelet-based algorithm for multimodal medical image fusion (Contributo in atti di convegno) (Prodotto della ricerca)
• An artificial life model for predicting the tertiary structure of unknown proteins that emulates the folding process (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Natural interaction and wearable augmented reality for the enjoyment of the cultural heritage in outdoor conditions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Setting the course of emergency vehicle routing using Geolinked open data for the municipality of catania (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Twenty-Five Years of Formal Methods and Railways: What Next? (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Classification of potential multiple sclerosis lesions through automatic knowledge extraction by means of differential evolution (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards a Cognitive Design Pattern for Collective Decision-Making (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An Experiment in Automatic Design of Robot Swarms AutoMoDe-Vanilla, EvoStick, and Human Experts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The Geographical Information System for the Cultural Heritage and Landscape of Regione Toscana (Contributo in atti di convegno) (Prodotto della ricerca)
• VMUXE an approach to user experience evaluation for virtual museums (Contributo in atti di convegno) (Prodotto della ricerca)
• Behind Livia's villa: A case study for the devolution of large scale interactive \"in-site\" to \"on-line\" application (Contributo in atti di convegno) (Prodotto della ricerca)
• Process algebraic frameworks for the specification and ana lysis of cryptographic protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems (Articolo in rivista) (Prodotto della ricerca)
• Beyond responsive design: Context-dependent multimodal augmentation of web applications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Scalability in evolved neuro controllers that guide a swarm of robots in a navigation task (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• An italian multimodal corpus: The building process (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Multi-scale Simulation of T Helper Lymphocyte Differentiation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Attention training with an easy-to-use brain computer interface (Contributo in atti di convegno) (Prodotto della ricerca)
• cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics (Articolo in rivista) (Prodotto della ricerca)
• Fault-tolerant approximate shortest-path trees (Contributo in atti di convegno) (Prodotto della ricerca)
• A distributed cooperative architecture for robotic networks with application to ambient intelligence (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Visualizing the invisible: Digital restitution from an integrated archaeological, remote sensing, and geophysical research of a late Roman villa in Durres (Albania) (Articolo in rivista) (Prodotto della ricerca)
• Collaborative editing: Collaboration, awareness and accessibility issues for the blind (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On the collaborative development of application ontologies: A practical case study with a SME (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Designing a deadlock-free train scheduler: A model checking approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Mean-field approximation and quasi-equilibrium reduction of Markov population models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Measuring and improving the completeness of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A Lot of Slots - Outliers Confinement in Review-Based Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Collective intelligence for einclusion (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Universal access: A concept to be adapted to technological development and societal change (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The FOOD project: Interacting with distributed intelligence in the kitchen environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Implementation of applications in an ambient intelligence environment: A structured approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Some theoretical and experimental observations on permutation spaces and similarity search (Contributo in atti di convegno) (Prodotto della ricerca)
• Mapping the anthropic backfill of the historical center of Rome (Italy) by using Intrinsic Random Functions of Order k (IRF-k) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Multiagent socio-technical systems: An ontological approach (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A hybrid approach for the verification of integrity constraints in clinical practice guidelines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Multimodal Interaction in Gaming (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Best fuzzy partitions to build interpretable DSSs for classification in medicine (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• GLM-CDS: A standards-based verifiable guideline model for decision support in clinical applications (Contributo in atti di convegno) (Prodotto della ricerca)
• Automatic typing of DBpedia entities (Contributo in atti di convegno) (Prodotto della ricerca)
• FRED: From natural language text to RDF and OWL in one click (Contributo in atti di convegno) (Prodotto della ricerca)
• Characterising citations in scholarly documents: The CiTalO framework (Contributo in atti di convegno) (Prodotto della ricerca)
• Uncovering the semantics of Wikipedia pagelinks (Contributo in atti di convegno) (Prodotto della ricerca)
• A semantic web based core engine to efficiently perform sentiment analysis (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
• Analysis of miRNA Expression Profiles in Breast Cancer Using Biclustering (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
• A Multi-Agent Algorithm to Improve Content Management in CDN Networks (Contributo in atti di convegno) (Prodotto della ricerca)
• A cooperative evolutionary approach to learn communities in multilayer networks (Contributo in atti di convegno) (Prodotto della ricerca)
• A Semantic Approach to Support Cross Border e-Justice (Contributo in atti di convegno) (Prodotto della ricerca)
• Evolution of Marketing Strategies: from Internet Marketing to M-Marketing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Semantic search for earth observartion products using ontology services (Articolo in rivista) (Prodotto della ricerca)
• Integrating knowledge engineering for planning with Validation and Verification tools (Contributo in atti di convegno) (Prodotto della ricerca)
• A KNOWLEDGE-BASED APPROACH TO STATISTICAL QUERY-PROCESSING (Contributo in atti di convegno) (Prodotto della ricerca)
• Copy-number alterations for tumor progression inference (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Fostering social interaction of home-bound elderly people: The EasyReach system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Integrating planning and scheduling in the ISS fluid science laboratory domain (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Thalamo-Cortical Network and Seizure Dynamics: A Computational Study (Contributo in atti di convegno) (Prodotto della ricerca)
• Delegation Conflicts (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• From Task Delegation to Role Delegation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Plan Recognition: from Single-Agent to Multi-Agent plans (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Software as a Social Artifact: A Management and Evolution Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• New Trends in Image Analysis and Processing - ICIAP 2013 Workshops (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Average Common Submatrix: A New Image Distance Measure (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A new evolutionary-based clustering framework for image databases (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Energy characterization of data mining algorithms on mobile devices (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A norm-governed holonic multi-agent system metamodel (Articolo in rivista) (Prodotto della ricerca)
• Specifying and Verifying Properties of Space (Contributo in atti di convegno) (Prodotto della ricerca)
• Operational aspects of the evolved signalling behaviour in a group of cooperating and communicating robots (Contributo in atti di convegno) (Prodotto della ricerca)
• Evolved homogeneous neuro-controllers for robots with different sensory capabilities: Coordinated motion and cooperation (Contributo in atti di convegno) (Prodotto della ricerca)
• Supporting the design of AAL through a SW integration framework: The D4All project (Contributo in atti di convegno) (Prodotto della ricerca)
• Optimal scales in weighted networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Verifying Array Programs by Transforming Verification Conditions (Articolo in rivista) (Prodotto della ricerca)
• VeriMAP: A tool for verifying programs through transformations (Articolo in rivista) (Prodotto della ricerca)
• Towards modular verification of software product lines with mCRL2 (Contributo in atti di convegno) (Prodotto della ricerca)
• Epidemic diffusion of social updates in Dunbar-based DOSN (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• DiFac: Digital factory for human oriented production system (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• The role of trusted relationships on content spread in distributed online social networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014) (Contributo in atti di convegno) (Prodotto della ricerca)
• Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (Prodotto della ricerca)
• Steps towards enhancing the user experience in accessing digital libraries (Contributo in atti di convegno) (Prodotto della ricerca)
• Design, implementation and evaluation of a user generated content service for Europeana (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A scalable approach for efficiently generating structured dataset topic profiles (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Fundamental Approaches to Software Engineering (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• A requirements-led approach for specifying QoS-aware service choreographies: An experience report (Contributo in atti di convegno) (Prodotto della ricerca)
• Characteristics of sprawl in the Naples metropolitan area. Indications for controlling and monitoring urban transformations (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Middleware services for pervasive grids (Contributo in atti di convegno) (Prodotto della ricerca)
• Towards social networks services integration (Contributo in atti di convegno) (Prodotto della ricerca)
• From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs (Contributo in atti di convegno) (Prodotto della ricerca)
• A hybrid inference approach for building fuzzy DSSs based on clinical guidelines (Contributo in atti di convegno) (Prodotto della ricerca)
• Identifying functions of citations with CiTalO (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Evaluating citation functions in CiTO: Cognitive issues (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• On the validation of an interlocking system by model-checking (Contributo in atti di convegno) (Prodotto della ricerca)
• A Framework to Promote and Develop a Sustainable Tourism by Using Social Media (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Modeling the offloading of different types of mobile applications by using evolutionary algorithms (Contributo in atti di convegno) (Prodotto della ricerca)
• A Graph-Based Method for PET Image Segmentation in Radiotherapy Planning: A Pilot Study (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Tuning the collaboration level with autonomous agents: A principled theory (Articolo in rivista) (Prodotto della ricerca)
• Bringing together Humans and Artificial Agents in Cyber-Societies: A new field of Trust Research (Articolo in rivista) (Prodotto della ricerca)
• RCC and the theory of simple regions in R2 (Contributo in atti di convegno) (Prodotto della ricerca)
• The socio-cognitive dynamics of trust: does trust create trust? (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Levels of delegation and levels of adoption as the basis for adjustable autonomy (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Basic Mental Attitudes of a Collaborating Agent: Cognitive Primitives for MAS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Distributional correspondence indexing for cross-language text categorization (Contributo in atti di convegno) (Prodotto della ricerca)