Refinement-Animation for Event-B - Towards a Method of Validation.
Stefan HallerstedeMichael LeuschelDaniel PlaggePublished in: ASM (2010)
Keyphrases
- synthetic data
- clustering method
- significant improvement
- cost function
- evaluation method
- detection method
- dynamic programming
- similarity measure
- fully automatic
- optimization algorithm
- support vector machine svm
- theoretical analysis
- high accuracy
- classification accuracy
- probabilistic model
- multiresolution
- computational complexity
- edge detection
- d objects
- preprocessing
- video sequences
- image processing