5619 search results - page 191 / 1124 » A Region Inference Algorithm |
109
Voted
AAAI
1998
15 years 3 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
101
click to vote
JAIR
2002
15 years 2 months ago
2002
The problem of organizing information for multidocument summarization so that the generated summary is coherent has received relatively little attention. While sentence ordering f...
119
click to vote
JAR
2002
15 years 2 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
126
click to vote
ALT
2010
Springer
14 years 11 months ago
2010
Springer
We focus on the estimation of a probability distribution over a set of trees. We consider here the class of distributions computed by weighted automata - a strict generalization of...
144
click to vote
AAAI
2011
14 years 2 months ago
2011
We present a dual decomposition approach to the treereweighted belief propagation objective. Each tree in the tree-reweighted bound yields one subproblem, which can be solved with...