Pubblicazioni

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]

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]

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]

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]

L. Cardelli; G. Zavattaro, On the Computational Power of Biochemistry, in: Proc. of Algebraic Biology, Third International Conference, AB 2008, BERLIN, Springer, 2008, pp. 65 - 80 (atti di: Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008) [Contributo in Atti di convegno]

M. Ruggiero; M. Lombardi; M. Milano; L. Benini, Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor, in: Digital System Design Architectures, Methods and Tools, 2008. DSD '08. 11th EUROMICRO Conference on, s.l, IEEE, 2008, pp. 645 - 650 (atti di: DSD '08. 11th EUROMICRO Conference on Digital System Design Architectures, Parma, Italy, 3-5 SEPTEMBER 2008) [Contributo in Atti di convegno]

G. Zavattaro; L. Cardelli, Termination Problems in Chemical Kinetics, in: Proc. CONCUR 2008 - Concurrency Theory, 19th International Conference, BERLIN, Springer, 2008, pp. 477 - 491 (atti di: CONCUR 2008 - Concurrency Theory, 19th International Conference, Toronto, Canada, August 19-22, 2008) [Contributo in Atti di convegno]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Static and dynamic typing for the termination of mobile processes, in: IFIP, BERLIN, Springer, 2008, 273, pp. 413 - 427 (atti di: Fifth IFIP International Conference On Theoretical Computer Science (TCS 2008) of IFIP 20th World Computer Congress, Milano, September 7-10, 2008) [Contributo in Atti di convegno]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness and Decidability of Higher-Order Process Calculi, in: LICS'08, LOS ALAMITOS, IEEE Computer Society, 2008, pp. 145 - 155 (atti di: Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008,, Pittsburgh, USA, 24-27 June 2008) [Contributo in Atti di convegno]

R. Demangeon; D. l Hirschkoff; N. Kobayashi; D. Sangiorgi, On the Complexity of Termination Inference for Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 4912, pp. 140 - 155 (atti di: Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, November 5-6, 2007) [Contributo in Atti di convegno]

I. Lanese; C. Guidi; F. Montesi; G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, in: Proc. of Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 323 - 332 (atti di: Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on, Cape Town. South Africa, 10-14 Nov. 2008) [Contributo in Atti di convegno]

C. Guidi; I. Lanese; F. Montesi; G. Zavattaro, On the interplay between fault handling and request-response service invocations, in: Proc. of Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, LOS ALAMITOS, CA, IEEE Computer Society Press, 2008, pp. 190 - 198 (atti di: Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on, Xidian, China, 23-27 June 2008) [Contributo in Atti di convegno]

L. Benini; D. Bertozzi; M. Milano., Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming, in: Lecture Notes in Computer Science, BERLIN / HEIDELBERG, Springer, 2008, pp. 470 - 484 (atti di: Logic Programming, 24th International Conference, ICLP 2008, Proceedings., Udine, Italy, December 9-13 2008,) [Contributo in Atti di convegno]

G. Landi; E. Loli Piccolomini; F. Zama, Regularization Methods for Discrete Ill-posed Problems in Imaging, in: null, 2008, 49, pp. 413 - 420 (atti di: Fifth International Conference of Applied Mathematics and Computing, Plovdiv, Bulgaria, August 12-18, 2008) [Contributo in Atti di convegno]