Towards Verification of Storyboards.

Rainer Knauf Horst Duesel

Published in: FLAIRS Conference (2008)

Keyphrases

model checking
functional verification
concurrent systems
asynchronous circuits
person identification
neural network
face recognition
signature verification
digital images
expert systems
decision trees
image processing
decision making
feature selection
artificial intelligence
information retrieval
real world