The modification index method of generating verification conditions.
Ward Douglas MaurerPublished in: ACM-SE (1977)
Keyphrases
- nearest neighbor
- high dimensional
- similarity measure
- high precision
- synthetic data
- high accuracy
- pairwise
- preprocessing
- dynamic programming
- computational cost
- detection method
- theoretical analysis
- objective function
- evaluation method
- significant improvement
- cost function
- feature extraction
- verification method
- error rate
- computationally efficient
- database
- feature set
- support vector machine
- classification accuracy
- probabilistic model
- prior knowledge
- k means
- image retrieval
- multiscale
- neural network