Towards Efficient Model Comparison using Automated Program Rewriting.
Qurat ul ain AliDimitris S. KolovosKonstantinos BarmpisPublished in: SLE (2023)
Keyphrases
- statistical model
- mathematical model
- computational model
- parameter estimation
- hidden markov models
- management system
- probability distribution
- object model
- formal model
- experimental data
- theoretical framework
- np complete
- input data
- database
- probabilistic model
- artificial neural networks
- image sequences
- high level
- knowledge base
- learning algorithm
- genetic algorithm
- information retrieval
- databases