Login / Signup

Control-data separation and logical condition propagation for efficient inference on probabilistic programs.

Ichiro HasuoYuichiro OyabuClovis EberhartKohei SuenagaKenta ChoShin-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