6693 search results - page 1050 / 1339 » Methods of Automatic Algorithm Generation |
139
Voted
ESWA
2006
15 years 3 months ago
2006
In this paper we propose a meta-evolutionary approach to improve on the performance of individual classifiers. In the proposed system, individual classifiers evolve, competing to ...
126
click to vote
LISP
2008
15 years 3 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
114
click to vote
MP
2006
15 years 3 months ago
2006
We consider two-stage pure integer programs with discretely distributed stochastic right-hand sides. We present an equivalent superadditive dual formulation that uses the value fun...
139
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
118
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
This paper presents an algorithm for robust optimal control of regular languages under specified uncertainty bounds on the event cost parameters of the language measure that has b...