Sciweavers

1219 search results - page 242 / 244
» Combining planning and motion planning
Sort
View
AAI
1999
125views more  AAI 1999»
13 years 9 months ago
Deictic Believability: Coordinated Gesture, Locomotion, and Speech in Lifelike Pedagogical Agents
Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support students' problem solving. Because of their strong visual ...
James C. Lester, Jennifer L. Voerman, Stuart G. To...
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
13 years 9 months ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...
TROB
2002
149views more  TROB 2002»
13 years 9 months ago
LOST: localization-space trails for robot teams
Abstract-We describe Localization-Space Trails (LOST), a method that enables a team of robots to navigate between places of interest in an initially unknown environment using a tra...
Richard T. Vaughan, Kasper Støy, Gaurav S. ...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
MICCAI
2010
Springer
13 years 7 months ago
Construction of Patient Specific Atlases from Locally Most Similar Anatomical Pieces
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...
Liliane Ramus, Olivier Commowick, Grégoire ...