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. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and verifying contracts with abductive logic programming, «INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE», 2008, 12(4), pp. 9 - 38 [Articolo in rivista]

  • 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]

  • M. Dastani; A. El Fallah Seghrouchni; J. Leite; P. Torroni (a cura di): AA.VV., Languages, Methodologies and Development Tools for Multi-Agent Systems, BERLIN, HEIDELBERG, Springer-Verlag, 2008, pp. 289 (Lecture Notes in Artificial Intelligence). [Curatela]

  • M. Bravetti; G. Zavattaro, A Foundational Theory of Contracts for Multi-party Service Composition, «FUNDAMENTA INFORMATICAE», 2008, 89(4), pp. 451 - 478 [Articolo in rivista]

  • F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi, Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic., in: Computer-based medical guidelines and protocols: A primer and current trends, AMSTERDAM, IOS Press, 2008, pp. 183 - 192 (Studies in Health Technology and Informatics) [Capitolo/Saggio in libro]

  • I. Bartolini; P. Ciaccia; M. Patella, Efficient Sort-Based Skyline Evaluation, «ACM TRANSACTIONS ON DATABASE SYSTEMS», 2008, 33, pp. 31-1 - 31-49 [Articolo in rivista]

  • G. Zervas; Y. Qin; R. Nejabati; D. Simeonidou; F. Callegati; A. Campi; W. Cerroni, SIP-enabled Optical Burst Switching architectures and protocols for application-aware optical networks, «COMPUTER NETWORKS», 2008, 52, pp. 2065 - 2076 [Articolo in rivista]

  • 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]