A Framework for Automatic Construction of Abstract Promela Models.
María-del-Mar GallardoPedro MerinoPublished in: SPIN (1999)
Keyphrases
- automatic construction
- probabilistic model
- main contribution
- modeling framework
- computational model
- statistical models
- bayesian framework
- spatial constraints
- experimental data
- generic model
- mathematical framework
- model construction
- mathematical models
- conceptual framework
- real time
- machine learning algorithms
- image sequences
- high level
- case study
- information retrieval
- data sets