26 citations · 38 across the 2 of their papers we have counts for
2 papers
math.NA2012★ 12 cited
General Lower Bounds based on Computer Generated Higher Order Expansions
Martijn Leisink, Hilbert Kappen
In this article we show the rough outline of a computer algorithm to generate lower bounds on the exponential function of (in principle) arbitrary precision. We implemented this to…
cs.AI2011★ 26 cited
Bound Propagation
B. Kappen, M. Leisink
In this article we present an algorithm to compute bounds on the marginals of a graphical model. For several small clusters of nodes upper and lower bounds on the marginal values a…