5216 search results - page 360 / 1044 » Planning as Model Checking |
111
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— A fundamental problem in the field of motor neuroscience is to understand how our brain generates appropriate motor commands for precise movements effortlessly. The problem se...
144
Voted
AH
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a system that delivers travel guides tailored to individual needs. It does so by integrating a discourse planner with a system for querying the web and genera...
155
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
133
Voted
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
151
click to vote
AUTOMATICA
2007
15 years 5 months ago
2007
The sensor scheduling problem can be formulated as a controlled hidden Markov model and this paper solves the problem when the state, observation and action spaces are continuous....