Understanding and Verifying Distributed Algorithms Using Stratified Decomposition.
Ching-Tsun ChouEli GafniPublished in: PODC (1988)
Keyphrases
- real time
- learning algorithm
- cooperative
- computational efficiency
- computationally efficient
- significant improvement
- theoretical analysis
- orders of magnitude
- computationally expensive
- distributed systems
- machine learning algorithms
- solution quality
- database
- times faster
- data mining algorithms
- lightweight
- optimization problems
- computational cost
- multi agent
- neural network