Probabilistic Termination by Monadic Affine Sized Typing.
Ugo Dal LagoCharles GrelloisPublished in: ESOP (2017)
Keyphrases
- bayesian networks
- affine invariant
- probabilistic logic
- probabilistic model
- probabilistic approaches
- deductive databases
- affine transformation
- generative model
- probabilistic databases
- uncertain data
- posterior probability
- mobile phone
- data driven
- relational databases
- multiscale
- data sets
- datalog queries
- small sized
- context sensitive
- case study