589 search results - page 88 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
101
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We extend the Evolution Strategy with Covariance Matrix Adaptation (CMA-ES) by collaborative concepts from Particle Swarm Optimization (PSO). The proposed Particle Swarm CMA-ES...
205
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...
PR
2010
14 years 6 months ago
2010
Many algorithms in image analysis require a priority queue, a data structure that holds pointers to pixels in the image, and which allows efficiently finding the pixel in the queu...
105
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A relevant problem in drug design is the comparison and recognition of protein binding sites. Binding sites recognition is generally based on geometry often combined w...