4814 search results - page 416 / 963 » Combining abstract interpreters |
156
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We study optimal trajectory generation for nonholonomic mobile robots in the presence of moving obstacles. The trajectory is presented by a parameterized higher-order p...
218
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
172
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The goal of developing algorithms for programming robots by demonstration is to create an easy way of programming robots that can be accomplished by everyone. When a de...
247
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
180
click to vote
ADBIS
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents an approach to combine knowledge from memory and brain sciences with information retrieval research in the design of Web agents. An information retrieval agent f...