2266 search results - page 363 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
109
Voted
CCE
2005
15 years 4 months ago
2005
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal catalysts is presented in this paper. Previous CAMD rese...
131
click to vote
SIAMJO
2002
15 years 3 months ago
2002
This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. ...
111
click to vote
TROB
2002
15 years 3 months ago
2002
Abstract-- The problem addressed is the distributed reconfiguration of a metamorphic robotic system composed of an arbitrary number of two dimensional hexagonal robots (modules) fr...
131
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we show a reduction from the Unique Games problem to the problem of approximating MAX-CUT to within a factor of GW + , for all > 0; here GW .878567 denotes the a...
138
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Point estimates of the parameters in real world models convey valuable information about the actual system. However, parameter comparisons and/or statistical inference requires de...