5216 search results - page 809 / 1044 » Planning as Model Checking |
142
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
168
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
157
click to vote
KIVS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
176
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
162
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...