Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2004 Elimina filtro
Contributo in atti di convegno Elimina filtro

193 pubblicazioni

  • B. Hnich; Z. Kiziltan; T. Walsh, Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums, in: F. BACCHUS, P. VAN BEEK, Proc. of the 8th Int'l Symposium on Artificial Intelligence and Mathematics (AMAI'04), s.l, s.n, 2004, pp. 93 - 100 [Contributo in Atti di convegno]

  • A. Bevilacqua; L. Di Stefano; A. Lanza, High Quality-Speed Dilemma: a Comparison between Segmentation Methods for Traffic Monitoring Applications, in: AURELIO CAMPILHO, MOHAMED KAMEL, Image Analysis and Recognition, BERLIN, Springer, 2004, 3-540-23240-0, pp. 481 - 488 (atti di: IAPR International Conference on Image Analysis and Recognition (ICIAR 2004), Porto, Portugal, September 29-October 1, 2004) [Contributo in Atti di convegno]

  • F. Grandi, SVMgr: A Tool for the Management of Schema Versioning, in: P. ATZENI, W. CHU, H. LU, S. ZHOU, T.W. LING, Conceptual Modeling – ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings (LNCS 3288), HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3288, pp. 860 - 861 (atti di: International Conference on Conceptual Modeling (ER 2004), Shanghai, Cina, Novembre 2004) [Contributo in Atti di convegno]

  • A. Bevilacqua; L. Di Stefano; A. Lanza, An Efficient Change Detection Algorithm Based on a Statistical Non-Parametric Camera Noise Model, in: MENG-HWA, A. KOT, Proceedings of the IEEE International Conference on Image Processing (ICIP 2004), s.l, s.n, 2004, pp. 2347 - 2350 (atti di: The IEEE International Conference on Image Processing (ICIP 2004), Singapore, 2004) [Contributo in Atti di convegno]

  • F. Grandi; F. Mandreoli; M.R. Scalas; P. Tiberio, Management of the Citizen's Digital Identity and Access to Multi-version Norm Texts on the Semantic Web, in: V. MILUTINOVIC, IPSI-2004 Pescara, Proceedings of the International Symposium on Challenges in the Internet and Interdisciplinary, Pescara, Italy July 28 - Aug 2, 2004, BELGRADO, IPSI, 2004 [Contributo in Atti di convegno]

  • F. Callegati, e-Photon ONE: Key Issues for Core Photonic Network Research, in: Broadband Europe 2004, s.l, s.n, 2004(atti di: Broadband Europe, Brugge, Belgium, 8-10 Dicembre 2004) [Contributo in Atti di convegno]

  • L.Padovani; C.Sacerdoti Coen; S.Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in: GABOR KARSAI, EELCO VISSER, Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, s.l, Springer, 2004, 3286, pp. 469 - 487 [Contributo in Atti di convegno]

  • SACERDOTI COEN, Claudio, Mathematical Libraries as Proof Assistant Environments, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 332 - 346 [Contributo in Atti di convegno]

  • SACERDOTI COEN, Claudio; Zacchiroli, Stefano, Efficient Ambiguous Parsing of Mathematical Formulae, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 347 - 362 [Contributo in Atti di convegno]

  • Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio, SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints, in: STUART I. FELDMAN, MIKE URETSKY, MARC NAJORK, CRAIG E. WILLS, Proceedings of the 13th International World Wide Web Conference (WWW2004), NEW YORK, ACM Press, 2004, pp. 164 - 174 [Contributo in Atti di convegno]

  • BABAOGLU O.; MONTRESOR A.; JELASITY M., A Modular Paradigm for Building Self-Organizing Peer-to-Peer Applications, in: Engineering Self-Organising Systems, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2977, pp. 265 - 282 (atti di: ESOA: International Workshop on Engineering Self-Organising Applications, Melbourne, Australia, Luglio 2003) [Contributo in Atti di convegno]

  • M.Viroli; A.Ricci, Instructions-Based Semantics of Agent Mediated Interaction, in: JENNINGS NICHOLAS R., SIERRA CARLES, SONENBERG LIZ, TAMBE MILIND, AAMAS 2004. 3rd international Joint Conference on Autonomous Agents and Multiagent Systems, NEW YORK, ACM, 2004, 1, pp. 102 - 110 (atti di: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York City, USA, July 19-23 2004) [Contributo in Atti di convegno]

  • Stefano Morini; Alessandro Ricci; Mirko Viroli, Integrating a MAS Coordination Infrastructure with Web Services, in: ZAKCRIA MAAMAR, CAVEDON LAWRENCE, DAVID MARTIN, BOUALEM BENATALLAH, KATIA SYCARA, AND TIM FININ, Workshop on Web Services and Agent-based Engineering (WSABE), NEW YORK, s.n, 2004(atti di: 3nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'2004), New York City, USA, July 19-23 2004) [Contributo in Atti di convegno]

  • M. Gaspari; D. Guidi; A. Petrucci; L. Picci, Johanna: A Knowledge Centered Infrastructure for Teleorganizations, in: eAdoption and the Knowledge Economy Issues, Applications, Case Studies, AMSTERDAM, IOS Press, 2004, 2, pp. 1069 - 1076 (atti di: E-Challenges 2004, Vienna, 27 - 29 October 2004) [Contributo in Atti di convegno]

  • M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: null, 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contributo in Atti di convegno]

  • M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2949, pp. 55 - 70 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contributo in Atti di convegno]

  • Denti E.; Ricci A.; Rubino R., Integrating and Orchestrating Services upon an Agent Coordination Infrastructure, in: Engineering Societies in the Agents World IV, Berlin Heidelberg, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3071, pp. 228 - 245 (atti di: 4th International Workshop (ESAW 2003), London, UK, October 29-21, 2003) [Contributo in Atti di convegno]

  • C. Gebruers; B. Hnich; A. Guerri; M.Milano, Making Choices using Structure at the Instance Level within a Case Based Reasoning Framework, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3011, pp. 380 - 386 (atti di: Int.l Conference on the Integration of AO and OR techniques in Constraint Programming CPAIOR, Nizza Francia, Aprile 2004) [Contributo in Atti di convegno]

  • M. Prandini, A flexible approach to configuration of linux-based firewalls, in: Proceedings of the Third IASTED International Conference on Communications, Internet and Information Technology, CALGARY, ACTA Press, 2004, pp. 176 - 181 (atti di: Third IASTED International Conference on Communications, Internet and Information Technology, St. Thomas, US Virgin Islands, 22-24 novembre 2004) [Contributo in Atti di convegno]

  • E., Faldella; M., Prandini, Efficient authentication and verification of certificate status within public-key infrastructures, in: Proceedings of the Third IASTED International Conference on Communications, Internet and Information Technology, CALGARY, ACTA Press, 2004, pp. 182 - 188 (atti di: Third IASTED International Conference on Communications, Internet and Information Technology, St. Thomas, US Virgin Islands, 22-24 novembre 2004) [Contributo in Atti di convegno]