Assembling the Proofs of Ordered Model Transformations
Maribel FernándezJeffrey TerrellPublished in: FESCA (2013)
Keyphrases
- formal model
- prior knowledge
- computational model
- high level
- probabilistic model
- data sets
- real time
- artificial neural networks
- probability distribution
- simulation model
- bayesian framework
- network model
- prediction model
- experimental data
- statistical model
- mathematical model
- parameter estimation
- theoretical analysis
- management system
- expert systems
- similarity measure
- neural network