Pubblicazioni

M. Ferrara; A. Franco; D. Maltoni, Evaluating systems assessing face-image compliance with ICAO/ISO standards, in: First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers, BERLIN, Springer, 2008, 5372/2008, pp. 191 - 199 (atti di: Biometrics and Identity Management, Denmark, May 7-9, 2008) [Contributo in Atti di convegno]

J. Galbally; R. Cappelli; A. Lumini; D. Maltoni; J. Fierrez-Aguilar, Fake Fingertip Generation from a Minutiae Template, in: Proceedings of the 19th International Conference on Pattern Recognition, LOS ALAMITOS, CALIFORNIA, IEEE, 2008, pp. 1 - 4 (atti di: 19th International Conference on Pattern Recognition, Tampa, FL, USA, December 7-11, 2008) [Contributo in Atti di convegno]

F. Chesani; P. Mello; M. Montali; P. Torroni, Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting, in: AA.VV., SWAP 2008: Semantic Web Applications and Perspectives, AACHEN, Sun SITE Central Europe, 2008, 426, pp. 23-1 - 23-10 (atti di: Semantic Web Applications and Perspectives, Roma, December 15-17, 2008.) [Contributo in Atti di convegno]

M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Verification from declarative specifications using Logic Programming, in: AA.VV., Proceedings of the 24th International Conference on Logic Programming (ICLP), BERLIN, HEIDELBERG, Springer-Verlag, 2008, 5366, pp. 440 - 454 (atti di: International Conference on Logic Programming, Udine, Italy, December 9-13, 2008) [Contributo in Atti di convegno]

Giulio Piancastelli; Andrea Omicini, A Multi-Theory Logic Language for the World Wide Web, in: Logic Programming. 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008. Proceedings, HEIDELBERG, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5366, pp. 769 - 773 (atti di: 24th International Conference on Logic Programming (ICLP 2008), Udine, Italy, 9-13 Dicembre 2008) [Contributo in Atti di convegno]

F. Tombari; S. Mattoccia; L. Di Stefano; E. Addimanda, Near real-time stereo based on effective cost aggregation, in: MASAKAZU EJIRI, RANGACHAR KASTURI AND GABRIELLA SANNITI DI BAJA, Proceedings of the 19th International Conference on Pattern Recognition, 2008 (ICPR 2008), PISCATAWAY, NJ, IEEE Computer Society, 2008, 1, pp. 1 - 4 (atti di: 19th International Conference on Pattern Recognition, 2008 (ICPR 2008), Tampa, Florida (USA), 8-11 December 2008) [Contributo in Atti di convegno]

L. Luccarini; P. Mello; D. Sottara; A. Spagni, Artificial Intelligence based rules for event recognition and control applied to SBR systems, in: Conference Proceedings of the 4th Sequencing Batch Reactor Conference, ROMA, s.n, 2008, pp. 155 - 158 (atti di: SBR4 - 4th Sequencing Batch Reactor Conference, Rome, 7-10 April, 2008) [Contributo in Atti di convegno]

