Smart Digital Industry - Publications
- Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
- Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
- Nocerino, E.; Lago, F.; Morabito, D.; Remondino, F.; Porzi, L.; Poiesi, F.; Rota Bulo, S.; Chippendale, P.; Locher, A.; Havlena, M.; Van Gool, L.; Eder, M.; Fötschl, A.; Hilsmann, A.; Kausch, L.; Eisert, P.; A Smartphone-based pipeline for the creative industry - The REPLICATE project; in «3D Virtual Reconstruction and Visualization of Complex Architectures»; 2017; pp. 535-541
- Erica, Nocerino; Fabio, Poiesi; Alex, Locher; Tefera, Yonas T.; Fabio, Remondino; Paul, Chippendale; Luc Van Gool,; 3D Reconstruction with a collaborative approach based on smartphones and a cloud-based server; in «5th International Workshop LowCost 3D - Sensors, Algorithms, Applications»; 2017; pp.
- Nicolo', Pretto; Fabio, Poiesi; Towards gesture-based multi-user interactions in collaborative virtual environments; in «5th International Workshop LowCost 3D - Sensors, Algorithms, Applications»; 2017; pp.
- Fabio, Poiesi; Alex, Locher; Paul, Chippendale; Erica, Nocerino; Fabio, Remondino; Luc Van Gool,; Cloud-based collaborative 3D reconstruction using smartphones; in «The 14th European Conference on Visual Media Production»; 2017; pp.
- Michela, Lecca; Osvaldo da Pos,; Communications and Comments N. 3; in «Cultura e Scienza del Colore / Color Culture and Science - Rivista dell'Associazione Italiana Colore / Journal of the Associazione Italiana Colore»; Vol. 8>; 2017; pp. 79-82
- Micheli, Andrea; Disjunctive temporal networks with uncertainty via SMT: Recent results and directions; in «INTELLIGENZA ARTIFICIALE»; Vol. 11>; 2017; pp. 155-178
- Scala, Enrico; Patrik, Haslum; Daniele, Magazzeni; Sylvie, Thiebaux; Landmarks for numeric planning problems; in «Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017)»; 2017; pp. 4384-4390
- Alban, Grastien; Scala, Enrico; Intelligent Belief State Sampling for Conformant Planning; in «Proceedings of the Twenty-Sixth International Joint Conference onArtificial Intelligence, IJCAI 2017, Melbourne, Australia, August19-25, 2017»; ijcai.org; 2017; pp. 4317-4323