Verification of a Leader Election Algorithm in Timed Asynchronous Systems.
Neeraj JaggiK. GopinathPublished in: FSTTCS (2001)
Keyphrases
- detection algorithm
- dynamic programming
- k means
- times faster
- objective function
- clustering method
- optimization algorithm
- computational cost
- learning algorithm
- matching algorithm
- tree structure
- computationally efficient
- simulated annealing
- high accuracy
- experimental evaluation
- significant improvement
- preprocessing
- neural network
- np hard
- linear programming
- input data
- expectation maximization
- cost function
- theoretical analysis
- segmentation algorithm
- data structure
- optimal solution
- similarity measure
- convergence rate