3025 search results - page 329 / 605 » Automatic Programming of Robots Using Genetic Programming |
102
click to vote
JCC
2008
15 years 3 months ago
2008
Abstract: We present a method for simultaneous three-dimensional (3D) structure generation and pharmacophorebased alignment using a self-organizing algorithm called Stochastic Prox...
120
click to vote
IJCAI
2001
15 years 5 months ago
2001
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
128
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
132
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
113
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...