9787 search results - page 302 / 1958 » A Utile Function Optimizer |
169
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
186
click to vote
FSTTCS
2004
Springer
16 years 1 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
181
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
178
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...
195
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
It is possible for a GA to have two stable fixed points on a single-peak fitness landscape. These can correspond to meta-stable finite populations. This phenomenon is called bis...