Login / Signup
Changing Data Representation within the Coq System.
Nicolas Magaud
Published in:
TPHOLs (2003)
Keyphrases
</>
data representation
dimensionality reduction
data representations
formal methods
feature construction
xml documents
representational power
theorem prover
tensor decomposition
data types
discriminative information
data mining
image processing
information extraction
subspace learning