IL PORTALE per la RICERCA dei DIPARTIMENTI

F. Tombari, L. Di Stefano (2011) "3D Data Segmentation by Local Classification and Markov Random Fields"

A. Ricci, M. Viroli (2011) "A Calculus of Agents and Artifacts"

D. Pianini, S. Montagna, M. Viroli (2011) "A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems"

Kiziltan Z (2011) "A Classification-based Approach to Managing a Solver Portfolio for CSPs"

A. Bonfietti, M. Lombardi, M. Milano (2011) "A Constraint based approach to cyclic RCPSP"

M. Viroli (2011) "A Coordination Approach to Adaptive Pervasive Service Ecosystems"

M. Roccetti (2011) "A Fast and Robust Gesture Recognition System for Exhibit Gaming Scenarios"

C.Sacerdoti Coen (2011) "A Foundational View on Integration Problems"

D. Bresolin (2011) "A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems"

Peroni S. (2011) "A Novel Approach to Visualizing and Navigating Ontologies"

S. Salti, F. Tombari, L. Di Stefano (2011) "A Performance Evaluation of 3D Keypoint Detectors"

D. Pianini, M. Viroli, S. Montagna (2011) "A Simulation Framework for Pervasive Services Ecosystems"

A. Amoroso, M. Roccetti (2011) "A Simulative Evaluation of V2V Algorithms for Road Safety and In-Car Entertainment"

F. Tombari, S. Salti, L. Di Stefano (2011) "A combined texture-shape descriptor for enhanced 3D feature matching"

S. Mattoccia (2011) "A fast segmentation-driven algorithm for stereo correspondence"

S. Mattoccia (2011) "A novel heterogeneous framework for stereo matching"

Faldella E. (2011) "A portable infrastructure supporting global scheduling of embedded real-time applications on asymmetric MPSoCs"

M. Bravetti, G. Zavattaro (2011) "Adaptable Processes (Extended Abstract)"

G. D'Angelo, S. Ferretti, M. Marzolla (2011) "Adaptive Event Dissemination for Peer-to-Peer Multiplayer Online Games"

Di Felice M., Bononi L. (2011) "Adaptive Sensing Scheduling and Spectrum Selection in Cognitive Wireless Mesh Networks"

A. Ricci, A. Santi (2011) "Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development"

M. Milano (2011) "An Application of Fuzzy Logic to Strategic Environmental Assessment"

Maurizio Gabbrielli (2011) "An Efficient Management of Correlation Sets with Broadcast"

A. Bevilacqua (2011) "An Incremental Method for Mosaicing of Optical Microscope Imagery"

A. Ricci, A. Santi (2011) "An Interaction-Oriented Agent Framework for Open Environments"

D. Bresolin (2011) "An Optimal Decision Procedure for MPNL over the Integers"

P. Mello (2011) "An evidential fusion architecture for people surveillance in wide open areas"

Elena Giachino, Cosimo Laneve (2011) "Analysis of Deadlocks in Object Groups"

S. Mirri, P. Salomoni, C. Prandi (2011) "Augment browsing and standard profiling for enhancing Web accessibility"

Ambra Molesini, Enrico Denti, Andrea Omicini (2011) "BaSi: Multi-Agent Based Simulation for Medieval Battles"

A. Ricci (2011) "Back to the future: An interaction-oriented framework for social computing"

Salti S., Di Stefano L. (2011) "Background Subtraction by Non-parametric Probabilistic Clustering"

Foschini L. (2011) "CAS: A SIP-based Proxy for the Provisioning of HTTP Session Mobility"

T. Salmon Cinotti, L. Roffia (2011) "Case Study: Context-Aware Supervision of a Smart Maintenance Process"

M. Roccetti, A. Amoroso (2011) "Cognitive Cars: Constructing a Cognitive Playground for VANET Research Testbeds"

P. Torroni (2011) "Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)"

Kiziltan Z (2011) "Combining Set Variable Representations"

M. Roccetti (2011) "Combining Web Squared and Serious Games for Crossroad Accessibility"

I. Lanese (2011) "Controlling Reversibility in Higher-Order Pi"

Danilo Montesi (2011) "Conversation Retrieval from Twitter"

A. Ricci (2011) "CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services"

