A hierarchical formal method for performance evaluation of WSNs protocol.

Siham Zroug Laïd Kahloul Saber Benharzallah Karim Djouani

Published in: Computing (2021)

Keyphrases

high precision
experimental evaluation
preprocessing
similarity measure
cost function
computational cost
probabilistic model
clustering method
detection method
video sequences
dynamic programming
high accuracy
formal analysis