Deleting Redundancy in Proof Reconstruction.
Stephan SchmittChristoph KreitzPublished in: TABLEAUX (1998)
Keyphrases
- three dimensional
- compressed sensing
- image reconstruction
- linear logic
- reconstruction error
- reconstruction method
- high resolution
- theorem proving
- mathematical proofs
- redundancy reduction
- discrete tomography
- multiple description coding
- tomographic reconstruction
- reconstruction process
- real time
- theorem prover
- expert systems
- video sequences
- information systems
- computer vision
- machine learning
- real world