A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation.
Reinder J. BrilPublished in: VDM Europe (1) (1991)
Keyphrases
- mathematical model
- statistical model
- theoretical analysis
- cost function
- prior knowledge
- sensitivity analysis
- high accuracy
- probabilistic model
- similarity measure
- evaluation method
- evaluation model
- modeling method
- objective function
- hybrid method
- hybrid model
- study proposes
- high level
- test data
- em algorithm
- analytical model
- probability distribution
- markov model
- tree structure
- computational model
- detection method
- prior information
- prediction model
- gaussian distribution
- high order
- network model
- preprocessing
- autoregressive
- regression analysis
- input data
- energy function
- computational complexity
- classification method
- least squares
- parametric models
- kalman filter
- monte carlo simulation
- recognition algorithm
- closed form