Categorical Reconstruction of a Reduction Free Normalization Proof.
Thorsten AltenkirchMartin HofmannThomas StreicherPublished in: Category Theory and Computer Science (1995)
Keyphrases
- three dimensional
- tomographic images
- discrete tomography
- compressed sensing
- theorem prover
- knowledge base
- reduction method
- compressive sensing
- categorical data
- image reconstruction
- reconstruction method
- numerical data
- reconstruction error
- high resolution
- preprocessing
- reconstruction process
- numerical values
- image processing
- normalization method
- real time