9477 search results - page 41 / 1896 » Design is as Easy as Optimization |
ICML
2003
IEEE
14 years 11 months ago
2003
IEEE
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
The restarted line search, or coordinate-wise search, algorithm is tested on the BBOB 2009 testbed. Two different univariate search algorithms (fminbnd from MATLAB and STEP) were...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper proposes a new algorithm to identify and compose building blocks based on minimum mutual information criterion. Building blocks are interpreted as common subsequence...
CP
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a new optimization metaheuristic called ID Walk (Intensification/Diversification Walk) that offers advantages for combining simplicity with effectiveness. In ad...