An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm.
Milos BestaFrank A. StompPublished in: ICECCS (2006)
Keyphrases
- times faster
- provably correct
- detection algorithm
- optimization algorithm
- worst case
- learning algorithm
- theoretical analysis
- high accuracy
- dynamic programming
- np hard
- preprocessing
- computational complexity
- convergence rate
- computational cost
- cost function
- expectation maximization
- computationally efficient
- matching algorithm
- experimental study
- clustering method
- segmentation algorithm
- input data
- single pass
- probabilistic model
- experimental evaluation
- k means
- neural network
- optimal solution
- estimation algorithm
- hardware implementation
- improved algorithm
- selection algorithm
- recognition algorithm
- multiscale
- classification algorithm
- objective function
- data structure
- simulated annealing
- significant improvement