: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems.
Abdullah Al FarooqEhab Al-ShaerThomas MoyerKrishna KantPublished in: IM (2019)
Keyphrases
- high accuracy
- computational cost
- neural network
- detection method
- preprocessing
- experimental evaluation
- optimization method
- objective function
- clustering method
- edge detection
- small scale
- classification method
- matching algorithm
- segmentation method
- mutual information
- management system
- support vector machine
- k means
- computationally efficient
- pairwise
- multiscale
- similarity measure
- image sequences
- image segmentation
- fully automatic
- machine learning
- data sets