Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions.
Maha BoussabbehMohamed TounsiMohamed MosbahAhmed Hadj KacemPublished in: ABZ (2016)
Keyphrases
- formal proofs
- detection accuracy
- false positives
- object detection
- database
- automatic detection
- detection rate
- detection algorithm
- real time
- evolutionary algorithm
- machine learning
- real world
- probabilistic model
- multi class
- search algorithm
- multiscale
- similarity measure
- change detection
- image segmentation
- detection scheme
- neural network