Resolution Proof Transformation for Compression and Interpolation.
Simone Fulvio RolliniRoberto BruttomessoNatasha SharyginaAliaksei TsitovichPublished in: CoRR (2013)
Keyphrases
- automatic theorem proving
- high resolution
- compression scheme
- image compression
- data compression
- low resolution
- consequence finding
- image interpolation
- super resolution algorithm
- linear interpolation
- theorem proving
- reconstruction quality
- compression algorithm
- transformation rules
- lossy compression
- theorem prover
- compression ratio
- interpolation method
- linear transformation
- linear logic
- band limited
- lossless compression
- resolution enhancement
- transform domain