Parametric Verification of a Group Membership Algorithm.
Ahmed BouajjaniAgathe MerceronPublished in: FTRTFT (2002)
Keyphrases
- detection algorithm
- dynamic programming
- learning algorithm
- matching algorithm
- computational cost
- neural network
- times faster
- significant improvement
- preprocessing
- optimal solution
- computational complexity
- cost function
- improved algorithm
- databases
- worst case
- optimization algorithm
- expectation maximization
- estimation algorithm
- decision trees
- tree structure
- image segmentation
- theoretical analysis
- high accuracy
- image sequences
- experimental evaluation
- objective function
- search space