Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations.
Emna TaktakMohamed TounsiMohamed MosbahAhmed Hadj KacemPublished in: WETICE (2018)
Keyphrases
- wireless sensor networks
- orders of magnitude
- computational complexity
- distributed systems
- machine learning
- data mining algorithms
- benchmark datasets
- computationally efficient
- worst case
- computational cost
- data structure
- significant improvement
- cooperative
- machine learning algorithms
- learning algorithm
- neural network
- distributed environment
- recently developed
- fault tolerant