Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables.

Saksham Chand Yanhong A. Liu

Published in: NFM (2018)

Keyphrases

learning algorithm
orders of magnitude
optimization problems
times faster
recently developed
multi agent
cooperative
significant improvement
computationally efficient
neural network
data mining
social networks
worst case
theoretical analysis
machine learning algorithms
distributed environment