To provide intelligent services in a smart environments it is necessary to acquire information about the room, the people in it and their interactions. This includes, for example,...
Rainer Stiefelhagen, Keni Bernardin, Hazim Kemal E...
This paper reports on a project federally funded by the Australian CRC for Interaction Design (ACID). It investigates the use of a 3D game engine as a landscape metaphor for hosti...
Abstract— This paper introduces a methodology for HumanRobot Interaction (HRI) experiments that involves soliciting the general public for participation. In particular, it review...
Douglas A. Few, Christine M. Roman, David J. Bruem...
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...