1325 search results - page 11 / 265 » The Incidence Propagation Method |
SAS
1998
Springer
14 years 2 months ago
1998
Springer
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Given several Dempster-Shafer belief functions, the framework of valuation networks describes an efficient method for computing the marginal of the combined belief functi...
UAI
2001
13 years 11 months ago
2001
This paper presents a new deterministic approximation technique in Bayesian networks. This method, "Expectation Propagation," unifies two previous techniques: assumed-de...
PLDI
1995
ACM
14 years 1 months ago
1995
ACM
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...