A Method for Symbolic Computation of Abstract Operations.
Aditya V. ThakurThomas W. RepsPublished in: CAV (2012)
Keyphrases
- objective function
- experimental evaluation
- high precision
- experimental study
- prior knowledge
- cost function
- dynamic programming
- computational cost
- mutual information
- denoising
- synthetic data
- detection method
- detection algorithm
- high accuracy
- preprocessing
- computational complexity
- similarity measure
- data sets
- support vector machine
- classification accuracy
- input data
- em algorithm
- model selection
- computationally efficient
- main contribution
- support vector machine svm
- multiresolution
- error rate
- image processing