Run-Time Checking of Dynamic Properties.

Oleg Sokolsky Usa Sammapun Insup Lee Jesung Kim

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

desirable properties
machine learning
mobile devices
topological properties
dynamic behavior
computer vision
image processing
similarity measure
multiscale
artificial neural networks
dynamic environments