908 search results - page 115 / 182 » Heuristic Methods for Solving Job-Shop Scheduling Problems |
123
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Adaptive Memetic Algorithms couple an evolutionary algorithm with a number of local search heuristics for improving the evolving solutions. They are part of a broad family of meta...
122
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present an approach that extends the Particle Swarm Optimization (PSO) algorithm to handle multiobjective optimization problems by incorporating the mechanism of...
123
Voted
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
129
Voted
CONSTRAINTS
2008
15 years 3 months ago
2008
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...
163
Voted
PAMI
2012
13 years 6 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...