Login / Signup
A Portable Co-Verification System Which Generates Testbench Automatically.
Takahito Nakajima
Shigeru Namiki
Shuhei Kinoshita
Naohiko Shimizu
Published in:
FPT (2007)
Keyphrases
</>
feature extraction
digital images
automatically generated
computer vision
image sequences
lightweight
neural network
decision trees
evolutionary algorithm
model checking
face verification
verification method