Pubblicazioni
-
M. Roffilli; E. Bartolini; V. Maniezzo, UNA TEORIA PSICOGENETICA PER L’APPRENDIMENTO AUTOMATICO DI REGOLE PER IL DATAMINING, in: Proc. AICA 2006, CESENA, AICA, 2006, pp. 1 - 10 [Capitolo/Saggio in libro]
-
A. Lodi; M. Milano; L.M. Rousseau, Discrepancy-Based Additive Bounding Procedures, «INFORMS JOURNAL ON COMPUTING», 2006, 18, pp. 480 - 493 [Articolo in rivista]
-
Molesini Ambra; Omicini Andrea; Ricci Alessandro; Denti Enrico, Zooming Multi-Agent Systems, in: 6th International Workshop "Agent-Oriented Software Engineering" (AOSE 2005), 2006, pp. 193 - 204 (atti di: 6th International Workshop on "Agent-Oriented Software Engineering" (AOSE-2005), Utrecht (NL), 25-26 luglio 2005) [Contributo in Atti di convegno]
-
Rubino Rossella; Omicini Andrea; Denti Enrico, Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts, in: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, UTRECHT, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3913, pp. 127 - 141 (atti di: 1st International Workshop "Agents, Norms and Institutions for Regulated Multi-Agent Systems" (ANI@REM 2005), Utrecht, The Netherlands, 25 luglio 2005) [Contributo in Atti di convegno]
-
R. Baldacci; V. Maniezzo, Exact methods based on node routing formulations for arc routing problems, «NETWORKS», 2006, 47, pp. 52 - 60 [Articolo in rivista]
-
E.Lamma; P.Mello; A.Nanetti; F.Riguzzi; S.Storari; G.Valastro, Artificial Intelligence Techniques for Monitoring Dangerous Infections, «IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE», 2006, 10, n. 1, Gennaio, pp. 143 - 155 [Articolo in rivista]
-
N. Dragoni; M. Gaspari; D. Guidi, An Infrastructure to Support Cooperation of Knowledge-Level Agents on the Semantic Grid, «APPLIED INTELLIGENCE», 2006, 25, pp. 159 - 180 [Articolo in rivista]
-
Despotovic Z.; Joseph S.; Sartori C., Fourth International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2005), BERLIN, Springer-Verlag, 2006, pp. 230 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, LNCS 4118). [Curatela]
-
I. Bartolini, Context-based Image Similarity Queries, in: Adaptive Multimedia Retrieval: User, Context, and Feedback, HEIDELBERG, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3877, pp. 222 - 235 (atti di: 3rd International Workshop on Adaptive Multimedia Retrieval (AMR 2005), Glasgow, UK, July 28-29, 2005) [Contributo in Atti di convegno]
-
M. Gabbrielli; S. Martini, Linguaggi di programmazione, MILANO, McGraw-Hill Italia, 2006, pp. 458 . [Monografia/Trattato scientifico in forma di libro]
-
F. Callegati; W. Cerroni; C. Raffaelli; M. Savi, QoS differentiation in Optical Packet-Switched Networks, «COMPUTER COMMUNICATIONS», 2006, 29, pp. 855 - 864 [Articolo in rivista]
-
A. Amoroso; K. Marzullo, Multiple Job Scheduling in a Connection-Limited Data Parallel System, «IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS», 2006, 17, pp. 125 - 134 [Articolo in rivista]
-
A. Amoroso; G. Casciola, Fast Bivariate Function Rendering for Small Devices, «INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS», 2006, 28, pp. 321 - 328 [Articolo in rivista]
-
A. Amoroso; M. Masotti, Lightweight Steganography on Smartphones, in: Proceedings of 2006 3rd IEEE Consumer Communications and Networking Conference, PISCATAWAY (NJ), IEEE, 2006(atti di: 2006 3rd IEEE Consumer Communications and Networking Conference, Las Vegas (NV, USA), January 8-10, 2006) [Contributo in Atti di convegno]
-
T. SALMON CINOTTI; L. DI STEFANO; G. RAFFA; L. ROFFIA; M. PETTINARI; M. MOLA, Dead reckoning supports stereo vision in pedestrians tracking, in: PERCOM 2006 - Fourth IEEE International Conference on Pervasive Computing and Communications - WORKSHOPS, s.l, The Printing House, 2006, pp. 628 - 631 (atti di: Fourth Annual IEEE International Conference on Pervasive Computing and Communications (PERCOM2006), Pisa - Italy, 13-17 Marzo 2006) [Contributo in Atti di convegno]
-
SACERDOTI COEN, Claudio, A semi-reflexive tactic for (sub-)equational reasoning, in: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, s.l, Springer, 2006, 3839, pp. 99 - 115 (atti di: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]
-
Sacerdoti Coen, C., Explanation in Natural language of lambda-bar-mu-mu-tilde-terms, in: Lecture Notes in Computer Science-Lecture Notes in Artificial IntelligenceMathematical Knowledge Management4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 234 - 249 (atti di: Mathematical Knowledge Management4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]
-
Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio, An Interactive Algebra Course with Formalised Proofs and Definitions, in: Lecture Notes in Computer Science-Lecture Notes in Artificial Intelligence Mathematical Knowledge Management 4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 315 - 329 (atti di: Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]
-
C. E. Palazzi; S. Ferretti; M. Roccetti; G. Pau; M. Gerla, Buscar el Levante por el Poniente: In Search of Fairness Through Interactivity in Massively Multiplayer Online Games, in: Proceedings of 2006 3rd IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2006, pp. 1183 - 1187 (atti di: 2006 3rd IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 8-10 gennaio 2006) [Contributo in Atti di convegno]
-
S. Ferretti; M. Roccetti; P. Salomoni, Game Event Synchronization, in: Encyclopedia of Multimedia, NEW YORK, Springer, 2006, pp. 256 - 256 [Voce in dizionario o enciclopedia]