Hierarchical Correctness Proofs for Distributed Algorithms.
Nancy A. LynchMark R. TuttlePublished in: PODC (1987)
Keyphrases
- learning algorithm
- computationally efficient
- recently developed
- data structure
- theoretical analysis
- graph theory
- distributed environment
- computational efficiency
- orders of magnitude
- machine learning algorithms
- computational complexity
- lightweight
- distributed systems
- semi supervised
- benchmark datasets
- significant improvement
- mobile agents
- classification algorithm
- cooperative
- multi agent
- convergence rate
- image segmentation