1325 search results - page 11 / 265 » The Incidence Propagation Method |
186
Voted
SAS
1998
Springer
15 years 11 months ago
1998
Springer
231
click to vote
ECSQARU
1999
Springer
15 years 11 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...
206
click to vote
UAI
2001
15 years 8 months ago
2001
This paper presents a new deterministic approximation technique in Bayesian networks. This method, "Expectation Propagation," unifies two previous techniques: assumed-de...
184
Voted
PLDI
1995
ACM
15 years 11 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...
186
click to vote
TABLEAUX
2005
Springer
16 years 29 days 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...