Pubblicazioni

Alessio Bonfietti; Michele Lombardi; Michela Milano, De-Cycling Cyclic Scheduling Problems, in: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013, pp. 283 - 287 (atti di: Twenty-Third International Conference on Automated Planning and Scheduling, Roma, 2013) [Contributo in Atti di convegno]

Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence, in: Advances in Intelligent Systems and ComputingDistributed Computing and Artificial Intelligence, 2013, 217, pp. 219 - 226 (atti di: Distributed Computing and Artificial Intelligence, Spain, 2013) [Contributo in Atti di convegno]

Andrea Roli;Marco Villani;Roberto Serra;Lorenzo Garattoni;Carlo Pinciroli;Mauro Birattari, Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled RobotsAI*IA 2013: Advances in Artificial Intelligence, in: Lecture Notes in Computer ScienceAI*IA 2013: Advances in Artificial Intelligence, Springer, 2013, 8249, pp. 324 - 335 (atti di: XIIIth International Conference of the Italian Association for Artificial Intelligence, Torino, December 4-6, 2013) [Contributo in Atti di convegno]

M. Villani;A. Filisetti;S. Benedettini;A. Roli;D. Lane;R. Serra, The detection of intermediate-level emergent structures and patterns, in: Advances in Artificial Life, ECAL 2013, The MIT Press, 2013, pp. 372 - 378 (atti di: ECAL 2013 - Twelfth European Conference on the Synthesis and Simulation of Living Systems, Taormina, 2-6 September, 2013) [Contributo in Atti di convegno]

Lorenzo Garattoni; Andrea Roli; Matteo Amaducci; Carlo Pinciroli; Mauro Birattari, Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control, in: Advances in Artificial Life, ECAL 2013, The MIT Press, 2013, pp. 783 - 790 (atti di: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems, Taromina (Italia), September 2-6, 2013) [Contributo in Atti di convegno]

F. Angiulli; S. Basta; S. Lodi; C. Sartori, Fast outlier detection using a GPU, in: High Performance Computing and Simulation (HPCS), 2013 International Conference on, 2009 IEEE Conference Proceedings, 2013, pp. 143 - 150 (atti di: International Conference on High Performance Computing {\&} Simulation, HPCS 2013, Helsinki, Finland, 2013-July) [Contributo in Atti di convegno]

Paolo Burgio;Giuseppe Tagliavini;Andrea Marongiu;Luca Benini, Enabling Fine-Grained OpenMP Tasking on Tightly-Coupled Shared Memory Clusters, in: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013 IEEE Conference Proceedings, 2013, pp. 1504 - 1509 (atti di: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, Grenoble, France, 18-22 March 2013) [Contributo in Atti di convegno]

Daniele Palossi;Federico Tombari;Samuele Salti;Martino Ruggiero;Luigi Di Stefano;Luca Benini, GPU-SHOT: Parallel Optimization for Real-Time 3D Local Description2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops, in: 2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2013 IEEE Conference Proceedings, 2013, pp. 584 - 591 (atti di: Computer Vision and Pattern Recognition Workshops (CVPRW), 2013 IEEE Conference on, Portland, OR, 23-28 June 2013) [Contributo in Atti di convegno]

Andrea Marongiu;Alessandro Capotondi;Giuseppe Tagliavini;Luca Benini, Improving the programmability of STHORM-based heterogeneous systems with offload-enabled OpenMP, in: Proceedings of the First International Workshop on Many-core Embedded Systems - MES '13, New York, ACM, 2013, pp. 1 - 8 (atti di: 1st International Workshop on Many-Core Embedded Systems, MES 2013, in Conjunction with the 40th Annual IEEE/ACM International Symposium on Computer Architecture, ISCA 2013, Tel-Aviv; Israel, June 23 - 24, 2013) [Contributo in Atti di convegno]

Federico Tombari;Alessandro Franchi;Luigi Di Stefano, BOLD Features to Detect Texture-less Objects, in: 2013 IEEE International Conference on Computer Vision, IEEE, 2013, pp. 1265 - 1272 (atti di: 2013 IEEE International Conference on Computer Vision, Sydney, Australia, 1-8 Dec. 2013) [Contributo in Atti di convegno]

