In order to support the navigation in huge document collections efficiently, tagged hierarchical structures can be used. Often, multiple tags are used to describe resources. For u...
The ability to interpret demonstrations from the perspective of the teacher plays a critical role in human learning. Robotic systems that aim to learn effectively from human teach...
Matt Berlin, Jesse Gray, Andrea Lockerd Thomaz, Cy...
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
Heuristic evaluation is a well known discount evaluation technique in HCI but has not been utilized in Information Visualization (InfoVis) to the same extent. While several sets o...
Torre Zuk, Lothar Schlesier, Petra Neumann, Mark S...
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...