5216 search results - page 607 / 1044 » Planning as Model Checking |
175
click to vote
EPEW
2007
Springer
16 years 29 days ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
160
click to vote
FSR
2005
Springer
16 years 10 days ago
2005
Springer
In the near future, off-road mobile robots will feature high levels of autonomy which will render them useful for a variety of tasks on Earth and other planets. Many terrestrial a...
158
click to vote
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
An audio fingerprint is a compact representation of the perceptually relevant parts of audio content. A suitable audio fingerprint can be used to identify audio files, even if ...
178
click to vote
DARS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The connectivity of the con guration space has been a valuable concept in the motion planning for single robots in both known and unknown terrains. We show here that n-co...
206
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a simple and efficient method of modeling synthetic vision, memory, and learning for autonomous animated characters in real-time virtual environments. The mode...