Pubblicazioni

  • F. Chesani; P. Mello; M. Montali; P. Torroni, Role Monitoring in Open Agent Societies, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 112 - 121 (atti di: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]

  • F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring Time-Aware Social Commitments with Reactive Event Calculus, in: Proceedings of the 20th European Meeting on Cybernetics and Systems Research (EMCSR 2010) - International Workshop From Agent Theory to Agent Implementation (AT2AI-7), VIENNA, Austrian Society for Cybernetics Studies, 2010, 6/6, pp. 447 - 452 (atti di: 7th International Workshop From Agent Theory to Agent Implementation, University of Vienna, Vienna, Austria, April 6-9, 2010) [Contributo in Atti di convegno]

  • F. Chesani; P. Mello; M. Montali; P. Torroni, Declarative Technologies for Open Agent Systems and Beyond, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 1 - 5 (atti di: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]

  • Lombardi M. ; Benini L. ; Garg A. ; De Micheli G., Methods for Designing Reliable Probe Arrays, in: BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on, s.l, IEEE Press, 2010, pp. 306 - 307 (atti di: BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on, Philadelphia, PA, May 31 2010-June 3 2010) [Contributo in Atti di convegno]

  • Magno M. ; Lanza A. ; Brunelli D. ; Di Stefano L. ; Benini L., Energy aware multimodal embedded video surveillance, in: VLSI System on Chip Conference (VLSI-SoC), 2010 18th IEEE/IFIP, s.l, IEEE Press, 2010, pp. 264 - 269 (atti di: VLSI System on Chip Conference (VLSI-SoC), 2010 18th IEEE/IFIP, Madrid, Spain, 27-29 Sept. 2010) [Contributo in Atti di convegno]

  • C. Laneve; T. Lascu; V. Sordoni, The Interval Analysis of Multilinear Expressions, in: null, 2010, 267, pp. 43 - 53 (atti di: Tools for Automatic Program AnalysiS (TAPAS), Perpignan, France, 17 September 2010) [Contributo in Atti di convegno]

  • C. Laneve; A. Vitale, The Expressive Power of Synchronizations, in: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, NY, IEEE Computer Society, 2010, --, pp. 382 - 391 (atti di: 25th Annual IEEE Symposium on Logic in Computer Science, Edimburgo, 11-14 July 2010) [Contributo in Atti di convegno]

  • R. Cappelli; M. Ferrara; D. Maltoni; M. Tistarelli;, MCC: a Baseline Algorithm for Fingerprint Verification in FVC-onGoing, in: 11th International Conference on Control, Automation, Robotics and Vision, s.l, IEEE, 2010, pp. 19 - 23 (atti di: 11th International Conference on Control, Automation, Robotics and Vision, Singapore, 7-10 December, 2010) [Contributo in Atti di convegno]

  • P. Bellavista, (invited panelist) Mobile Multimedia Middleware: Central for Next Generation Mobile Multimedia Applications?, in: Proceedings of the 3rd Workshop on Mobile Video Delivery (MoViD), within ACM Multimedia 2010, NEW YORK, ACM Press, 2010, pp. 70 - 71 (atti di: 3rd Workshop on Mobile Video Delivery (MoViD), within ACM Multimedia 2010, Firenze, Italia, 25-29 Ottobre 2010) [Contributo in Atti di convegno]

  • M. Viroli; M. Casadei, Chemical-Inspired Self-Composition of Competing Services, in: Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC 2010), NEW YORK, ACM, 2010, III, pp. 2029 - 2036 (atti di: 25th Annual ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, 22-26 March 2010) [Contributo in Atti di convegno]

  • U. Dal Lago; S. Martini; D. Sangiorgi, Light Logics and Higher-Order Processes, in: null, 2010, 41, pp. 46 - 60 (atti di: 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, 30th August 2010) [Contributo in Atti di convegno]

  • P. Ciaccia; M. Golfarelli; S. Rizzi, Efficiently bounding cardinality ratios through database constraints, in: Atti del Diciottesimo Convegno Nazionale su Sistemi Evoluti Per Basi Di Dati, BOLOGNA, Esculapio, 2010, pp. 370 - 381 (atti di: Diciottesimo Convegno Nazionale su Sistemi Evoluti Per Basi Di Dati, Rimini, 20-23 giugno 2010) [Contributo in Atti di convegno]

  • S. Brahnam; L. Nanni; J-Y. Shi; A. Lumini, Local phase quantization texture descriptor for protein classification, in: proceedings International Conference on Bioinformatics and Computational Biology (Biocomp2010), s.l, s.n, 2010, pp. 159 - 165 (atti di: International Conference on Bioinformatics and Computational Biology, Las Vegas, Nevada, USA, July 2010) [Contributo in Atti di convegno]

  • L. Nanni; S. Brahnam; A. Lumini, A Study for Selecting the Best Performing Rotation Invariant Patterns in Local Binary/Ternary Patterns, in: proceedings International Conference on Image Processing, Computer Vision & Pattern Recognition (IPCV'10), s.l, s.n, 2010, pp. 369 - 375 (atti di: International Conference on Image Processing, Computer Vision & Pattern Recognition (IPCV'10)., Las Vegas, Nevada, USA, July 2010) [Contributo in Atti di convegno]

  • P. Ciaccia; R. Torlone, Is Indeed Fish the Best Choice in Rimini?, in: Proceedings of the 18th Italian National Conference on Advanced Data Base Systems (SEBD 2010), BOLOGNA, Esculapio, 2010, pp. 86 - 93 (atti di: 18th Italian National Conference on Advanced Data Base Systems (SEBD 2010), Rimini, Italy, June 20-23, 2010) [Contributo in Atti di convegno]

  • Lumini, Alessandra; Manna, C.; Nanni, Loris; Pappalardo, S., A data mining approach for the prediction of pregnancy during IVF treatment, in: Abstracts of the 26th Annual Meeting of the European Society of Human Reproduction and Embryology, Rome, Italy, 27-30 June 2010, s.l, s.n, 2010, pp. i211 - i211 (atti di: 26th Annual Meeting of the European Society of Human Reproduction and Embryology (ESHRE2010), Rome, Italy, June 2010) [Contributo in Atti di convegno]

  • Di Matteo N.; Peroni S.; Tamburini F.; Vitali F., Of Mice and Terms: Clustering Algorithms on Ambiguous Terms in Folksonomies, in: Proceedings of 25th ACM Symposium On Applied Computing (SAC 2010), SIERRE, s.n, 2010, pp. 844 - 848 (atti di: 25th ACM Symposium On Applied Computing (SAC 2010), Sierre, Switzerland, 22-26 march 2010) [Contributo in Atti di convegno]

  • F. Tombari; S. Salti; L. Di Stefano, Unique signatures of Histograms for local surface description, in: Proceedings ECCV 2010, Part III, LNCS 6313, BERLIN, K. Daniilidis, P. Maragos, N. Paragios, 2010, pp. 347 - 360 (atti di: European Conference on Computer Vision, Creta, Greece, September 5-11, 2010) [Contributo in Atti di convegno]

  • A. Lanza; F. Tombari; L. Di Stefano, Accurate and efficient background subtraction by monotonic second-degree polynomial fitting, in: Proceedings of the Seventh IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), LOS ALAMITOS, IEEE, 2010, pp. 376 - 383 (atti di: Seventh IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), Boston, MA, USA, August 29 - September 1, 2010) [Contributo in Atti di convegno]

  • A. Lanza; F. Tombari; L. Di Stefano, Robust and efficient background subtraction by quadratic polynomial fitting, in: IEEE Proceedings of 17th IEEE International Conference on Image Processing (ICIP), LOS ALAMITOS, IEEE, 2010, pp. 1537 - 1540 (atti di: 17th IEEE International Conference on Image Processing (ICIP), Hong Kong, September 26-29, 2010) [Contributo in Atti di convegno]