A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.

Xi Wu Hanne Riis Nielson Huibiao Zhu

Published in: TASE (2015)

Keyphrases

wireless sensor networks
data analysis
image analysis
data sets
neural network
genetic algorithm
case study
sensor networks
statistical analysis
domain independent