Keyphrases
- bayesian networks
- probabilistic model
- model checking
- uncertain data
- person identification
- data driven
- generative model
- formal verification
- face verification
- formal methods
- probabilistic relational
- real world
- probabilistic approaches
- probabilistic interpretation
- posterior probability
- natural language
- optimal solution
- computer vision
- artificial intelligence