Di Felice M., Bononi L. (2011) "Cooperation and Communication in Cognitive Radio Networks based on TV Spectrum Experiments"

Di Felice M., Bononi L. (2011) "Cooperative Spectrum Management in Cognitive Vehicular Ad Hoc Networks"

Mirko Viroli (2011) "Coordinating spatially-situated pervasive service ecosystems"

M. Viroli (2011) "Core Operational Semantics of Proto"

Bresolin D. (2011) "Correct-by-construction code generation from hybrid automata specification"

A. Roli (2011) "Costs and benefits of behavioral specialization"

V. MANIEZZO (2011) "Customer Clustering and Sales Area Design"

Danilo Montesi (2011) "Datalog for the Web 2.0: The Case of Social Network Data ManagementDatalog Reloaded"

Peroni S., Vitali F. (2011) "Dealing with Markup Semantics"

Andrea Omicini, Mirko Viroli (2011) "Description Spaces with Fuzziness"

M. Viroli, S. Montagna (2011) "Description and composition of bio-inspired design patterns: the gradient case"

T. Salmon Cinotti (2011) "Design and test of a smart-space interaction device combining RFID and electro-magnetic interferometry"

A. Ricci, A. Santi (2011) "Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project"

P. Torroni (2011) "Diagnosing commitments: delegation revisited (extended abstract)"

M. Roccetti (2011) "Digital Fountains + P2P for Future IPTV Platforms: A Test-bed Evaluation"

Fariselli P. (2011) "Disulfide connectivity prediction with extreme learning machines"

M. Marzolla, S. Ferretti, G. D'Angelo (2011) "Dynamic Scalability for Next Generation Gaming Infrastructures"

Di Felice M., Bedogni L., Bononi L. (2011) "Dynamic backbone for fast information delivery in vehicular ad hoc networks: an evaluation study"

S. Mattoccia (2011) "EFFICIENT AGGREGATION VIA ITERATIVE BLOCK-BASED ADAPTING SUPPORT-WEIGHTS"

Bellavista P., Cardone G., Corradi A., Foschini L. (2011) "Effective collaborative monitoring in smart cities: Converging MANET and WSN for fast data collection"

Paolo Bellavista, Antonio Corradi, Andrea Reale (2011) "Effective epidemic dissemination of multimedia metadata in Peer-to-Peer overlay networks: The Metis architecture and prototype"

M. Roccetti, A. Amoroso (2011) "Efficient Vehicle-To-Pedestrian Exchange of Medical Data: An Empirical Model with Preliminary Results"

Andrea Giovanni Nuzzolese, Paolo Ciancarini (2011) "Encyclopedic Knowledge Patterns from Wikipedia Links."

L. Di Stefano (2011) "Energy-Aware Objects Abandon / Removal Detection"

P. Mello, C. Sartori (2011) "Enhancing a production rule engine with predictive models using PMML"

F. Tombari, L. Di Stefano (2011) "Evaluation of Stereo Algorithms for 3D Object Recognition"

S. Bragaglia, F. Chesani, P. Mello (2011) "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems"

A. Ricci, A. Santi (2011) "Exploiting Agent-Oriented Programming for Developing Future Internet Applications Based on the Web: The JaCa-Web Framework"

A. Santi, A. Ricci (2011) "Exploiting Intelligent Agent-based Technologies for Programming Smart Mobile Applications"

A. Ricci, A. Santi, A. Natali (2011) "Exploiting the Eclipse Ecosystem for Agent-Oriented Programming"

A. Santi (2011) "Exploiting the JaCaMo Framework for Realising an Adaptive Room Governance Application"

Lanese I., Zavattaro G. (2011) "Fault in the Future"

R. Cappelli, M. Ferrara, D. Maltoni, F. Turroni (2011) "Fingerprint Verification Competition at IJCB2011"

A. Asperti, C.Sacerdoti Coen (2011) "Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita."

M. Roccetti, A. Amoroso (2011) "From Theory to Reality: Testing an Accident Warning System on a Real Highway Scenario"

S. Bragaglia, F. Chesani, P. Mello (2011) "Fuzzy Conformance Checking of Observed Behaviour with Expectations"

S. Mirri, P. Salomoni (2011) "GAP4APE: a client-side system to enhance accessibility in the Web 2.0 era"

