An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements.
Vladislav V. PodymovPublished in: CS&P (2015)
Keyphrases
- mathematical model
- theoretical analysis
- algorithm employs
- recognition algorithm
- cost function
- probabilistic model
- experimental evaluation
- objective function
- optimization model
- detection algorithm
- algorithm has been developed
- parameter estimation
- computational model
- classification algorithm
- final result
- simulation study
- bayesian framework
- estimation algorithm
- high level
- np hard
- preprocessing
- linear programming
- worst case
- high accuracy
- search space
- filtering algorithm
- selection algorithm
- model free
- k means
- prior information
- em algorithm
- kalman filter
- computational complexity
- dynamic programming
- energy function
- similarity measure
- verification method
- segmentation algorithm
- significant improvement
- genetic algorithm
- hyper graph
- linear model
- evolutionary algorithm
- matching algorithm
- computational cost
- support vector machine
- optimization algorithm
- input data