Implementing Dynamic Aggregations of Abstract Machines in the B Method.
Nazareno AguirreJuan BicarreguiLucio GuzmánT. S. E. MaibaumPublished in: ICFEM (2004)
Keyphrases
- computational cost
- theoretical analysis
- evaluation method
- high precision
- main contribution
- pairwise
- computational complexity
- optimization algorithm
- computer vision
- segmentation method
- data sets
- input data
- support vector machine
- preprocessing
- significant improvement
- evolutionary algorithm
- experimental study
- optimization method
- fully automatic
- similarity measure
- classification method
- matching algorithm
- mathematical model
- classification accuracy
- detection method
- detection algorithm
- feature space
- support vector machine svm
- multiscale
- dynamic programming