Scalable Verification of Model Transformations.
Xiaoliang WangAdrian RutleYngve LamoPublished in: MoDeVVa@MoDELS (2014)
Keyphrases
- linear model
- high level
- similarity measure
- objective function
- theoretical analysis
- formal model
- computational model
- bayesian networks
- prior knowledge
- mathematical model
- statistical model
- autoregressive
- database
- prediction model
- neural network model
- closed form
- model checking
- theoretical framework
- parameter estimation
- probability distribution
- information retrieval
- neural network