Sciweavers

503 search results - page 28 / 101
» Probabilistic Weighted Automata
Sort
View
JAIR
2011
129views more  JAIR 2011»
15 years 27 days ago
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
Wei Li 0002, Pascal Poupart, Peter van Beek