Verification of Infinite-Step Opacity and Complexity Considerations.

Anooshiravan Saboori Christoforos N. Hadjicostis

Published in: IEEE Trans. Autom. Control. (2012)

Keyphrases

computational cost
neural network
machine learning
databases
learning algorithm
computer vision
image processing
image segmentation
multiscale
query language
worst case
memory requirements
multi step
foreground and background
person identification