Smart Digital Industry - Publications
- Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Formal Methods in Computer-Aided Design, FMCAD 2012; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
- Michela, Lecca; Carla Maria Modena, ; Alessandro, Rizzi; Using pixel intensity as a self-regulating threshold for deterministic image sampling in Milano Retinex: the T-Rex algorithm; in «JOURNAL OF ELECTRONIC IMAGING»; Vol. 27>; 2018; pp. 1-12
- Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
- Sudhakaran, Swathikiran; Lanz, Oswald; 17th International Conference of the Italian Association for Artificial Intelligence; Top-down Attention Recurrent VLAD Encoding for Action Recognition in Videos; in «Springer LNAI Proceedings of AI*IA 2018»; 2018; pp. 12
- Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
- Giordan, D.; Hayakawa, H.; Nex, F.; Remondino, F.; Tarolli, P.; The use of remotely piloted aircraft systems (RPASs) for natural hazards monitoring and management; in «NATURAL HAZARDS AND EARTH SYSTEM SCIENCES»; Vol. 18>; 2018; pp. 1079-1096
- 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
- Lecca, Michela; STAR: A Segmentation-based Approximation of point-based sampling Milano Retinex for Color Image Enhancement; in «IEEE TRANSACTIONS ON IMAGE PROCESSING»; Vol. 27>; 2018; pp. 5802-5812
- Zieher, T.; Toschi, I.; Remondino, F.; Rutzinger, M.; Kofler, Ch.; Mejia-Aguilar, A.; Schlögel, R.; ISPRS TC II Mid-term Symposium “Towards Photogrammetry 2020”; Sensor- and scene-guided integration of TLS and photogrammetric point clouds for landslide monitoring; in «The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XLII-2»; 2018; pp. 1243-1250
- Mancini, Massimiliano; Rota Bulò, Samuel; Caputo, Barbara; Ricci, Elisa; Robust Place Categorization With Deep Domain Generalization; in «IEEE ROBOTICS AND AUTOMATION LETTERS»; Vol. 3>; 2018; pp. 2093-2100