Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- petri net
- transition systems
- formal specification
- model checking
- bayesian networks
- uncertain data
- probabilistic model
- real time
- data sets
- probabilistic approaches
- belief networks
- posterior probability
- data driven
- information retrieval
- context sensitive
- database systems
- generative model
- probabilistic logic
- neural network
- image sequences
- graphical models