Towards a generic verification methodology for system models.
Robert WilleMartin GogollaMathias SoekenMirco KuhlmannRolf DrechslerPublished in: DATE (2013)
Keyphrases
- statistical models
- mathematical models
- real time
- machine learning
- modeling framework
- computer vision
- multiscale
- experimental data
- statistical methods
- agent based simulations
- face verification
- design methodology
- parametric models
- computational models
- bayesian framework
- statistical model
- complex systems
- domain specific
- information retrieval
- neural network