4155 search results - page 376 / 831 » Topic-Specific Optimization and Structuring |
203
click to vote
EUROGP
2007
Springer
16 years 1 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. ...
187
click to vote
ECML
2005
Springer
16 years 28 days ago
2005
Springer
We propose in this paper a novel approach to the induction of the structure of Hidden Markov Models. The induced model is seen as a lumped process of a Markov chain. It is construc...
193
click to vote
GECCO
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper we give a representation-independent topological definition of crossover that links it tightly to the notion of fitness landscape. Building around this defi...
191
click to vote
CP
2003
Springer
16 years 19 days ago
2003
Springer
Knapsack constraints are a key modeling structure in discrete optimization and form the core of many real-life problem formulations. Only recently, a cost-based filtering algorit...
195
click to vote
GECCO
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. A hybrid genetic algorithm is proposed for the sequential ordering problem. It is known that the performance of a genetic algorithm depends on the survival environment an...