3136 search results - page 232 / 628 » Genetic programming theory |
178
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
180
click to vote
AIEDAM
2008
15 years 6 months ago
2008
This paper discusses the application of genetic programming to the synthesis of compound two-dimensional kinematic mechanisms, and benchmarks the results against one of the classi...
146
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
175
click to vote
MPC
1989
Springer
15 years 10 months ago
1989
Springer
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...
159
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...