Prototype of a Verification Tool.

Published in: STACS (1991)

Keyphrases

databases
image sequences
data structure
user friendly
software tools
neural network
real world
information retrieval
case study
three dimensional
database systems
face recognition
search algorithm
model checking
signature verification