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

Pubblicazioni

2007 Elimina filtro
Contributo in atti di convegno Elimina filtro

198 pubblicazioni

  • R. Cappelli, Use of Synthetic Data for Evaluating the Quality of Minutia Extraction Algorithms, in: NIST Biometric Quality Workshop II - Proceedings, GAITHERSBURG, NIST, 2007, pp. 7-1 - 7-19 (atti di: NIST Biometric Quality Workshop II, Gaithersburg, Maryland, 7-8 Novembre, 2007) [Contributo in Atti di convegno]

  • M. Ferrara; D. Maltoni, On the Operational Quality of Fingerprint Scanners, in: Biometric Quality Workshop II - Proceedings, GAITHERSBURG, NIST, 2007, pp. 12-1 - 12-20 (atti di: Biometric Quality Workshop II, GAITHERSBURG, 7-8 Novembre, 2007) [Contributo in Atti di convegno]

  • C. Sacerdoti Coen; E. Zoli, A Note on Formalizing Undefined Terms in Real Analysis, in: PATE 07, International Workshop on Proof Assistants and Types in Education, s.l, s.n, 2007, pp. 3 - 16 (atti di: PATE 07, International Workshop on Proof Assistants and Types in Education, Parigi, 25/06/2007) [Contributo in Atti di convegno]

  • C. Sacerdoti Coen, Declarative Representation of Proof Terms, in: Programming Languages for Mechanized Mathematics Workshop, LINZ, RISC Report Series, University of Linz, 2007, 07-10, pp. 3 - 18 (atti di: Programming Languages for Mechanized Mathematics Workshop, Research Institute for Symbolic Computation, Hagenberg, Austria, 29-30/06/2007) [Contributo in Atti di convegno]

  • M. Magnani; D. Montesi, Integration of Patent and Company Databases, in: Proceedings of the 11th International Database Engineering and Applications Symposium (IDEAS), WASHINGTON D.C., IEEE Computer Society, 2007, pp. 163 - 171 (atti di: International Database Engineering and Applications Symposium (IDEAS), Banff, 6-8 September 2007) [Contributo in Atti di convegno]

  • M. Magnani; D. Montesi, BPMN: How Much Does It Cost? An Incremental Approach, in: Business Process Management, BERLIN, Springer-Verlag, 2007, pp. 80 - 87 (atti di: International Conference on Business Process Management, Brisbane (australia), 24-28 September 2007) [Contributo in Atti di convegno]

  • M. Magnani; D. Montesi, Uncertainty in Data Integration: current approaches and open problems, in: Proceedings of the first international workshop on Management of Uncertain Data, ENSCHEDE, CTIT, 2007, pp. 18 - 32 (atti di: VLDB workshop on Management of Uncertain Data, Wien, September 24, 2007) [Contributo in Atti di convegno]

  • G. Buratti; D. Montesi, An Approximation-Aware Algebra for XML Full-Text Queries, in: Proceedings of the 2nd International Conference on Software and Data Technologies (ICSOFT 2007), BERLIN, Springer, 2007, pp. 62 - 69 (atti di: International Conference on Software and Data Technologies, Barcellona, 22 - 25 July, 2007) [Contributo in Atti di convegno]

  • A. Corradi; E. Lodolo; S. Monti; S. Pasini, User-Centric Emergency Management: a Disappearing Middleware Approach, in: Proceeedings of Wireless Rural and Emergency Communications Wireless Rural and Emergency Communications Conference (WRECOM 2007), NEW YORK, IEEE Press, 2007, pp. 1 - 6 (atti di: Wireless Rural and Emergency Communications Wireless Rural and Emergency Communications Conference (WRECOM 2007), Roma, ottobre 2007) [Contributo in Atti di convegno]

  • A. Carbonaro; L. Colazzo; A. Molinari, Adaptive Cooperation Tools in learning virtual communities, in: V. USKOV, Computers and Advanced Technology in Education, CALGARY, Acta Press, 2007, 570, pp. 107 - 113 (atti di: International conference on Computers and Advanced Technology in Education 2007, Beijing, China, 10/8/2007 - 10/10/2007) [Contributo in Atti di convegno]

  • A. Ricci; M. Viroli; G. Piancastelli, simpA: A simple agent-oriented Java extension for developing concurrent applications, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW’007), s.l, s.n, 2007, pp. 176 - 191 (atti di: Methodologies and Development Tools for Multi-Agent Systems (LADS'007), Durham, UK, 3 – 7 September 2007) [Contributo in Atti di convegno]

  • P. Salomoni; S.Mirri; L.A. Muratori, YEAST: The Design of a Cooperative Interactive Story Telling and Gamebooks Environment, in: Game-On 2007, OSTEND, Eurosis, 2007, pp. 83 - 87 (atti di: Game-On 2007, 8th International Conference on Intelligent Games and Simulation, Bologna, 20-22 Novembre 2007) [Contributo in Atti di convegno]

  • Dattolo A.; Di Iorio A.; Duca S.; Feliziani A.A.; Vitali F., Converting into pattern-based schemas: a formal approach, in: Proceedings of Extreme markup Conference, ALEXANDRIA (VA), IDEAlliance, 2007(atti di: Extreme markup Conference, Montreal, August 7-10, 2007) [Contributo in Atti di convegno]

  • Marinelli P.; Vitali F.; Zacchiroli S., Streaming Validation of Schemata: the Lazy Typing Discipline, in: Proceedings of Extreme Markup Conference, ALEXANDRIA (VA), IDEAlliance, 2007, pp. - - - (atti di: Extreme Markup Conference, Montreal, 7-10 August 2007) [Contributo in Atti di convegno]

  • Dattolo A.; Di Iorio A.; Duca S.; Feliziani A.A.; Vitali F., Structural patterns for descriptive documents, in: Lecture Notes in Computer Science, AMSTERDAM, Springer Verlag, 2007, 4607, pp. 421 - 426 (atti di: 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007) [Contributo in Atti di convegno]

  • Di Iorio A.; Duca S.; Presutti V.; Solmi R.; Vitali F., RDF and TopicMaps interoperability: a model-driven approach, in: Proceedings of, WREXHAM, Newi, 2007, pp. 300 - 308 (atti di: Second International Conference on Internet Technologies and Applications, Wrexham, UK, 4/7 Settembre 2007) [Contributo in Atti di convegno]

  • A. Boer; R. Winkels; F. Vitali, Proposed XML standards for law: Metalex and LKIF, in: Frontiers in Artificial Intelligence and Applications, AMSTERDAM, IOS Press, 2007, 165, pp. 19 - 28 (atti di: Legal Knowledge and Information Systems. Jurix 2007: The Twentieth Annual Conference Annual Conference, Leiden (NL), 12-15 december 2007) [Contributo in Atti di convegno]

  • D. Rossi; E. Turrini, Using a process modeling language for the design and implementation of process-driven applications, in: The Second International Conference on Software Engineering Advances - ICSEA 2007, s.l, IEEE Press, 2007, pp. 55 - 61 (atti di: The Second International Conference on Software Engineering Advances - ICSEA 2007, Cap Esterel, France, 25-31 Agosto 2007) [Contributo in Atti di convegno]

  • L.Di Gaspero; G.di Tollo; A.Roli; A.Schaerf, A Hybrid Solver for Constrained Portfolio Selection Problems -preliminary report, in: Proceedings of LION 2007, s.l, s.n, 2007, pp. 1 - 8 (atti di: Learning and Intelligent OptimizatioN LION 2007, Trento (Italia), 12-18 Febbraio 2007) [Contributo in Atti di convegno]

  • Z. Kiziltan; A. Lodi; M. Milano; F. Parisini, CP-based Local Branching, in: Proc. of the 14th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, s.l, M. Gavanelli, T. Mancini, 2007, pp. - - - (atti di: The 14th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Roma, 5-6 Luglio) [Contributo in Atti di convegno]