3025 search results - page 313 / 605 » Automatic Programming of Robots Using Genetic Programming |
151
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
150
click to vote
ISM
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
154
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
150
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
134
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...