Reactive synthesis holds the promise of generating automatically a verifiably correct program from a high-level specification. A popular such specification language is Linear Temporal Logic (LTL). Unfortunately, synthesizing programs from general LTL formulas, which relies on first constructing a...
04b Atto di convegno in volume
-
-
Industry 4.0 represents the last evolution of manufacturing. With respect to Industry 3.0, which introduced the digital interconnection of machinery with monitoring and control systems, the fourth industrial revolution extends this concept to sensors, products and any kind of object or actor (thing...
-
Industry 4.0 represents the last evolution of manufacturing. With respect to Industry 3.0, which introduced the digital interconnection of machinery with monitoring and control systems, the fourth industrial revolution extends this concept to sensors, products and any kind of object or actor (thing...
-
The term Industry 4.0 is used to denote the last evolution of manufacturing, concerning the large employment of information technologies, Internet-of-Things (IoT) and Artificial Intelligence (AI) to reduce the costs and produce high quality products. Even though many manufacturers declare...
-
Smart homes represent examples of cyber-physical environments realizing the paradigm known as ambient intelligence. An information system supporting ambient intelligence takes as input raw sensor measurements and analyzes them to eventually make decisions following final user preferences and needs...
-
Entity resolution (ER) aims at matching records that refer to the same real-world entity, e.g., the same product sold by different websites. Recent solutions to this problem have reached unprecedented accuracy. Nonetheless, due to intrinsic limitations of automatic testing methods, it is known...
-
The knowledge of the environmental depth is essential in multiple robotics and computer vision tasks for both terrestrial and underwater scenarios. Recent works aim at enabling depth perception using single RGB images on deep architectures, such as convolutional neural networks and vision...
-
The environmental monitoring task has greatly benefited from the improvements achieved in the robotics field. The enhancement of navigation and control algorithms, together with the use of performing, small and low-cost sensors, allows in fact to reduce the implementation costs while improving the...
-
One of the main issues for underwater robots navigation is their accurate positioning, which heavily depends on the orientation estimation phase. The systems employed to this scope are affected by different noise typologies, mainly related to the sensors and to the irregular noise of the underwater...
-
The ability to generalize across visual domains is crucial for the robustness of artificial recognition systems. Although many training sources may be available in real contexts, the access to even unlabeled target samples cannot be taken for granted, which makes standard unsupervised domain...