Generating Hierarchical State Based Representation From Event-B Models.
Dipak ChaudhariOm P. DamaniPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- data sets
- probabilistic model
- statistical models
- hierarchical model
- social networks
- event detection
- bayesian framework
- hierarchical representation
- model construction
- hierarchical models
- hierarchical organization
- hierarchical decomposition
- probability models
- spatial relations
- process model
- graphical models
- prior knowledge
- genetic algorithm