Pubblicazioni

A. Bevilacqua; L. Carozza; A. Gherardi, An image registration approach for accurate satellite attitude estimation, in: Advances in Visual Computing, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, pp. 827 - 836 (atti di: 5th International Symposium, ISVC 2009, Las Vegas, 30 novembre - 2 dicembre 2009) [Contributo in Atti di convegno]

Salomoni, Paola; Muratori, LUDOVICO ANTONIO; Mirri, Silvia; Pozzi, F., Hacking Nintendo Wii to paint virtual graffiti, in: Proceedings of 2009 IEEE International Workshop on Ubiquitous Multimedia Systems and Applications, ST. PETERSBURG, IEEE Communications Society, Russia North. Chapter, 2009(atti di: 2009 IEEE International Workshop on Ubiquitous Multimedia Systems and Applications (UMSA'09) - International Conference on Ultramodern Telecommunications (ICUMT 2009), St Petersburg, Russia, October 2009) [Contributo in Atti di convegno]

P. Salomoni; L. A. Muratori; S. Mirri, SHAPING THE COOCOON: A MODEL FOR WRAPPING LEARNING CONTENTS ON AN E-LEARNING PLATFORM, in: PROCEEDINGS OF THE IADIS INTERNATIONAL CONFERENCE APPLIED COMPUTING 2009, LISBONA, IADIS Press, 2009, 1, pp. 307 - 313 (atti di: IADIS INTERNATIONAL CONFERENCE APPLIED COMPUTING 2009, Rome, November 2009) [Contributo in Atti di convegno]

S. Frau; R. Gorrieri; C. Ferigato, Petri Net Security Checker: Structural Non-interference at Work, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2009, 5491, pp. 210 - 225 (atti di: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, Ottobre 2008) [Contributo in Atti di convegno]

R.Gorrieri; F. Martinelli; I. Matteucci, Towards Information Flow Properties for Distributed Systems, in: null, 2009, 236, pp. 65 - 84 (atti di: 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008) [Contributo in Atti di convegno]

R. Meyer; R. Gorrieri, On the Relationship between π-Calculus and Finite Place/Transition Petri Nets, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2009, 5710, pp. 463 - 480 (atti di: CONCUR 2009 - Concurrency Theory, 20th International Conference, Bologna, 1-4- Settembre 2009) [Contributo in Atti di convegno]

A. Bonfietti; M. Lombardi; M. Milano; L. Benini, Throughput Constraint for Synchronous Data Flow Graphs, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, BERLIN/HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, pp. 26 - 40 (atti di: 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, 2009 May 27-31) [Contributo in Atti di convegno]

M. Lombardi; M. Milano; L. Benini, Robust non-preemptive hard real-time scheduling for clustered multicore platforms, in: Design, Automation and Test in Europe, DATE 2009, s.l, IEEE Press, 2009, pp. 803 - 808 (atti di: Design, Automation and Test in Europe, DATE 2009, Nice, France, 2009 April 20-24) [Contributo in Atti di convegno]

M. Magno; F. Tombari; D. Brunelli; L. Di Stefano; L. Benini, Multimodal abandoned/removed object detection for low power video surveillance systems, in: Proceedings of the 2009 Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, s.l, IEEE Press, 2009, 1, pp. 188 - 193 (atti di: 2009 Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, Genova, Italy, September 02-04 2009) [Contributo in Atti di convegno]

S. Mattoccia; F. Tombari; L. Di Stefano, Enhanced Low-Resolution Pruning for Fast Full-Search Template Matching, in: Lecture Notes in Computer Science, s.l, Springer Berlin / Heidelberg, 2009, 5807/2009, pp. 109 - 120 (atti di: Advanced Concepts for Intelligent Vision Systems, Bordeaux, France, September 28–October 2, 2009) [Contributo in Atti di convegno]

F. Tombari; S. Mattoccia; L. Di Stefano;, A Template Analysis Methodology to Improve the Efficiency of Fast Matching Algorithms, in: Lecture Notes in Computer Science, s.l, Springer Berlin / Heidelberg, 2009, 5807/2009, pp. 100 - 108 (atti di: Advanced Concepts for Intelligent Vision Systems, Bordeaux, France, September 28–October 2, 2009) [Contributo in Atti di convegno]

S. Salti; L. Di Stefano, SVR-Based Jitter Reduction for Markerless Augmented Reality, in: P. FOGGIA; C. SANSONE; M. VENTO, Image Analysis and Processing - ICIAP 2009, 15th International Conference, Proceedings, BERLIN, Springer-Verlag, 2009, pp. 24 - 33 (atti di: Image Analysis and Processing - ICIAP 2009, 15th International Conference, Vietri sul Mare, Italy, September 8-11, 2009) [Contributo in Atti di convegno]

S. Salti; L. Di Stefano, On-Line Learning of the Transition Model for Recursive Bayesian Estimation, in: Proceedings of the 2nd International Workshop on Machine Learning for Vision-based Motion Analysis (MLVMA’09), LOS ALAMITOS,CA, IEEE Computer Society, 2009, pp. 1 - 8 (atti di: The 2nd International Workshop on Machine Learning for Vision-based Motion Analysis (MLVMA’09), Kyoto, Japan, September 28, 2009) [Contributo in Atti di convegno]

F. Tombari; A. Lanza; L. Di Stefano; S. Mattoccia, Non-linear Parametric Bayesian Regression for Robust Background Subtraction, in: Proceedings of IEEE Workshop on Motion and Video Computing 2009, s.l, s.n, 2009, 1, pp. 25 - 31 (atti di: IEEE Workshop on Motion and Video Computing 2009, Snowbird, Utah (USA), 9 Dicembre 2009) [Contributo in Atti di convegno]

S. Mignani; C. Sartori., A “IN-DEEP” BEHAVIORAL MODEL FOR E-LEARNING ASSESSMENT., in: Proceedings of IADIS International Conference e-Learning 2009, s.l, s.n, 2009, V II, 2, pp. 160 - 164 (atti di: The IADIS e-Learning 2009 conference aims to address the main issues of concern within e-Learning. This conference covers both technical as well as the non-technical aspects of e-Learning. E-learning platforms often include assessment tools to measure the outcomes of the learning process., Algarve, Portugal, 17-19 june 2009) [Contributo in Atti di convegno]

Elena Nardini; Andrea Omicini; Mirko Viroli, General-Purpose Coordination Abstractions for Managing Interaction in MAS, in: The WI-IAT 2009 Workshops Proceedings, LOS ALAMITOS, CA, IEEE CS, 2009, pp. 501 - 506 (atti di: 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'09), Milano, Italy, 15-18 September 2009) [Contributo in Atti di convegno]

Giulio Piancastelli; Andrea Omicini; Enrico Denti, Towards a Logic Language and Framework for Web Programming, in: Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, AACHEN, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2009, 487, pp. 15 - 19 (atti di: Day Dedicated to Prof. Alberto Martelli, Turin, Italy, 3 June 2008) [Contributo in Atti di convegno]

R. Demangeon. D. Hirschkoff; D. Sangiorgi, Termination in Higher-Order Concurrent Calculi, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5961, pp. 81 - 96 (atti di: Fundamentals of Software Engineering, Third IPM International Conference, Kish Island, Iran, April 15-17, 2009) [Contributo in Atti di convegno]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Mobile Processes and Termination, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5700, pp. 250 - 273 (atti di: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, Udine, Settembre 7-10, 2009) [Contributo in Atti di convegno]

E. Elsborg; T. T. Hildebrandt; D. Sangiorgi, Type Systems for Bigraphs, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5474, pp. 126 - 140 (atti di: Trustworthy Global Computing, 4th International Symposium, Barcelona, Spain, November 3-4, 2008) [Contributo in Atti di convegno]