A Denotational Model for Instantaneous Signal Calculus.
Yongxin ZhaoLongfei ZhuHuibiao ZhuJifeng HePublished in: SEFM (2012)
Keyphrases
- theoretical analysis
- computational model
- cost function
- formal model
- experimental data
- mathematical model
- decision making
- multiscale
- control system
- similarity measure
- probabilistic model
- high level
- parameter estimation
- frequency domain
- case study
- theoretical framework
- statistical model
- machine learning
- neural network model
- database