Login / Signup
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
Ichiro Hasuo
Yuichiro Oyabu
Clovis Eberhart
Kohei Suenaga
Kenta Cho
Shin-ya Katsumata
Published in:
J. Log. Algebraic Methods Program. (2024)
Keyphrases
</>
efficient inference
data points
missing values
image segmentation
conditional random fields
prior information
hyperplane