2869 search results - page 1 / 574 » The Inference Problem: A Survey |
SIGKDD
2002
13 years 5 months ago
2002
SAT
2009
Springer
13 years 12 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...
ESSMAC
2003
Springer
13 years 10 months ago
2003
Springer
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
AI
2011
Springer
13 years 14 days ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
AAAI
2008
13 years 7 months ago
2008
The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginal...