940 search results - page 88 / 188 » Control Abstractions for Local Search |
153
click to vote
CEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
175
click to vote
CVBIA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. A method for the non-rigid, multi-modal, registration of volumetric scans of human hands is presented. PET and MR scans are aligned by optimising the configuration of a ...
203
Voted
ANTSW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we present a study of several Ant Colony Optimization (ACO) algorithms for the Set Covering Problem. In our computational study we emphasize the influence ...
155
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...
146
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...