3025 search results - page 149 / 605 » Automatic Programming of Robots Using Genetic Programming |
MICAI
2004
Springer
15 years 8 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
118
click to vote
ADAEUROPE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
215
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
138
click to vote
RIDE
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a method of automatically creating hypermedia documents from conventional transcriptions of television programs. Using parallel text alignment techniques, the ...
146
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Approximate dynamic programming has been used successfully in a large variety of domains, but it relies on a small set of provided approximation features to calculate solutions re...