3025 search results - page 307 / 605 » Automatic Programming of Robots Using Genetic Programming |
157
Voted
SOSL
1993
15 years 8 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
137
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
152
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
137
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The estimation of demographic parameters from genetic data often requires the computation of likelihoods. However, the likelihood function is computationally intractab...
157
click to vote
IJRR
2007
15 years 3 months ago
2007
An algorithm is presented for wheeled mobile robot trajectory generation that achieves a high degree of generality and efficiency. The generality derives from numerical lineariza...