Parametric Verification of a Group Membership Algorithm
Ahmed BouajjaniAgathe MerceronPublished in: CoRR (2005)
Keyphrases
- worst case
- k means
- matching algorithm
- optimal solution
- simulated annealing
- probabilistic model
- detection algorithm
- computational cost
- dynamic programming
- cost function
- preprocessing
- learning algorithm
- experimental evaluation
- significant improvement
- high accuracy
- computationally efficient
- improved algorithm
- computational complexity
- segmentation algorithm
- estimation algorithm
- selection algorithm
- recognition algorithm
- convex hull
- data sets
- optimization algorithm
- expectation maximization
- particle swarm optimization
- least squares
- databases