An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements.
Vladislav V. PodymovPublished in: Fundam. Informaticae (2016)
Keyphrases
- probabilistic model
- cost function
- objective function
- optimization model
- theoretical analysis
- mathematical model
- selection algorithm
- final result
- algorithm employs
- recognition algorithm
- optimization algorithm
- classification algorithm
- optimal solution
- computationally efficient
- input data
- kalman filter
- detection algorithm
- learning algorithm
- em algorithm
- bayesian framework
- preprocessing
- computational cost
- dynamic programming
- model free
- similarity measure
- prior information
- tree structure
- segmentation algorithm
- computational model
- k means
- expectation maximization
- significant improvement
- experimental evaluation
- np hard
- hyper graph
- energy function
- verification method
- bayesian networks
- computational complexity
- probability distribution
- optimization method
- closed form
- neural network
- matching algorithm
- parameter estimation