Scheme inclusion verification algorithm in algebraic model of programs with constants.
Dmitry M. RusakovPublished in: Program. Comput. Softw. (2007)
Keyphrases
- mathematical model
- objective function
- probabilistic model
- cost function
- recognition algorithm
- theoretical analysis
- selection algorithm
- learning algorithm
- parameter estimation
- optimization model
- algorithm has been developed
- final result
- bayesian framework
- sampling algorithm
- matching algorithm
- dynamic programming
- input data
- detection algorithm
- tree structure
- algorithm employs
- prior information
- kalman filter
- energy function
- expectation maximization
- k means
- computational complexity
- similarity measure
- classification algorithm
- learning scheme
- analytical model
- voting scheme
- optimal solution
- verification method
- neural network
- clustering method
- segmentation algorithm
- computational cost
- preprocessing
- mdl principle