A Rigorous Reasoning about Model Transformations Using the B Method.
Akram IdaniYves LedruAdil AnwarPublished in: BMMDS/EMMSAD (2013)
Keyphrases
- mathematical model
- markov model
- modeling method
- network model
- linear regression
- statistical model
- hybrid method
- prior knowledge
- high accuracy
- classification method
- high order
- energy function
- probabilistic model
- similarity measure
- objective function
- cost function
- theoretical analysis
- monte carlo simulation
- evaluation method
- prediction model
- test data
- high level
- study proposes
- bp neural network
- pairwise
- sensitivity analysis
- optimization method
- kalman filter
- artificial neural networks
- detection method
- hybrid model
- linear model
- support vector machine svm
- clustering method
- optimization model
- prior information
- significant improvement
- reconstruction method
- classification algorithm
- closed form
- input data
- markov chain
- em algorithm
- regression analysis
- support vector machine
- preprocessing
- computational model
- dynamic programming
- neural network model
- parameter space
- statistical methods
- neural network