5216 search results - page 685 / 1044 » Planning as Model Checking |
172
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Advancing technology drives design technology and thus design automation EDA . How to model interconnect, how to handle degradation of signal integrity and increasing power densi...
137
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
: Locomotion and navigation of a surface walking/climbing robot – Planar Walker, based on a novel planar 8-bar mechanism are studied. The robot moves on a surface through decoupl...
167
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
163
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we investigate methods for enabling a human operator and an automatic motion planner to cooperatively solve a motion planning query. Our work is motivated by our ex...
180
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...