2543 search results - page 137 / 509 » Optimal Ordered Problem Solver |
141
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
123
click to vote
AAAI
2006
15 years 4 months ago
2006
Set variables are ubiquitous in modeling (soft) constraint problems, but efforts on practical consistency algorithms for Weighted Constraint Satisfaction Problems (WCSPs) have onl...
132
click to vote
ICDAR
2009
IEEE
15 years 27 days ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
118
click to vote
GBRPR
2007
Springer
15 years 9 months ago
2007
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
120
click to vote
CP
1998
Springer
15 years 7 months ago
1998
Springer
A well-studied problem in the electric power industry is that of optimally scheduling preventative maintenance of power generating units within a power plant. We show how these pr...