197 search results - page 17 / 40 » Advances in Local Search for Satisfiability |
202
Voted
ICDE
2004
IEEE
16 years 1 months ago
2004
IEEE
Recent advances in research fields like multimedia and bioinformatics have brought about a new generation of hyper-dimensional databases which can contain hundreds or even thousan...
102
click to vote
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— The DNA fragment assembly problem is to reconstruct a DNA chain from multiple fragments that have previously been sequenced in a laboratory. This is a critical step in ...
98
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Discovering users' specific and implicit geographic intention in web search can greatly help satisfy users' information needs. We build a geo intent analysis system that...
91
Voted
ANOR
2010
15 years 17 days ago
2010
The design of effective neighborhood structures is fundamentally important for creating better local search and metaheuristic algorithms for combinatorial optimization. Significant...
88
Voted
JSAT
2008
15 years 12 days ago
2008
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...