Towards Verifying Model Transformations.
Anantha NarayananGabor KarsaiPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- computational model
- probabilistic model
- artificial intelligence
- experimental data
- cost function
- high level
- formal model
- similarity measure
- neural network
- management system
- graphical models
- d objects
- linear model
- bayesian framework
- statistical model
- mathematical model
- information systems
- website
- decision making
- knowledge base
- multi agent systems
- face recognition
- web services