Much computer-based learning is largely passive, based primarily on task-based, exercise-driven interactions. We argue that computers have greater potential for promoting more act...
An optimization problem that naturally arises in the study of swarm robotics is the Freeze-Tag Problem (FTP) of how to awaken a set of "asleep" robots, by having an awak...
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...
— This paper is concerned with determining whether a mobile robot, called the pursuer, is up to maintaining visibility of an antagonist agent, called the evader. This problem, a ...
This paper represents a personal view of the state of HCI as a design discipline and as a scientific discipline, and how this is changing in the face...