Pubblicazioni

Dal Lago U.; Leventis T., On the Taylor expansion of probabilistic λ-terms, in: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contributo in Atti di convegno] Open Access

Bellavista P.; Mora A., Edge cloud as an enabler for distributed AI in industrial IoT applications: The experience of the iotwins project, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2019, 2502, pp. 1 - 15 (atti di: 1st Workshop on Artificial Intelligence and Internet of Things, AI and IoT 2019, ita, 2019) [Contributo in Atti di convegno]

Mauro Gaspari; Margherita Donnici, Weekend in Rome: A Cognitive Training Exercise based on Planning, in: Socio-Affective Technologies: an interdisciplinary approach SAT 2019, CEUR, «CEUR WORKSHOP PROCEEDINGS», 2019, 2474, pp. 37 - 42 (atti di: Workshop Socio-Affective Technologies: an interdisciplinary approach co-located with IEEE SMC 2019 (Systems, Man and Cybernetics), Bari, Italy, October 7th, 2019.) [Contributo in Atti di convegno]

Lago, Ugo Dal; Gavazzo, Francesco, On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, in: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019., 2019, 347, pp. 121 - 141 (atti di: Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, London, UK, June 4-7, 2019) [Contributo in Atti di convegno]

Moro G.; Pasolini R.; Dardari D., LOS/NLOS Wireless Channel Identification based on Data Mining of UWB Signals, in: DATA 2019 - Proceedings of the 8th International Conference on Data Science, Technology and Applications, SciTePress, 2019, pp. 416 - 425 (atti di: 8th International Conference on Data Science, Technology and Applications, DATA 2019, Prague; Czech Republic;, 26 July 2019) [Contributo in Atti di convegno]

Lanese I.; Palacios A.; Vidal G., Causal-Consistent Replay Debugging for Message Passing Programs, in: Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11535, pp. 167 - 184 (atti di: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, 2019) [Contributo in Atti di convegno] Open Access

S. Melzi; R. Spezialetti; F. Tombari; M. M. Bronstein; L. Di Stefano; E. Rodolà, Gframes: Gradient-based local reference frame for 3D shape matching, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE Computer Society, «IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2019, 2019, pp. 4624 - 4633 (atti di: 32nd IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019, usa, 2019) [Contributo in Atti di convegno]

Ciaccia P.; Martinenghi D.; Torlone R., Finding preferred objects with taxonomies, in: CONCEPTUAL MODELING, ER 2019, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11788, pp. 397 - 411 (atti di: 38th International Conference on Conceptual Modeling, ER 2019, Salvador, Brazil, November 4-7, 2019) [Contributo in Atti di convegno]

Bedo M.; Ciaccia P.; Martinenghi D.; de Oliveira D., A k–Skyband Approach for Feature Selection, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11807, pp. 160 - 168 (atti di: 12th International Conference on Similarity Search and Applications, SISAP 2019, Newark, NJ, USA, 2019) [Contributo in Atti di convegno]

Paolo Ciaccia; Davide Martinenghi, Flexible Score Aggregation, in: Proceedings of the 27th Italian Symposium on Advanced Database Systems, «CEUR WORKSHOP PROCEEDINGS», 2019, 2400, pp. 5.1 - 5.8 (atti di: 27th Italian Symposium on Advanced Database Systems, SEBD 2019, Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019) [Contributo in Atti di convegno]

Tonioni A.; Rahnama O.; Joy T.; DI Stefano L.; Ajanthan T.; Torr P.H.S., Learning to adapt for stereo, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE Computer Society, «PROCEEDINGS - IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2019, 2019-, pp. 9653 - 9662 (atti di: 32nd IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019, usa, 2019) [Contributo in Atti di convegno]

Mikulski L.; Lanese I., Reversing Unbounded Petri Nets, in: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11522, pp. 213 - 233 (atti di: 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, Aachen, Germany, 2019) [Contributo in Atti di convegno] Open Access

