882 search results - page 83 / 177 » Local Search for Very Large SAT Problems |
119
click to vote
COR
2010
15 years 4 months ago
2010
In this paper we propose a new hybrid heuristic for solving 0-1 mixed integer programs based on the principle of variable neighbourhood decomposition search. It combines variable ...
125
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
The performance of Evolutionary Programming (EP) is affected by many factors (e.g. mutation operators and selection strategies). Although the conventional approach with Gaussian mu...
124
click to vote
CVPR
2010
IEEE
16 years 16 days ago
2010
IEEE
The traditional SPM approach based on bag-of-features (BoF) must use nonlinear classifiers to achieve good image classification performance. This paper presents a simple but effec...
164
click to vote
WCE
2007
15 years 5 months ago
2007
Abstract—Docking simulates molecular interactions. Protein - protein docking, owing to the sizes of molecules, is a very challenging problem. As the number of degrees of freedom ...
141
click to vote
ICCS
2009
Springer
15 years 1 months ago
2009
Springer
The Jaccard/Tanimoto coefficient is an important workload, used in a large variety of problems including drug design fingerprinting, clustering analysis, similarity web searching a...