I. Bartolini, P. Ciaccia, M. Patella (2011) "Getting the Best from Uncertain Data"

Maurizio Gabbrielli, Ivan Lanese, Gianluigi Zavattaro (2011) "Graceful Interruption of Request-Response Service Interactions"

A. Gherardi, A. Bevilacqua (2011) "Illumination field estimation through background detection in optical microscopy"

M. Milano (2011) "Improving CP-based Local Branching via Sliced Neighborhood Search"

F. Tombari, L. Di Stefano (2011) "Improving Geometric Hashing by means of feature descriptors"

Corradi A., Foschini L. (2011) "Increasing Cloud Power Efficiency through Consolidation Techniques"

A. Santi, A. Ricci (2011) "JaCa-Android: An Agent-Based Platform for Building Smart Mobile Applications"

G. D'Angelo, S. Ferretti (2011) "LUNES: Agent-based Simulation of P2P Systems"

M. Di Felice, L. Bononi (2011) "Learning with the Bandit: A Cooperative Spectrum Selection Scheme for Cognitive Radio Networks"

F. Grandi (2011) "Light-weight Ontology Versioning with Multi-temporal RDF Schema"

U. Dal Lago (2011) "Linear Dependent Types and Relative Completeness"

S. Mattoccia (2011) "Linear stereo matching"

A. Roli (2011) "Local Search for Constrained Financial Portfolio Selection Problems with Short Sellings"

F Vitali (2011) "Long-term preservation of legal resources"

A. Bujari, M. Roccetti, A. Amoroso (2011) "MDTN: Mobile Delay/Disruption Tolerant Network"

S. Mirri, P. Salomoni (2011) "Making the Tree Fall Sound: Reporting Web Accessibility with the VaMoLà Monitor"

A. Palareti (2011) "Mappa interattiva di momenti e luoghi di storia del territorio dal Risorgimento ai giorni nostri, con linea del tempo e riferimenti cartografici"

V. MANIEZZO (2011) "Matheuristics for Traffic Counter Location"

L. Di Stefano, T. Salmon Cinotti (2011) "Merging RFID, visual and gesture recognition technologies to generate and manage smart environments"

M. Golfarelli, S. Rizzi (2011) "Mining Preferences from OLAP Query Logs for Proactive Personalization"

G. D'Angelo, S. Ferretti, V. Ghini, F. Panzieri (2011) "Mobile Computing in Digital Ecosystems: Design Issues and Challenges"

Natali A (2011) "Model-driven communications and collaborative software development"

P. Ciaccia (2011) "Modeling the Propagation of User Preferences"

M. Golfarelli, S. Rizzi (2011) "Modern Software Engineering Methodologies Meet Data Warehouse Design: 4WD"

S. Mirri, P. Salomoni (2011) "Monitoring accessibility: large scale evaluations at a geo political level"

A. Bevilacqua (2011) "Mosaicing of Optical Microscope Imagery Based on Visual Information"

S. Mattoccia (2011) "Near real-time Fast Bilateral Stereo on the GPU"

E. Faldella (2011) "Network Evasion via DNS Covert Channels"

M. Lombardi, M. Milano (2011) "Neuron Constraints to Model Complex Real-World Problems"

P. Bellavista, A. Corradi (2011) "Off-The-Shelf Ready To Go middleware for self-reconfiguring and self-optimizing ubiquitous computing applications"

M. Roccetti (2011) "On the Design and Player Satisfaction Evaluation of an Immersive Gestural Game: the Case of Tortellino X-Perience at the Shanghai World Expo"

G. Zavattaro (2011) "On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks"

A. Roli (2011) "On the design of Boolean network robots"

A. Petrelli, L. Di Stefano (2011) "On the repeatability of the local reference frame for partial shape matching"

F. Tombari, L. Di Stefano (2011) "Online Learning for automatic segmentation of 3D data"

D. Bresolin (2011) "Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders"

Davide Sangiorgi (2011) "Ownership Types for the Join Calculus"

G. D'Angelo (2011) "Parallel and Distributed Simulation from Many Cores to the Public Cloud"

G. Zavattaro (2011) "Parameterized Verification of Safety Properties in Ad Hoc Network Protocols"

