2972 search results - page 124 / 595 » Representing the Knowledge of a Robot |
146
click to vote
JAPLL
2006
15 years 6 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
209
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
192
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The ability to detect, and track multiple moving objects like person and other robots, is an important prerequisite for mobile robots working in dynamic indoor environments. We...
176
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— Computing optimal paths for mobile robots is an interesting and important problem. This paper presents a method to compute the shortest path for a differential-drive mobile rob...
171
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...