Carlos Carreras, Manuel V. Hermenegildo. Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. In Berthe Y. Choueiry, Toby Walsh, editors, Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Volume 1864 of Lecture Notes in Computer Science, pages 107-123, Springer, 2000. [doi]
Abstract is missing.