6102 search results - page 489 / 1221 » Generating Optimizing Specializers |
146
Voted
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
An appealing feature of interior methods for linear programming is that the number of iterations required to solve a problem tends to be relatively insensitive to the choice of in...
136
click to vote
VMCAI
2005
Springer
15 years 10 months 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...
154
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
151
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...
114
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
It has been shown empirically that the XCS classifier system solves typical classification problems in a machine learning competitive way. However, until now, no learning time es...