3136 search results - page 445 / 628 » Genetic programming theory |
214
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
156
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. In this paper we investigate and compare four aesthetic measures within the context of evolutionary art. We evolve visual art with an unsupervised evolutionary art system...
186
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
169
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, two approaches to utilizing contextual information in semantic image analysis are presented and comparatively evaluated. Both approaches make use of spatial context...
190
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...