Pubblicazioni

  • U. Dal Lago; S. Martini, Derivational Complexity is an Invariant Cost Model, in: M. VAN EEKELEN; O. SHKARAVSKA, Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, BERLIN HEIDELBERG, Springer, 2010, LNCS 6324, pp. 88 - 101 (atti di: Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, Eindhoven, November 6, 2009) [Contributo in Atti di convegno]

  • U. Dal Lago; S. Martini; M. Zorzi, General Ramified Recurrence is Sound for Polynomial Time, in: null, 2010, 23, pp. 47 - 62 (atti di: Developments in Implicit Computational complExity , DICE 2010, Paphos, Cyprus, , 27-28th March 2010) [Contributo in Atti di convegno]

  • P. Bellavista; A. Corradi; C. Giannelli, The Real Ad-hoc Multi-hop Peer-to-peer (RAMP) Middleware: an Easy-to-use Support for Spontaneous Networking, in: Proceedings of the 2010 IEEE International Symposium on Computers and Communications, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2010, pp. 463 - 470 (atti di: IEEE International Symposium on Computers and Communications, Riccione, Italy, 22-25 Giugno 2010) [Contributo in Atti di convegno]

  • A. D'Elia; L. Roffia; G. Zamagni; F. Vergari; A. Toninelli; P. Bellavista; S. Mattarozzi, Smart Applications for the Maintenance of Large Buildings: How to Achieve Ontology-based Interoperability at the Information Level, in: Proceedings of the International Workshop on Semantic Interoperability for Smart Spaces (SISS), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2010, pp. 31 - 36 (atti di: International Workshop on Semantic Interoperability for Smart Spaces (SISS), all'interno di IEEE International Symposium on Computers and Communications (ISCC), Riccione, Italia, 22 Giugno 2010) [Contributo in Atti di convegno]

  • A. Bonfietti; L. Benini; M. Lombardi; M. Milano, An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms, in: Proceedings of the International Conference on Design, Automation and Test in Europe, s.l, Kathy Preas, KP, 2010, pp. 897 - 902 (atti di: Design, Automation and Test in Europe, Dresden, Germany, March 2010) [Contributo in Atti di convegno]

  • I. Bartolini; M. Patella; C. Romani, SHIATSU: Semantic-Based Hierarchical Automatic Tagging of Videos by Segmentation using Cuts, in: Proceedings of the 3rd International ACM MM Workshop on Automated Information Extraction in Media Production (AIEMPro10), NEW YORK, ACM press, 2010, pp. 57 - 62 (atti di: 3rd International ACM MM Workshop on Automated Information Extraction in Media Production (AIEMPro10), Firenze, Italia, September 29) [Contributo in Atti di convegno]

  • A. Bevilacqua; C. Bianchi; L. Carozza; A. Gherardi; N. Melega; D. Modenini; P. Tortora, STANDALONE THREE-AXIS ATTITUDE DETERMINATION FROM EARTH IMAGES, in: Advances in the Astronautical Sciences Series, SAN DIEGO, Univelt, Inc., 2010, pp. 1 - 20 (atti di: 20th Space Flight Mechanics Meetings, San Diego, CA, 14-17 February 2010) [Contributo in Atti di convegno]

  • S. Bragaglia; F. Chesani; A. Ciampolini; P.Mello; M. Montali; D. Sottara, An hybrid architecture integrationg forward rules with fuzzy ontological reasoning, in: Hybrid Artificial Intelligence Systems, BERLIN, Springer, 2010, pp. 438 - 445 (atti di: HAIS 2010, San Sebastian, June 23-25, 2010) [Contributo in Atti di convegno]

  • A. Carmè; J.-N. Mazón; S. Rizzi, A model-driven heuristic approach for detecting multidimensional facts in relational data sources, in: Proceedings 12th International Conference on Data Warehousing and Knowledge Discovery, BERLIN, Springer-Verlag, 2010, pp. 13 - 24 (atti di: 12th International Conference on Data Warehousing and Knowledge Discovery, Bilbao, Spain, 30 agosto - 2 settembre 2010) [Contributo in Atti di convegno]

  • S. Rizzi, New Frontiers in Business Intelligence: Distribution and Personalization, in: Proceedings 14th East-European Conference on Advances in Databases and Information Systems, BERLIN, Springer-Verlag, 2010, pp. 23 - 30 (atti di: 14th East-European Conference on Advances in Databases and Information Systems, Novi-Sad, Serbia, 20-24 settembre 2010) [Contributo in Atti di convegno]

  • M. Golfarelli; F. Mandreoli; W. Penzo; S. Rizzi; E. Turricchia, Towards OLAP Query Reformulation in Peer-to-Peer Data Warehousing, in: Proceedings ACM Thirteenth International Workshop on Data Warehousing and OLAP, SINE LOCO, ACM, 2010, pp. 37 - 44 (atti di: ACM Thirteenth International Workshop on Data Warehousing and OLAP, Toronto, 30 ottobre 2010) [Contributo in Atti di convegno]

  • A. Carbonaro, Improving Web Search and Navigation Using Summarization Process, in: MILTIADIS D. LYTRAS PATRICIA ORDONEZ DE PABLOS ADRIAN ZIDERMAN ALAN ROULSTONE HERMANN MAURER AND JONATHAN B. IMBER, Knowledge Management, Information Systems, E-Learning, and Sustainability Research. Proceedings, Part I, BERLIN, Springer, 2010, pp. 131 - 138 (atti di: Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010) [Contributo in Atti di convegno]

  • A. Carbonaro, Towards an Automatic Forum Summarization to Support Tutoring, in: MILTIADIS D. LYTRAS PATRICIA ORDONEZ DE PABLOS DAVID AVISON JANICE SIPIOR QUN JIN WALTER LEAL LORNA UDEN MICHAEL THOMAS SARA CERVAI AND DAVID HORNER, Technology Enhanced Learning. Quality of Teaching and Educational Reform, BERLIN, Springer, 2010, pp. 141 - 147 (atti di: 1st International Conference, TECH-EDUCATION 2010. Proceedings, Athens, Greece, May 19-21, 2010.) [Contributo in Atti di convegno]

  • Emanuele Frandi; Maria Grazia Gasparo; Stefano Lodi; Ricardo Ñanculef; Claudio Sartori, A New Algorithm for Training SVMs using Approximate Minimal Enclosing Balls, in: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, HEIDELBERG, Springer, 2010, LNCS 6419, pp. 87 - 95 (atti di: 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010) [Contributo in Atti di convegno]

  • F. Callegati; W. Cerroni; B. Martini; M. Gharbaoui; A. Campi; P. Castoldi, Configuration of Network Resources for Future Internet Application Services, in: Future Network and Mobile Summit 2010 Conference Proceedings, s.l, s.n, 2010(atti di: Future Network and Mobile Summit 2010, Florence, Italy, 16-18/06/2010) [Contributo in Atti di convegno]

  • F. Callegati; W. Cerroni, Advances on Optical Transport Technologies in the BONE Project, in: Proceedings of 12th International Conference on Transparent Optical Networks, PISCATAWAY, NJ, IEEE, 2010(atti di: 12th International Conference on Transparent Optical Networks (ICTON 2010), Munich, Germany, 27/06-01/07/2010) [Contributo in Atti di convegno]

  • F. Callegati; A. Campi; W. Cerroni, Transport Service for the Future Internet: Concepts and Operations, in: Proceedings of 4th IEEE Workshop on Enabling the Future Service-Oriented Internet, in conjunction with IEEE Globecom 2010, PISCATAWAY, NJ, IEEE, 2010(atti di: 4th IEEE Workshop on Enabling the Future Service-Oriented Internet, in conjunction with IEEE Globecom 2010, Miami, FL, USA, 06/12/2010) [Contributo in Atti di convegno]

  • R. Cappelli; D. Maltoni, FVC-onGoing: On-line Evaluation of Fingerprint Recognition Algorithms, in: International Biometric Performance Conference, 2010, GAITHERSBURG, NIST, 2010, pp. 1 - 4 (atti di: International Biometric Performance Conference, GAITHERSBURG, March 1-5, 201) [Contributo in Atti di convegno]

  • A.Asperti; E.Tassi, Smart Matching, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6167, pp. 263 - 277 (atti di: 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010) [Contributo in Atti di convegno]

  • A., Asperti; C., Sacerdoti Coen, Some Considerations on the Usability of Interactive Provers., in: Intelligent Computer Mathematics, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6167, pp. 147 - 156 (atti di: 17th Symposium, Calculemus 2010, Paris, France, July 5-10, 2010) [Contributo in Atti di convegno]