Modular Runtime Complexity Analysis of Probabilistic While Programs.
Martin AvanziniMichael SchaperGeorg MoserPublished in: CoRR (2019)
Keyphrases
- complexity analysis
- theoretical analysis
- computational complexity
- probabilistic model
- lower bound
- bayesian networks
- neural network
- first order logic
- generative model
- posterior probability
- computer programs
- data driven
- information retrieval
- context sensitive
- uncertain data
- belief networks
- probabilistic reasoning
- databases
- fixpoint