Login / Signup
A Vision for Online Verification-Validation.
Matthew A. Hammer
Bor-Yuh Evan Chang
David Van Horn
Published in:
CoRR (2016)
Keyphrases
</>
real time
online learning
computer vision
image processing
vision system
database
visual perception
databases
image segmentation
database systems
learning environment
programming language
distributed systems
model checking
asynchronous circuits