Pubblicazioni
-
C. Sacerdoti Coen; S. Zacchiroli, Spurious Disambiguation Errors and How to Get Rid of Them, «MATHEMATICS IN COMPUTER SCIENCE», 2008, 2, pp. 355 - 378 [Articolo in rivista]
-
C. Sacerdoti Coen; E. Tassi, A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita, «JOURNAL OF FORMALIZED REASONING», 2008, 1, pp. 51 - 89 [Articolo in rivista]
-
G. Landi; E. Loli Piccolomini; F. Zama, Regularization Methods for Discrete Ill-posed Problems in Imaging, in: null, 2008, 49, pp. 413 - 420 (atti di: Fifth International Conference of Applied Mathematics and Computing, Plovdiv, Bulgaria, August 12-18, 2008) [Contributo in Atti di convegno]
-
D.Sottara; P. Mello; M. Proctor, Adding Uncertainty to a Rete-OO Inference Engine., in: RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, BERLIN, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5321, pp. 104 - 118 (atti di: INTERNATIONAL SYMPOSIUM, RULEML 2008, Orlando FL USA, 30-31 October 2008) [Contributo in Atti di convegno]
-
D. Sottara; P. Mello, Modelling Radial Basis Functions with Rational Logic Rules., in: Notes in Computer Science 5271 Springer 2008,, BERLIN, Springer Verlag, 2008, pp. 334 - 344 (atti di: HAIS08 Proceedings, Burgos, Spain, September 24-26, 2008.) [Contributo in Atti di convegno]
-
P. Mello; S. Storari; B. Valli, A Knowledge-Based System for Fashion Trend Forecasting, in: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Lecture Notes in Computer Science 5027, BERLIN, Springer Verlag, 2008, pp. 425 - 434 (atti di: Proceedings. Springer 2008, Wroclaw, Poland, June 18-20 2008) [Contributo in Atti di convegno]
-
R. Cappelli; M. Ferrara; D. Maltoni, On the Operational Quality of Fingerprint Scanners, «IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY», 2008, 3, pp. 192 - 202 [Articolo in rivista]
-
A. Alessandroni; R. Cappelli; M. Ferrara; D. Maltoni, Definition of Fingerprint Scanner Image Quality Specifications by Operational Quality, in: First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers, BERLIN, Springer, 2008, 5372/2008, pp. 29 - 36 (atti di: Biometrics and Identity Management, Denmark, May 7-9, 2008) [Contributo in Atti di convegno]
-
P. Bellavista; A. Corradi; C. Giannelli, Mobility-aware Middleware for Self-organizing Heterogeneous Networks with Multihop Multipath Connectivity, «IEEE WIRELESS COMMUNICATIONS», 2008, 15, No. 6, pp. 22 - 30 [Articolo in rivista]
-
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]