A. Bujari (2011) "Performance Evaluation of a File Sharing DTN Protocol with Realistic Mobility"

P. Bellavista (2011) "Pervasive Computing at Scale: Challenges and Research Directions"

M. Golfarelli, S. Rizzi (2011) "Preference-Based Datacube Analysis with myOLAP"

P. Mello (2011) "Process Mining Manifesto"

Ambra Molesini, Andrea Omicini (2011) "Processes Engineering and AOSE"

A. RICCI (2011) "Programming Autonomous Systems: An Agent-Oriented Perspective"

M. Golfarelli, S. Rizzi (2011) "QBX: A CASE Tool for Data Mart Design"

Corradi A., Foschini L. (2011) "QoC-based Context Data Caching for Disaster Area Scenarios"

P. Torroni (2011) "Reasoning about exceptions to contracts"

M. Roccetti (2011) "Recognizing Intuitive Pre-defined Gestures for Cultural Specific Interactions: An Image-based Approach"

Cardone G., Corradi A., Foschini L. (2011) "Reliable Communication for Mobile MANET-WSN Scenarios"

Corradi A., Foschini L. (2011) "Resource-Awareness in Context Data Distribution for Mobile Environments"

Cosimo Laneve (2011) "Reversible structures"

A. Bujari (2011) "Road Crossing Recognition through Smartphone's Accelerometer"

S. Mattoccia (2011) "Scene Segmentation Assisted by Stereo Vision"

F. Grandi (2011) "Schema versioning in tauXSchema-based multitemporal XML repositories"

M. Prandini (2011) "Security Considerations about the Adoption of Web 2.0 Technologies in Sensitive e-Government Processes"

S. Montagna, M. Viroli, D. Pianini (2011) "Self-organising Pervasive Ecosystems: A Crowd Evacuation Example"

M. Roccetti (2011) "Semantic Zoomable Interface for Multimedia Content"

M. Marzolla, O. Babaoglu, F. Panzieri (2011) "Server Consolidation in Clouds Through Gossiping"

P. Torroni (2011) "Social commitment delegation and monitoring"

M. Gabbrielli (2011) "Solving XCSP problems by using Gecode"

A. Roli (2011) "Stochastic Local Search to Automatically Design Boolean Networks with Maximally Distant Attractors"

M. Di Felice (2011) "TP-UrbanX - A New Transport Protocol for Cognitive Multi-Radio Mesh Networks"

M. Prandini (2011) "Taking the Best of Both Worlds: A Comparison and Integration of the U.S. and EU Approaches to E-Voting Systems Evaluation"

A. Asperti, C. Sacerdoti Coen (2011) "The Matita Interactive Theorem Prover"

I. Bartolini, M. Patella (2011) "The Windsurf Library for the Efficient Retrieval of Multimedia Hierarchical Data"

D. Bresolin (2011) "The dark side of Interval Temporal Logic: sharpening the undecidability border"

D. Bresolin (2011) "The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT"

Di Felice M., Bononi L. (2011) "Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments"

Paolo Ciancarini (2011) "User-sensitive Explanations under a Knowledge Pattern Lens"

A. Amoroso, M. Roccetti (2011) "Video Games at the Library: A Historical Perspective"

A. Bevilacqua, A. Gherardi (2011) "Vignetting correction by exploiting an optical microscopy image sequence"

D. Bresolin (2011) "What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL"

A. Roli (2011) "A detailed analysis of the population-based ant colony optimization algorithm for the TSP and the QAP"

Fariselli Piero (2011) "ISPRED2: A machine-learning method to predict protein interaction sites"

M. Lombardi, A. Bonfietti, M. Milano (2011) "MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor"

A. Roli (2011) "Robustness, evolvability and complexity in Boolean network robots"

Andrea Omicini, Sara Montagna, Mirko Viroli (2011) "Self-aware Pervasive Service Ecosystems"

A. Bevilacqua, A. Gherardi (2011) "Simulation of BepiColombo's Mercury Rotation Experiment"

G. D'Angelo (2011) "Tutorial II: Parallel and Distributed Simulation from Many Cores to the Public Cloud"

A. Bujari (2011) "Nudge Nudge: A proximity based social application"

M. Viroli (2011) "Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems"