A Structural Embedding of Ocsid in PVS.

Pertti Kellomäki

Published in: TPHOLs (2001)

Keyphrases

structural information
theorem proving
vector space
data hiding
formal verification
nonlinear dimensionality reduction
data mining
case study
dimensionality reduction
structural analysis
information hiding
graph embedding