882 search results - page 70 / 177 » Local Search for Very Large SAT Problems |
BMCBI
2006
14 years 12 months ago
2006
Background: Molecular biologists work with DNA databases that often include entire genomes. A common requirement is to search a DNA database to find exact matches for a nondegener...
138
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
106
click to vote
WWW
2004
ACM
16 years 16 days ago
2004
ACM
Without textual descriptions or label information of images, searching semantic concepts in image databases is still a very challenging task. While automatic annotation techniques...
CEC
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract—A key parameter affecting the operation of differential evolution (DE) is the crossover rate Cr ∈ [0, 1]. While very low values are recommended for and used with separ...
DAC
2002
ACM
16 years 25 days ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...