Probabilistic Termination by Monadic Affine Sized Typing.

Ugo Dal Lago Charles Grellois

Published in: ACM Trans. Program. Lang. Syst. (2019)

Keyphrases

generative model
probabilistic model
uncertain data
bayesian networks
posterior probability
deductive databases
affine invariant
probabilistic logic
affine transformation
data sets
databases
neural network
image processing
data driven
probability theory
probabilistic approaches