5216 search results - page 355 / 1044 » Planning as Model Checking |
147
click to vote
WSC
2007
15 years 7 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
137
click to vote
AAAI
2010
15 years 6 months ago
2010
It is well known that there cannot be a single "best" heuristic for optimal planning in general. One way of overcoming this is by combining admissible heuristics (e.g. b...
148
click to vote
GEOINFO
2003
15 years 6 months ago
2003
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
126
click to vote
NN
2006
Springer
15 years 5 months ago
2006
Springer
The Vector Integration to Endpoint (VITE) circuit describes a real-time neural network model simulating behavioral and neurobiological properties of planned arm and hand movements...
161
click to vote
AROBOTS
2008
15 years 3 months ago
2008
Abstract Many elderly and physically impaired people experience difficulties when maneuvering a powered wheelchair. In order to provide improved maneuvering, powered wheelchairs ha...