940 search results - page 88 / 188 » Control Abstractions for Local Search |
106
Voted
CEC
2005
IEEE
15 years 9 months 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...
128
Voted
CVBIA
2005
Springer
15 years 9 months 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 ...
157
Voted
ANTSW
2004
Springer
15 years 9 months 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 ...
117
Voted
GECCO
2004
Springer
15 years 9 months 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...
118
Voted
SAT
2004
Springer
15 years 9 months 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 ...