An industrial-strength formal method -- A Modest survey.
Henrik C. BohnenkampHolger HermannsDavid N. JansenJoost-Pieter KatoenYaroslav S. UsenkoPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- detection method
- synthetic data
- computational cost
- cost function
- information retrieval
- mutual information
- computational complexity
- similarity measure
- neural network
- video sequences
- dynamic programming
- experimental evaluation
- feature extraction
- image quality
- model selection
- theoretical analysis
- detection algorithm
- clustering method
- decision trees
- segmentation method
- evaluation method