04b Atto di convegno in volume
-
-
In this work we esplore how a conversational user interface can be employed to offer engaging experiences in museums through what we call “artboats”. Art-boats interact with visitors through chat and convey information about the museum artifacts and history through short stories. We take a...
-
It is well-known that answering conjunctive queries with inequalities (CQ≠s) over DL-LiteR ontologies is in general undecidable. In this paper we consider the subclass of CQ≠s, called CQ≠,bs, where inequalities involve only distinguished variables or individuals. In particular, we tackle the...
-
-
Modern software systems require the support of automatic program analyses to answer questions about their correctness, reliability, and safety. In recent years, symbolic execution techniques have played a pivotal role in this field, backing research in different domains such as software testing and...
-
As freelancing work keeps on growing almost everywhere due to a sharp decrease in communication costs and to the widespread of Internet-based labour marketplaces (e.g., guru.com, feelancer.com, mturk.com, upwork.com), many researchers and practitioners have started exploring the benefits of...
-
We review our research results on safe control of physical Human-Robot Interaction to handle collision detection/classification, coexistence in the workspace, and collaboration with intentional contacts or by visual coordination, using model-based techniques and real-time monitoring by sensors.
-
-
We review our research results on safe control of physical Human-Robot Interaction to handle collision detection/classification, coexistence in the workspace, and collaboration with intentional contacts or by visual coordination, using model-based techniques and real-time monitoring by sensors.
-