Pubblicazioni

Mandreoli, F.; Martoglia, R.; Penzo, Wilma; Sassatelli, S.; Villani, G., Efficient and Effective Query Answering in a PDMS with SUNRISE, in: Proceedings of the 16th Italian Symposium on Advanced Database Systems (SEBD), PALERMO, s.n, 2008, pp. 446 - 451 (atti di: 16th Italian Symposium on Advanced Database Systems (SEBD), Mondello (PA), Italy, 22-25 Giugno) [Contributo in Atti di convegno]

G. Rossi; G. D'Angelo, Adaptive Coalition Structure Generation in Cooperative Multiagent Systems, in: Proceedings of 4th International Conference on Self-organization and Adaptation of Computing and Communications (SACC 2008), 2008, 4, pp. 116 - 122 (atti di: 4th International Conference on Self-organization and Adaptation of Computing and Communications (SACC 2008), Glasgow, UK, 22-24 July 2008) [Contributo in Atti di convegno]

G. D'Angelo; G. Rossi, Parallel and Distributed Simulation of Coalition Structure Generation in Cooperative Multi-agent Systems, in: 22nd Workshop on Principles of Advanced and Distributed Simulation, 2008. PADS '08., IEEE COMPUTER SOCIETY, IEEE Computer Society, 2008, pp. 148 - 148 (atti di: 22nd Workshop on Principles of Advanced and Distributed Simulation, 2008. PADS '08., Roma, June 3-6, 2008) [Riassunto (Abstract)]

F. Tombari; S. Mattoccia; L. Di Stefano; E. Addimanda, Classification and evaluation of cost aggregation methods for stereo correspondence, in: LINDA SHAPIRO, NARENDRA AHUJA KIM BOYER, MUBARAK SHAH, TANVEER SYEDA-MAHMOOD, Proceedings IEEE Conference on Computer Vision and Pattern Recognition, 2008 (CVPR 2008), PISCATAWAY, NJ, IEEE Computer Society, 2008, 1, pp. 1 - 8 (atti di: IEEE Conference on Computer Vision and Pattern Recognition, 2008 (CVPR 2008), Anchorage, AK, USA, 23-28 June 2008) [Contributo in Atti di convegno]

E. Bartolini; V. Maniezzo; A. Mingozzi, An Adaptive Memory-Based Approach Based on Partial Enumeration, in: V. MANIEZZO, R. BATTITI AND J.-P. WATSON, Learning and Intelligent Optimization, BERLIN, Springer-Verlag, 2008, pp. 12 - 24 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Kaminski; S. Martini (a cura di): AA.VV., Computer Science Logic 2008, LNCS 5213, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 512 (Lecture Notes in Computer Science). [Curatela]

U. Dal Lago; S. Martini, Proofs as efficient programs, in: Deduction, Computation, Experiment, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 141 - 157 [Capitolo/Saggio in libro]

R. Gorrieri, Ugo Montanari and Concurrency Theory, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, HEIDELBERG, Springer-Verlag, 2008, pp. 403 - 408 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

C. Versari; R.Gorrieri, pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi, in: Formal Methods for Computational Systems Biology, HEIDELBERG, Springer-Verlag, 2008, pp. 449 - 506 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

P. Azzari; L. Di Stefano; F. Tombari; S. Mattoccia, Markerless augmented reality using image mosaics, in: A. ELMOATAZ ET AL., Lecture Notes in Computer Science - Volume 5099/2008Proccedings of International Conference on Image and Signal Processing (ICISP 2008), BERLIN, Springer, 2008, - Volume 5099/2008, pp. 413 - 420 (atti di: International Conference on Image and Signal Processing (ICISP 2008), Cherbourg-Octeville, Normandy, France, July 1-3, 2008) [Contributo in Atti di convegno]

P. Azzari; L. Di Stefano; S. Mattoccia, An Evaluation Methodology for Image Mosaicing Algorithms, in: J. BLANC-TALON ET AL., Advanced Concepts for Intelligent Vision Systems, Lecture Notes on Computer Science, LNCS 5259, BERLINO, Springer-Verlag, 2008, pp. 89 - 100 (atti di: Advanced Concepts for Intelligent Vision Systems, Juan les Pins, Francia, 20-24 Ottobre 2008) [Contributo in Atti di convegno]

F. Tombari; L. Di Stefano; S. Mattoccia; A. Zanetti, Graffiti Detection Using a Time-Of-Flight Camera, in: J. BLANC-TALON ET AL., Advanced Concepts for Intelligent Vision Systems, Lecture Notes on Computer Science, LNCS 5259, BERLINO, Springer Verlag, 2008, pp. 645 - 654 (atti di: Advanced Concepts for Intelligent Vision Systems, Juan les Pins, Francia, 20-24 Ottobre 2008) [Contributo in Atti di convegno]

S. Mattoccia; F. Tombari; L. Di Stefano, Reliable rejection of mismatching candidates for efficient ZNCC template matching, in: RAMA CHELLAPPA, B.S. MANJUNATH, BERND GIROD, ANTONIO ORTEGA, Proceedings of the 2008 IEEE International Conferenceon Image Processing (ICIP 2008), PISCATAWAY, NJ, IEEE, 2008, 1, pp. 849 - 852 (atti di: 2008 IEEE International Conferenceon Image Processing (ICIP 2008), San Diego, California, U.S.A., October 12–15, 2008) [Contributo in Atti di convegno]

L. Di Stefano; F. Tombari; S. Mattoccia; M. Balasso, Multi-view access monitoring and singularization in interlocks, in: MOHAN TRIVEDI, BIR BHANU, IOANNIS PAVLIDIS, Proceedings of the IEEE Fifth International Conference on Advanced Video and Signal Based Surveillance (AVSS 2008), LOS ALAMITOS, IEEE Computer Society, 2008, pp. 143 - 150 (atti di: IEEE Fifth International Conference on Advanced Video and Signal Based Surveillance, Santa Fe, 1-3 Settembre 2008) [Contributo in Atti di convegno]

F. Tombari; L. Di Stefano; S. Mattoccia, Robust visual correspondence: theory and applications, in: ASIM BHATTI, Stereo Vision, VIENNA, I-Tech Education and Publishing Kirchengasse 43/3,, 2008, pp. 317 - 334 (Stereo Vision) [Capitolo/Saggio in libro]

M. Magnani; D. Montesi, Preference-Based Uncertain Data Integration, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, pp. 136 - 145 (atti di: Knowledge Engineering: Practice and Patterns, 16th International Conference, Acitrezza (Italy), Ottobre 2008) [Contributo in Atti di convegno]

M. Magnani; D. Montesi, Optimization of Queries over Interval Probabilistic Data, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 5291, pp. 298 - 311 (atti di: Scalable Uncertainty Management, Second International Conference, Naples (Italy), Ottobre 2008) [Contributo in Atti di convegno]

A. Credi; M. Garavelli; C. Laneve; S. Pradalier; S. Silvi; G. Zavattaro, nanoK: a Calculus for the Modeling and Simulation of nano devices, «THEORETICAL COMPUTER SCIENCE», 2008, 408(1), pp. 17 - 30 [Articolo in rivista]

N. Kobayashi; D. Sangiorgi, A Hybrid Type System for Lock-Freedom of Mobile Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 5123, pp. 80 - 93 (atti di: 20th International Conference on Computer Aided Verification (CAV'08), Princeton, NJ, USA, July 7-14) [Contributo in Atti di convegno]

G. Zavattaro, A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form, in: M. BERNARDO; P. DEGANO; G. ZAVATTARO, Formal Methods for Computational Systems Biology, BERLIN, Springer, 2008, pp. 507 - 523 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]