Correctness Proofs of Distributed Algorithms.
Wolfgang ReisigPublished 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