Resolution proof transformation for compression and interpolation.
Simone Fulvio RolliniRoberto BruttomessoNatasha SharyginaAliaksei TsitovichPublished in: Formal Methods Syst. Des. (2014)
Keyphrases
- automatic theorem proving
- data compression
- high resolution
- image compression
- interpolation methods
- theorem proving
- consequence finding
- compression algorithm
- linear logic
- image interpolation
- mathematical proofs
- image sequences
- reconstruction quality
- compression scheme
- compression ratio
- low resolution
- jpeg images
- compression rate
- theorem prover
- discrete cosine transformation
- sparse sampling
- multiresolution