589 search results - page 86 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
149
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
The quality of a local search engine, such as Google and Bing Maps, heavily relies on its geographic datasets. Typically, these datasets are obtained from multiple sources, e.g., ...
175
click to vote
GIS
2008
ACM
16 years 25 days ago
2008
ACM
In this paper, we consider the following scenario: a set of mobile objects continuously track their positions in a road network and are able to communicate with a central server. ...
AAAI
1998
15 years 1 months ago
1998
Probabilistic models have recently been utilized for the optimization of large combinatorial search problems. However, complex probabilistic models that attempt to capture interpa...
103
click to vote
FGCS
2007
14 years 11 months ago
2007
: Metaschedulers in the Grid needs dynamic information to support their scheduling decisions. Job response time on computing resources, for instance, is such a performance metric. ...
100
click to vote
CRV
2008
IEEE
15 years 6 months ago
2008
IEEE
Dense stereo algorithms rely on matching over a range of disparities. To speed up the search and reduce match ambiguity, processing can be embedded in the hierarchical, or coarse-...