Pubblicazioni

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]

Matteo Casadei; Mirko Viroli, Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, III, pp. 2103 - 2104 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

M. Viroli; F. Zambonelli; M. Casadei; S. Montagna, A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, II, pp. 1221 - 1222 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

S. Montagna; M. Viroli, A computational framework for modelling multicellular biochemistry, in: S.A., IEEE Congress on Evolutionary Computation, 2009. CEC '09., PISCATAWAY, NJ, IEEE, 2009, pp. 2223 - 2240 (atti di: IEEE Congress on Evolutionary Computation, 2009. CEC '09., Trondheim, Norway, 18-21 May 2009) [Contributo in Atti di convegno]

M. Casadei; M. Viroli, An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems, in: S.A., IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., PISCATAWAY, NJ, IEEE, 2009, pp. 1538 - 1545 (atti di: IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., Trondheim, Norway, 18-21 May 2009) [Contributo in Atti di convegno]

M. Viroli; M. Casadei, Biochemical Tuple Spaces for Self-Organising Coordination, in: null, «LECTURE NOTES IN COMPUTER SCIENCE», 2009, 5521, pp. 143 - 162 (atti di: COORDINATION 2009, Lisbon, Portugal, 9-12 June, 2009) [Contributo in Atti di convegno]

Di Matteo N.; Peroni S.; Tamburini F.; Vitali F., A parametric architecture for tags clustering in folksonomic search engines, in: Intelligent Systems Design and Applications, 2009. ISDA '09. Ninth International Conference on, s.l, IEEE, 2009, pp. 279 - 282 (atti di: Ninth International Conference on Intelligent Systems Design and Applications, 2009. ISDA '09., Pisa, Italy, November 30 - December 2, 2009) [Contributo in Atti di convegno]

S. Mattoccia, A locally global approach to stereo correspondence, in: ADRIAN HILTON, TAKESHI MASUDA, CHANG SHU, GUY GODIN, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops, PISCATAWAY, NJ, IEEE, 2009, 1, pp. 1763 - 1770 (atti di: The 2009 IEEE International Workshop on 3-D Digital Imaging and Modeling (3DIM2009), Kyoto, JapanSaturday, October 3, 9:30-18:00, Sunday, October 4, 9:30-17:20, 3-4 October, 2009) [Contributo in Atti di convegno]

C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: null, 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contributo in Atti di convegno]

I. Lanese; G. Zavattaro, Programming Sagas in SOCK, in: Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, LOS ALAMITOS, CA, IEEE Computer Society Press, 2009, pp. 189 - 198 (atti di: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November, 2009) [Contributo in Atti di convegno]

C. Di Giusto; J. A. Pérez; G. Zavattaro, On the Expressiveness of Forwarding in Higher-Order Communication, in: Theoretical Aspects of Computing - ICTAC 2009. Proceedings, BERLIN, Springer, 2009, 5684, pp. 155 - 169 (atti di: 6th International Colloquium on Theoretical Aspects of Computing - ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009) [Contributo in Atti di convegno]

G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2009, 5688, pp. 158 - 172 (atti di: 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, Bologna, Italy, August 31-September 1, 2009) [Contributo in Atti di convegno]

A. Lanza; L. Di Stefano; L. Soffritti, Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection, in: Proceedings of the 2009 Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), WASHINGTON, IEEE Computer Society, 2009, pp. 460 - 465 (atti di: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, Genova, September 02-04 2009) [Contributo in Atti di convegno]