Application of the B formal method to the proof of a type verification algorithm.
Antoine RequetLudovic CassetGilles GrimaudPublished in: HASE (2000)
Keyphrases
- high accuracy
- detection method
- experimental evaluation
- cost function
- detection algorithm
- computational cost
- dynamic programming
- clustering method
- estimation algorithm
- objective function
- improved algorithm
- preprocessing
- segmentation method
- optimization algorithm
- theoretical analysis
- verification method
- selection algorithm
- computational complexity
- classification algorithm
- computationally efficient
- similarity measure
- optimization method
- significant improvement
- input data
- recognition algorithm
- single pass
- tree structure
- region of interest
- decomposition method
- mapping function
- experimental study
- k means
- synthetic and real images
- mathematical model
- em algorithm
- matching algorithm
- segmentation algorithm
- classification method
- probabilistic model
- computational efficiency
- noisy data
- prior information
- computational speed
- high efficiency
- search procedure
- optimal path
- convergence rate
- optimal solution
- image matching
- model checking
- support vector machine
- energy function
- parameter estimation
- image sequences
- learning algorithm
- search space
- parallel implementation
- evolutionary algorithm
- multi objective
- np hard
- combinatorial optimization
- knn
- test images
- neural network