Probabilistic Termination: Soundness, Completeness, and Compositionality.

Luis María Ferrer Fioriti Holger Hermanns

Published in: POPL (2015)

Keyphrases

generative model
probabilistic model
bayesian networks
data driven
computer vision
image segmentation
context sensitive
probabilistic interpretation
similarity measure
multiresolution
posterior probability
uncertain data
probabilistic logic
probabilistic approaches
term rewriting
rewrite systems