From verified model to executable program: the PAT approach.
Huiquan ZhuJing SunJin Song DongShang-Wei LinPublished in: Innov. Syst. Softw. Eng. (2016)
Keyphrases
- computational model
- statistical model
- parameter values
- management system
- formal model
- process model
- theoretical analysis
- database
- object oriented
- neural network model
- experimental data
- programming language
- least squares
- hidden markov models
- control system
- data structure
- image sequences
- search engine
- learning algorithm
- machine learning
- neural network