Reasoning with specifications containing method calls and model fields.
David R. CokPublished in: J. Object Technol. (2005)
Keyphrases
- statistical model
- probabilistic model
- classification method
- sensitivity analysis
- theoretical analysis
- mathematical model
- study proposes
- objective function
- cost function
- regression analysis
- hybrid method
- prior knowledge
- pairwise
- optimization method
- analytical model
- computational model
- evaluation method
- em algorithm
- modeling method
- computer vision
- dynamic programming
- significant improvement
- preprocessing
- similarity measure
- linear model
- bp neural network
- parameter estimation
- closed form
- optimization model
- detection method
- support vector machine
- high level
- markov model
- reconstruction method
- fuzzy reasoning
- network model
- prediction model
- prior information
- high order
- tree structure
- high accuracy
- probability distribution
- monte carlo simulation
- hybrid model
- classification algorithm
- input data
- specification language