Correctness Proofs of Distributed Algorithms.

Wolfgang Reisig

Published in: Dagstuhl Seminar on Distributed Systems (1994)

Keyphrases

computational efficiency
orders of magnitude
computationally efficient
neural network
data structure

significant improvement
recently developed
data sets
times faster
computationally expensive

machine learning algorithms
distributed systems
data streams
decision trees

learning algorithm
machine learning
data mining
databases