One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
The ability to determine a sequence of actions in order to reach a particular goal is of utmost importance to mobile robots. One major problem with symbolic planning approaches re...
This paper reports a pilot study of how to utilize simulated animal companions to encourage students to pay more effort in their study in the classroom environment. A class of stud...
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
Today, communication devices are evolving towards friendly–user interactivity while permanently eyeing towards 3D display technologies. As such, 3D face generation, modelling an...
Mark Chan, Patrice Delmas, Georgy L. Gimel'farb, P...