Verification Under Increasing Dimensionality.

Anne Hendrikse Raymond N. J. Veldhuis Luuk J. Spreeuwers

Published in: ICPR (2010)

Keyphrases

high dimensional
model checking
face verification
feature space
formal verification
neural network
data mining
verification method
database
data sets
e learning
dimensionality reduction
high dimensionality
intrinsic dimensionality
asynchronous circuits