Verification by consecutive projections.

Esfandiar Haghverdi Kemal Inan

Published in: FORTE (1992)

Keyphrases

three dimensional
model checking
computer vision
asynchronous circuits
radon transform
face verification
information retrieval
tomographic reconstruction
signature verification
verification method
database
discrete tomography
formal methods
convex sets
optimal solution
website
image processing
real time