1722 search results - page 104 / 345 » Guided Genetic Programming |
119
click to vote
EUROGP
2007
Springer
15 years 9 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. ...
119
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
123
Voted
COORDINATION
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
123
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...
144
Voted
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 ...