1912 search results - page 141 / 383 » GOAL as a Planning Formalism |
186
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
163
click to vote
JVCA
2002
15 years 6 months ago
2002
In this paper, we describe a method for implementing the behaviour of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype...
143
click to vote
ASPDAC
2006
ACM
16 years 11 days ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
139
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
163
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...