Practical Theory Extension in Event-B.
Michael J. ButlerIssam MaamriaPublished in: Theories of Programming and Formal Methods (2013)
Keyphrases
- theoretical developments
- general theory
- event detection
- data sets
- events occurring
- mathematical foundations
- multimedia
- event driven
- theoretical framework
- theoretical basis
- practical application
- news articles
- information theory
- computational models
- spatio temporal
- bayesian networks
- learning algorithm
- machine learning
- real world