A Semiformal Correctness Proof of a Network Broadcast Algorithm.
Devendra KumarS. Sitharama IyengarPublished in: COMPSAC (1997)
Keyphrases
- detection algorithm
- learning algorithm
- experimental evaluation
- cost function
- times faster
- optimization algorithm
- preprocessing
- k means
- provably correct
- np hard
- search space
- optimal solution
- dynamic programming
- computational cost
- worst case
- data sets
- significant improvement
- network traffic
- objective function
- clustering method
- segmentation algorithm
- theoretical analysis
- computational complexity
- expectation maximization
- recognition algorithm
- fully connected
- growing neural gas
- simulated annealing