Towards Probabilistic Modelling in Event-B.
Anton TarasyukElena TroubitsynaLinas LaibinisPublished in: IFM (2010)
Keyphrases
- event detection
- data driven
- probabilistic model
- bayesian networks
- probabilistic interpretation
- uncertain data
- generative model
- expert systems
- posterior probability
- belief networks
- video sequences
- spatio temporal
- image segmentation
- clustering algorithm
- machine learning
- information theoretic
- databases
- context sensitive
- data sets
- temporal sequences
- temporal events
- database