3136 search results - page 97 / 628 » Genetic programming theory |
126
click to vote
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
128
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
In earlier work we predicted program size would grow in the limit at a quadratic rate and up to fty generations we measured bloat O(generations1:2;1:5). On two simple benchmarks w...
149
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper introduces a metric that measures symmetry in tree graphs, which allows for a statistical characterization of GP solutions by their architectural "shapes." A ...
129
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
POPL
2012
ACM
13 years 11 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation