On Factorization of Analytic Functions and Its Verification.

Tetsuya Sakurai Hiroshi Sugiura

Published in: Reliab. Comput. (2000)

Keyphrases

model checking
matrix factorization
face verification
signature verification
data mining
information retrieval
computer vision
image processing
least squares
linear combination
low rank
formal analysis
verification method