A vision for online verification-validation.

Matthew A. Hammer Bor-Yuh Evan Chang David Van Horn

Published in: GPCE (2016)

Keyphrases

databases
real time
database
online learning
vision system
computer vision
image processing
artificial neural networks
e learning
clustering algorithm
multiscale
model checking
formal methods