Sciweavers

956 search results - page 67 / 192
» Dimensions in program synthesis
Sort
View
GECCO
2005
Springer
110views Optimization» more  GECCO 2005»
14 years 3 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
GECCO
2005
Springer
14 years 3 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...
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
13 years 11 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
FOSSACS
2009
Springer
14 years 4 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
13 years 11 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