New Approaches for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang Hongfei Fu Krishnendu Chatterjee

Published in: CoRR (2018)

Keyphrases

generative model
probabilistic approaches
dempster shafer theory of evidence
information retrieval
image segmentation
bayesian networks
multiscale
probabilistic model
database
databases
real world
computer vision
decision trees
information theoretic
strengths and weaknesses
programming environment