Login / Signup
Probabilistic Termination by Monadic Affine Sized Typing (Long Version).
Ugo Dal Lago
Charles Grellois
Published in:
CoRR (2017)
Keyphrases
</>
bayesian networks
affine invariant
datalog queries
probabilistic model
generative model
affine transformation
uncertain data
small sized
neural network
information theoretic
deductive databases
databases
artificial intelligence
image registration
data driven