A Description of the Tableau Method Using Abstract State Machines.
Egon BörgerPeter H. SchmittPublished in: J. Log. Comput. (1997)
Keyphrases
- detection method
- experimental evaluation
- high accuracy
- dynamic programming
- high precision
- computer vision
- experimental study
- synthetic data
- optimization algorithm
- main contribution
- computationally efficient
- em algorithm
- input data
- support vector machine
- cost function
- pairwise
- similarity measure
- neural network
- computational cost
- significant improvement
- prior knowledge
- multiresolution
- theoretical analysis
- preprocessing
- detection algorithm
- objective function
- feature selection