Verification of dLVv Transformation for Singular Vector Computation with High Accuracy.

Masami Takata Taro Konda Kinji Kimura Yoshimasa Nakamura

Published in: PDPTA (2006)

Keyphrases

high accuracy
model checking
multiscale
feature vectors
vector space
information systems
neural network
high efficiency
highly accurate
dot product
transformation matrix
person identification
vector data
formal verification
linear transformation
formal methods
face verification
knowledge base
computer vision