A. Aldoma; F. Tombari; J. Prankl; A. Richtsfeld; L. Di Stefano; M. Vincze, Multimodal cue integration through Hypotheses Verification for RGB-D object recognition and 6DOF pose estimation, in: 2013 IEEE International Conference on Robotics and Automation, New York, IEEE, 2013, 1, pp. 2104 - 2111 (atti di: 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, 6-10 May 2013) [Contributo in Atti di convegno]

Samuele Salti; Alessandro Lanza; Luigi Di Stefano, Keypoints from Symmetries by Wave Propagation, in: Proc. of the 2013 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), IEEE, «IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2013, pp. 2898 - 2905 (atti di: 13 IEEE Conference on, Portland, OR - USA, 23-28 June 2013) [Contributo in Atti di convegno]

Samuele Salti; Alioscia Petrelli; Federico Tombari; Nicola Fioraio; Luigi Di Stefano, A traffic sign detection pipeline based on interest region extraction, in: Proc. of the 2013 International Joint Conference on Neural Networks (IJCNN), IEEE, 2013, pp. 1 - 7 (atti di: Neural Networks (IJCNN), The 2013 International Joint Conference on, Dallas, TX - USA, 4-9 Aug. 2013) [Contributo in Atti di convegno]

Renzo Davoli, IPv6 Hash-Based Addresses for Simple Network Deployment, in: Proc. of AFIN 2013 : The Fifth International Conference on Advances in Future Internet, IARIA (International Academy, Research and Industry Association), 2013, pp. 15 - 20 (atti di: AFIN 2013, The Fifth International Conference on Advances in Future Internet, Barcelona, Spain, August 25 - 31, 2013) [Contributo in Atti di convegno]

W. Cerroni; G. Moro; T. Pirini; M. Ramilli, Peer-to-peer data mining classifiers for decentralized detection of network attacks, in: Proceedings of the Twenty-Fourth Australasian Database Conference - ADC 2013, Darlinghurst, Australian Computer Society, Inc., 2013, 137, pp. 101 - 107 (atti di: Twenty-Fourth Australasian Database Conference - ADC 2013, Adelaide, 29 January – 1 February 2013) [Contributo in Atti di convegno]

Ivan Lanese;Fabrizio Montesi;Gianluigi Zavattaro, Amending Choreographies, in: 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013), 2013, 123, pp. 34 - 48 (atti di: 9th International Workshop on Automated Specification and Verification of Web Systems, Firenze, Italia, 6/6/2013) [Contributo in Atti di convegno]

Y. Sun; M. Tistarelli; D. Maltoni, Structural Similarity based image quality map for face recognition across plastic surgery, in: Biometrics: Theory, Applications and Systems (BTAS), 2013 IEEE, IEEE Computer Society, 2013, pp. 1 - 8 (atti di: 6th International Conference on Biometrics: Theory, Applications and Systems (BTAS 2013), Washington, DC, September 2013) [Contributo in Atti di convegno]

Giuseppe Martuscelli; Azzedine Boukerche; Paolo Bellavista, Discovering Traffic Congestion along Routes of Interest using VANETs, in: GLOBECOM - IEEE Global Telecommunications Conference, Los Alamitos, IEEE, 2013, pp. 528 - 533 (atti di: 2013 IEEE Global Communications Conference, GLOBECOM 2013, Atlanta, GA; United States, 9-13 December 2013) [Contributo in Atti di convegno]

Paolo Bellavista; Antonio Corradi; Spyros Kotoulas; Andrea Reale, Dynamic datacenter resource provisioning for high-performance distributed stream processing with adaptive fault-tolerance, in: Proceedings of the Demo and Poster Track of ACM/IFIP/USENIX International Middleware Conference, ACM/IFIP, 2013, pp. 1 - 2 (atti di: Demo and Poster Track of ACM/IFIP/USENIX International Middleware Conference, MiddlewareDPT 2013, Beijing; China, 9 December 2013) [Contributo in Atti di convegno]

Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, in: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, NEW YORK, IEEE, 2013, pp. 378 - 387 (atti di: 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, New Orleans, USA, Giugno 25-28, 2013) [Contributo in Atti di convegno]