3025 search results - page 275 / 605 » Automatic Programming of Robots Using Genetic Programming |
118
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
162
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
143
click to vote
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Use of game-theoretic models to address patrolling applications has gained increasing interest in the very last years. The patrolling agent is considered playing a game against an...
130
click to vote
RAS
2008
15 years 3 months ago
2008
The robot described in this paper learns words that relate to objects and their attributes and also learns concepts, which may be recursive, that involve relationships between sev...
125
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Instance based locality optimization 6 is a semi automatic program restructuring method that reduces the number of cache misses. The method imitates the human approach of consideri...