589 search results - page 109 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
We address the problem of efficiently estimating the rotation of a camera relative to the canonical 3D Cartesian frame of an urban scene, under the so-called "Manhattan World&...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
In multiobjective particle swarm optimization (MOPSO) methods, selecting the local best and the global best for each particle of the population has a great impact on the convergen...
CP
2003
Springer
14 years 18 days ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
DAWAK
1999
Springer
13 years 11 months ago
1999
Springer
A data warehouse DW can be seen as a set of materialized views de ned over remote base relations. When a query is posed, it is evaluated locally, using the materialized views, wi...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Accurate web page classification often depends crucially on information gained from neighboring pages in the local web graph. Prior work has exploited the class labels of nearby p...