1325 search results - page 11 / 265 » The Incidence Propagation Method |
SAS
1998
Springer
15 years 4 months ago
1998
Springer
111
click to vote
ECSQARU
1999
Springer
15 years 4 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...
113
click to vote
UAI
2001
15 years 1 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
15 years 3 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
15 years 5 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...