Marcon Marlon; Spezialetti Riccardo; Salti Samuele; Silva Luciano; Di Stefano Luigi, Boosting Object Recognition in Point Clouds by Saliency Detection, in: New Trends in Image Analysis and Processing – ICIAP 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11808, pp. 321 - 331 (atti di: Industrial session held at the 20th International Conference on Image Analysis and Processing, ICIAP 2019, Italia, 13/09/2019) [Contributo in Atti di convegno]

Spezialetti Riccardo; Salti Samuele; Di Stefano Luigi, Performance evaluation of learned 3D features, in: Image Analysis and Processing – ICIAP 2019, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11751, pp. 519 - 531 (atti di: 20th International Conference on Image Analysis and Processing, ICIAP 2019, Trento, Italia, 2019) [Contributo in Atti di convegno]

Poggi F.; Ciancarini P.; Di Iorio A.; Peroni S.; Vitali F., Exploiting coordinated views for scholarly reading and analysis, in: Proceedings - DMSVIVA 2019: 25th International DMS Conference on Visualization and Visual Languages, Knowledge Systems Institute Graduate School, KSI Research Inc., 2019, 2019, pp. 113 - 124 (atti di: 25th International Distributed Multimedia Systems Conference on Visualization and Visual Languages, DMSVIVA 2019, Lisbon, Portugal, 2019) [Contributo in Atti di convegno]

Di Iorio A.; Poggi F.; Peroni S., Open data to evaluate academic researchers: An experiment with the Italian Scientific Habilitation, in: 17th International Conference on Scientometrics and Informetrics, ISSI 2019 - Proceedings, International Society for Scientometrics and Informetrics, 2019, 2, pp. 2133 - 2144 (atti di: 17th International Conference on Scientometrics and Informetrics, ISSI 2019, Rome, Italy, 2019) [Contributo in Atti di convegno]

Bravi Luca; Simoncini Matteo; Taccari Leonardo; Sarti Leonardo; Caprasecca Stefano; Benericetti Andrea; Lori Alessandro; Salti Samuele; Sambo Francesco, Fault detection in non-reporting Vehicle Tracking Units, in: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, IEEE, «PROCEEDINGS IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS», 2019, pp. 2791 - 2796 (atti di: 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Cordis Hotel, 83 Symonds St, Grafton, New Zealand, 2019) [Contributo in Atti di convegno]

Spezialetti, Riccardo; Salti, Samuele; Stefano, Luigi Di, Learning an Effective Equivariant 3D Descriptor Without Supervision, in: 2019 IEEE/CVF International Conference on Computer Vision (ICCV), «PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION», 2019, pp. 6400 - 6409 (atti di: 2019 IEEE/CVF International Conference on Computer Vision (ICCV), Seoul, South Korea, 27 Oct.-2 Nov. 2019) [Contributo in Atti di convegno]

Ramirez, Pierluigi Zama; Tonioni, Alessio; Salti, Samuele; Stefano, Luigi Di, Learning Across Tasks and Domains, in: 2019 IEEE/CVF International Conference on Computer Vision (ICCV), IEEE, «PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION», 2019, pp. 8109 - 8118 (atti di: 2019 IEEE/CVF International Conference on Computer Vision (ICCV), Seoul, South Korea, 27 Oct.-2 Nov. 2019) [Contributo in Atti di convegno]

Bellavista P.; Foschini L.; Ghiselli N., Analysis of growth strategies in social media: The instagram use case, in: IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD, Institute of Electrical and Electronics Engineers Inc., «... IEEE ... INTERNATIONAL WORKSHOP ON COMPUTER AIDED MODELING AND DESIGN OF COMMUNICATION LINKS AND NETWORKS», 2019, 2019-, pp. 1 - 7 (atti di: 24th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD 2019, cyp, 2019) [Contributo in Atti di convegno]