An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy.
Alain WegmannLam-Son LêIrina RychkovaGil RegevPublished in: EDOCW (2007)
Keyphrases
- formal model
- computational model
- probability distribution
- neural network
- data sets
- information systems
- high level
- management system
- experimental data
- theoretical analysis
- structural model
- neural network model
- conceptual model
- petri net
- theoretical framework
- level set
- knowledge representation
- decision making
- computer vision
- information retrieval