Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract).
Frank A. StompWillem P. de RoeverPublished in: WDAG (1989)
Keyphrases
- extended abstract
- data structure
- learning algorithm
- neural network
- distributed systems
- meta level
- recently developed
- distributed environment
- computational efficiency
- data mining algorithms
- orders of magnitude
- computationally efficient
- optimization problems
- computational complexity
- knowledge base
- artificial intelligence
- peer to peer
- worst case
- theoretical analysis
- benchmark datasets
- significant improvement
- cooperative
- formal model
- machine learning
- data mining