Verification of the Redecoration Algorithm for Triangular Matrices.
Ralph MatthesMartin StreckerPublished in: TYPES (2007)
Keyphrases
- learning algorithm
- high accuracy
- detection algorithm
- experimental evaluation
- optimization algorithm
- theoretical analysis
- computationally efficient
- np hard
- cost function
- optimal solution
- computational complexity
- search space
- verification method
- times faster
- tree structure
- similarity measure
- dynamic programming
- preprocessing
- significant improvement
- worst case
- linear programming
- expectation maximization
- image registration
- bayesian networks
- genetic algorithm
- feature selection