Parametric Verification of a Group Membership Algorithm.
Ahmed BouajjaniAgathe MerceronPublished in: Theory Pract. Log. Program. (2006)
Keyphrases
- experimental evaluation
- k means
- learning algorithm
- detection algorithm
- improved algorithm
- dynamic programming
- times faster
- preprocessing
- computational complexity
- cost function
- np hard
- objective function
- worst case
- recognition algorithm
- convergence rate
- classification algorithm
- similarity measure
- computationally efficient
- optimization algorithm
- theoretical analysis
- simulated annealing
- knowledge representation
- selection algorithm
- multi objective
- estimation algorithm