Pubblicazioni

Pianini, Danilo; Beal, Jacob; Viroli, Mirko, Practical Aggregate Programming with Protelis, in: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 391 - 392 (atti di: 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Tucson, AZ, 2017) [Riassunto (Abstract)]

Viroli, Mirko; Pianini, Danilo; Ricci, Alessandro; Croatti, Angelo, Aggregate plans for multiagent systems, «INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING», 2017, 5, pp. 336 - 365 [Articolo in rivista]

Francia, Matteo; Pianini, Danilo; Beal, Jacob; Viroli, Mirko, Towards a foundational API for resilient distributed systems design, in: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 27 - 32 (atti di: 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Zema, Nicola Roberto; Trotta, Angelo; Sanahuja, Guillaume; Natalizio, Enrico; Di Felice, Marco; Bononi, Luciano, CUSCUS: CommUnicationS-control distributed simulator, in: 2017 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, New York, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 601 - 602 (atti di: 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, USA, 2017) [Contributo in Atti di convegno]

Zema, Nicola Roberto; Trotta, Angelo; Sanahuja, Guillaume; Natalizio, Enrico; Di Felice, Marco; Bononi, Luciano, CUSCUS: An integrated simulation architecture for distributed networked control systems, in: 2017 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, New York, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 287 - 292 (atti di: 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017, Las Vegas, USA, 8-11 Jan. 2017) [Contributo in Atti di convegno]

Trotta, Angelo; Di Felice, Marco; Chowdhury, Kaushik R.; Bononi, Luciano, Fly and recharge: Achieving persistent coverage using Small Unmanned Aerial Vehicles (SUAVs), in: IEEE International Conference on Communications, New York, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 1 - 7 (atti di: 2017 IEEE International Conference on Communications, ICC 2017, Parigi, Francia, May 21-25, 2017) [Contributo in Atti di convegno]

Bedogni, Luca; Trotta, Angelo; Di Felice, Marco; Gao, Yue; Zhang, Xingjian; Zhang, Qianyun; Malabocchia, Fabio; Bononi, Luciano, Dynamic Adaptive Video Streaming on Heterogeneous TVWS and Wi-Fi Networks, «IEEE-ACM TRANSACTIONS ON NETWORKING», 2017, 25, pp. 3253 - 3266 [Articolo in rivista]

Montori, Federico; Bedogni, Luca; Bononi, Luciano, Distributed data collection control in opportunistic mobile crowdsensing, in: SMARTOBJECTS 2017 - Proc. of the 3rd Workshop on Experiences with Design and Implementation of Smart Objects, co-located MobiCom 2017, New York, Association for Computing Machinery, Inc, 2017, pp. 19 - 24 (atti di: 3rd Workshop on Experiences with the Design and Implementation of Smart Objects, SMARTOBJECTS 2017, Snowbird, Utah, USA, October 16, 2017) [Contributo in Atti di convegno]

Andrea, Asperti; Carlo De Pieri, ; Gianluca, Pedrini, Rogueinabox: an Environment for Roguelike Learning., «INTERNATIONAL JOURNAL OF COMPUTERS», 2017, 2, pp. 146 - 154 [Articolo in rivista]

Andrea, Asperti; Carlo De Pieri, ; Mattia, Maldini; Gianmaria, Pedrini; Francesco, Sovrano, A Modular Deep-learning Environment for Rogue, «WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS», 2017, 12, pp. 362 - 373 [Articolo in rivista]

Poggi, Matteo; Tosi, Fabio; Mattoccia, Stefano, Quantitative Evaluation of Confidence Measures in a Machine Learning World, in: 2017 IEEE International Conference on Computer Vision (ICCV), New York, IEEE, 2017, pp. 5238 - 5247 (atti di: 16th edition of the IEEE International Conference on Computer Vision, Venice, Italy, October 22-29, 2017) [Contributo in Atti di convegno] Open Access

Tonioni, Alessio; Poggi, Matteo; Mattoccia, Stefano; Luigi Di, Stefano, Unsupervised Adaptation for Deep Stereo, in: Proceedings 16th edition of the IEEE International Conference on Computer Vision, IEEE, 2017, pp. 1614 - 1622 (atti di: IEEE International Conference on Computer Vision, Venice, Italy, October 22-29, 2017) [Contributo in Atti di convegno]

Tosi, F.; Poggi, M.; Mattoccia, S.; Tonioni, A.; Di Stefano, L.;, Learning confidence measures in the wild, in: Proceedings of 28th British Machine Vision Conference 2017 (BMVC 2017), The British Machine Vision Association and Society for Pattern Recognition, 2017, pp. 1 - 13 (atti di: 28th British Machine Vision Conference 2017 (BMVC 2017), London, Imperial College, 4th-7th September 2017) [Contributo in Atti di convegno]

Poggi, Matteo; Tosi, Fabio; Mattoccia, Stefano, Efficient confidence measures for embedded stereo, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10484, pp. 483 - 494 (atti di: 19th International Conference on Image Analysis and Processing, ICIAP 2017, ita, 2017) [Contributo in Atti di convegno]

Dal Lago, Ugo; Tanaka, Ryo; Yoshimizu, Akira, The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens, in: Lago, Ugo Dal, Proceedings - Symposium on Logic in Computer Science, 2017, pp. 1 - 12 (atti di: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 2017) [Contributo in Atti di convegno]

Avanzini, Martin; Dal Lago, Ugo, Automating sized-type inference for complexity analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [Articolo in rivista]

Dal Lago, Ugo; Gavazzo, Francesco; Levy, Paul Blain, Effectful applicative bisimilarity: Monads, relators, and Howe's method, in: Proceedings - Symposium on Logic in Computer Science, IEEE, 2017, pp. 1 - 12 (atti di: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 2017) [Contributo in Atti di convegno]

Avanzini, Martin; Ugo Dal, Lago, Automating sized-Type inference and complexity analysis, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2017, 248, pp. 7 - 16 (atti di: 8th Workshop on Developments in Implicit Computational ComplExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis, DICE-FOPARA 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Poggi, Matteo; Mattoccia, Stefano, Learning to Predict Stereo Reliability Enforcing Local Consistency of Confidence Maps, in: Proceedings of 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), IEEE, 2017, pp. 4541 - 4550 (atti di: IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Honolulu, Hawaii (USA), July 21-26, 2017) [Contributo in Atti di convegno]

Poggi, Matteo; Tosi, Fabio; Mattoccia, Stefano, Even More Confident Predictions with Deep Machine-Learning, in: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, IEEE Computer Society, «IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS», 2017, 2017-, pp. 393 - 401 (atti di: 12th IEEE Embedded Vision Workshop (EVW2017) held in conjunction with IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2017), Honolulu, Hawaii (USA), usa, 2017) [Contributo in Atti di convegno]