Applying a Formal Method in Industry: A 15-Year Trajectory.
Thierry LecomtePublished in: FMICS (2009)
Keyphrases
- detection method
- preprocessing
- significant improvement
- high precision
- cost function
- spatio temporal
- segmentation method
- dynamic programming
- experimental evaluation
- high accuracy
- optimization algorithm
- computational cost
- classification method
- matching algorithm
- error rate
- clustering method
- edge detection
- case study
- k means
- feature vectors
- computational complexity
- similarity measure