A Method for Approximate Equivalence Checking.
Mitchell A. ThorntonRolf DrechslerWolfgang GüntherPublished in: ISMVL (2000)
Keyphrases
- experimental evaluation
- optimization method
- preprocessing
- fully automatic
- cost function
- dynamic programming
- computational cost
- theoretical analysis
- main contribution
- objective function
- high precision
- significant improvement
- probabilistic model
- neural network
- segmentation algorithm
- optimization algorithm
- synthetic data
- high accuracy
- classification method
- experimental study
- detection method
- high dimensional
- video sequences
- machine learning