2972 search results - page 72 / 595 » Representing the Knowledge of a Robot |
169
click to vote
FOSSACS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
160
click to vote
IROS
2009
IEEE
16 years 23 days ago
2009
IEEE
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
132
click to vote
IROS
2008
IEEE
16 years 16 days ago
2008
IEEE
— Recent advances in self-supervised learning have enabled very long-range visual detection of obstacles and pathways (to 100 hundred meters or more). Unfortunately, the category...
154
click to vote
IROS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— Real-world robotic environments are highly structured. The scalability of planning and reasoning methods to cope with complex problems in such environments crucially de...
174
click to vote
ICRA
2006
IEEE
16 years 5 days ago
2006
IEEE
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...