enter search term and/or author name
P. van Beek and R. Dechter's theorem on constraint looseness and local consistency
Yuanlin Zhang, Roland H. C. Yap
A differential approach to inference in Bayesian networks
We present a new approach to inference in Bayesian networks, which is based on representing the network using a polynomial and then retrieving answers to probabilistic queries by evaluating and differentiating the polynomial. The network polynomial...
The height of a random binary search tree
An analytic approach to the height of binary search trees II
It is shown that all centralized absolute moments E|H
Algorithms for computing the static single assignment form
Gianfranco Bilardi, Keshav Pingali
The Static Single Assignment (SSA) form is a program representation used in many optimizing compilers. The key step in converting a program to SSA form is called φ-placement. Many algorithms for φ-placement have been proposed in the...