Scaling integer arithmetic in probabilistic programs.

William X. Cao Poorva Garg Ryan Tjoa Steven Holtzen Todd D. Millstein Guy Van den Broeck

Published in: UAI (2023)

Keyphrases

image segmentation
integer arithmetic
image processing
bayesian networks
probabilistic model
computer vision
object recognition
multiresolution
provably correct