A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).
Oliver E. TheelPublished in: PODC (2000)
Keyphrases
- computational cost
- computationally efficient
- significant improvement
- high precision
- computational complexity
- recently developed
- hybrid method
- classification method
- theoretical analysis
- computational efficiency
- experimental evaluation
- synthetic data
- synthetic and real data sets
- preprocessing
- data structure
- alternative methods
- noisy data
- high computational complexity
- computational speed
- lower complexity
- neural network
- clustering method
- high accuracy
- worst case
- dynamic programming
- pairwise
- similarity measure
- machine learning algorithms
- support vector machine svm
- optimization problems
- highly efficient
- cost function
- learning algorithm
- data sets
- verification method