3025 search results - page 195 / 605 » Automatic Programming of Robots Using Genetic Programming |
120
Voted
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
166
click to vote
ENTCS
2006
15 years 3 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
135
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
109
click to vote
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
127
click to vote
AAAI
2008
15 years 5 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...