8621 search results - page 1516 / 1725 » Design for interaction |
200
click to vote
AADEBUG
2005
Springer
16 years 2 days ago
2005
Springer
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...
153
click to vote
AAMAS
2005
Springer
16 years 2 days ago
2005
Springer
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...
164
click to vote
AIED
2005
Springer
16 years 2 days ago
2005
Springer
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...
152
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
171
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
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...