Enrico Oliva; Mirko Viroli; Andrea Omicini, Arguments and Artifacts for Dispute Resolution, in: 9th Workshop “From Objects to Agents” (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, PALERMO, Seneca Edizioni, 2008, pp. 46 - 53 (atti di: 9º Workshop "Dagli Oggetti agli Agenti" - WOA 2008, Palermo, Italy, 17-18 novembre 2008) [Contributo in Atti di convegno]

Ambra Molesini; Elena Nardini; Enrico Denti; Andrea Omicini, Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA, in: 9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, PALERMO, Seneca Edizioni, 2008, pp. 108 - 114 (atti di: 9º Workshop "Dagli Oggetti agli Agenti" - WOA 2008, Palermo, Italy, 17-18 novembre 2008) [Contributo in Atti di convegno]

A. Montresor; M. Jelasity; O. Babaoglu, Decentralized Ranking in Large-Scale Overlay Networks, in: Proceedings of First IEEE International Workshop on Self Management for Grids, P2P and User Communities, LOS ALAMITOS, IEEE Computer Society Press, 2008, pp. 208 - 213 (atti di: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Isola di San Servolo, Venice, Italy, October 2008) [Contributo in Atti di convegno]

L. Di Stefano; F. Tombari; A. Lanza; S. Mattoccia; S. Monti, Graffiti Detection Using Two Views, in: Proceedings of the Eighth International Workshop on Visual Surveillance (VS2008), s.l, s.n, 2008, pp. 1 - 8 (atti di: European Computer Vision Conference (ECCV 2008) - Eighth International Workshop on Visual Surveillance (VS2008), Marsiglia, 17 Ottobre 2008) [Contributo in Atti di convegno]

M. Magno; F. Tombari; D. Brunelli; L. Di Stefano; L. Benini, Multi-modal Video Surveillance Aided by Pyroelectric Infrared Sensors, in: Proceedings of the Workshop on Multi-camera and Multi-modal Sensor Fusion Algorithms and Applications (M2SFA2 2008), s.l, s.n, 2008, pp. 1 - 12 (atti di: European Computer Vision Conference (ECCV 2008) - Workshop on Multi-camera and Multi-modal Sensor Fusion Algorithms and Applications (M2SFA2 2008), Marsiglia, 18 Ottobre 2008) [Contributo in Atti di convegno]

S. Salti; O. Schreer; L. Di Stefano, Real-time 3D Arm Pose Estimation from Monocular Video for Enhanced HCI, in: MM'08 - Proceedings of the 2008 ACM International Conference on Multimedia, with co-located Symposiums & Workshops, NEW YORK, Association for Computing Machinery, Inc. (ACM)., 2008, pp. 1 - 8 (atti di: 1st ACM International Workshop on Vision Networks for Behaviour Analysis, Vancouver, Canada, 31 Ottobre 2008) [Contributo in Atti di convegno]

F. Montesi; C. Guidi; I. Lanese; G. Zavattaro, Dynamic fault handling mechanisms for service-oriented applications, in: Proceedings of the 6th IEEE European Conference on Web Services, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 225 - 234 (atti di: 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 Novembre 2008) [Contributo in Atti di convegno]

M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone, Replicating Web Services for Scalability, in: Proc. of Symposium on Trustworthy Global Computing (TGC 2007), BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 4912, pp. 204 - 221 (atti di: Symposium on Trustworthy Global Computing 2007, Sophia-Antipolis, France, November 5-6, 2007) [Contributo in Atti di convegno]

M. Bravetti, Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems, in: null, 2008, 194(2), pp. 31 - 57 (atti di: 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007), Lisbon, Portugal, 3 September, 2007) [Contributo in Atti di convegno]

M. Bravetti, Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time., in: null, 2008, 209, pp. 83 - 106 (atti di: LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), Paris (France), November 2006) [Contributo in Atti di convegno]

F. Callegati; A. Campi, Extension of Resource Management in SIP, in: GridNets 2008, GENT, Springer ICST, 2008, pp. 1 - 8 (atti di: The Second International Conference on Networks for Grid Applications, Beijing, China, October 8-10, 2008) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Foundational Aspects of Contract Compliance and Choreography Conformance, in: Microsoft Research Technical Report, CAMBRIDGE, Microsoft, 2008, MSR-TR-2008-61, pp. 11 - 14 (atti di: Workshop on The Rise and Rise of the Declarative Datacentre, Cambridge (UK), May 2008) [Contributo in Atti di convegno]

C. Gennaro; F. Mandreoli; R. Martoglia; M. Mordacchini; S. Orlando; W. Penzo; S. Sassatelli; P. Tiberio, Toward an Effective and Efficient Query Processing in the NeP4B Project, in: itAIS 2008 - V Conference of the Italian Chapter of AIS - Challenges and Changes, s.l, s.n, 2008(atti di: itAIS 2008 - V Conference of the Italian Chapter of AIS - Challenges and Changes, Paris, France, Dec 13-14, 2008) [Contributo in Atti di convegno]