Efficient Property Preservation Checking of Model Refinements.
Anton WijsLuc EngelenPublished in: TACAS (2013)
Keyphrases
- computational model
- formal model
- mathematical model
- databases
- image sequences
- theoretical analysis
- management system
- linear model
- data sets
- classification models
- neural network model
- conceptual model
- theoretical framework
- probabilistic model
- cost function
- multi agent systems
- bayesian networks
- similarity measure
- high level
- case study
- computer vision
- search engine
- machine learning