Sciweavers

956 search results - page 67 / 192
» Dimensions in program synthesis
Sort
View
147
Voted
GECCO
2005
Springer
110views Optimization» more  GECCO 2005»
15 years 8 months ago
Towards identifying populations that increase the likelihood of success in genetic programming
This paper presents a comprehensive, multivariate account of how initial population material is used over the course of a genetic programming run as while various factors influenc...
Jason M. Daida
128
Voted
GECCO
2005
Springer
15 years 8 months ago
Probing for limits to building block mixing with a tunably-difficult problem for genetic programming
This paper describes a tunably-difficult problem for genetic programming (GP) that probes for limits to building block mixing and assembly. The existence of such a problem can be ...
Jason M. Daida, Michael E. Samples, Matthew J. Byo...
110
Voted
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
15 years 3 months ago
Combining cartesian genetic programming with an estimation of distribution algorithm
This paper describes initial testing of a novel idea to combine a CGP with an EDA. In recent work a new improved crossover technique was successfully applied to a CGP. To implemen...
Janet Clegg
120
Voted
FOSSACS
2009
Springer
15 years 9 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
BIRTHDAY
2010
Springer
15 years 3 months ago
On the Power of Play-Out for Scenario-Based Programs
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
David Harel, Amir Kantor, Shahar Maoz