Compiling Probabilistic Programs for Variable Elimination with Information Flow.
Jianlin LiEric WangYizhou ZhangPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- information flow
- variable elimination
- bayesian networks
- inference in bayesian networks
- probabilistic inference
- belief networks
- social networks
- flow analysis
- information flows
- communication networks
- flow graph
- supply chain
- information security
- constraint databases
- maximum likelihood
- neural network
- intrusion detection
- smart card
- posterior probability
- graphical models
- database systems