A reconstruction and extension of Maple's assume facility via constraint contextual rewriting.
Alessandro ArmandoClemens BallarinPublished in: J. Symb. Comput. (2005)
Keyphrases
- contextual information
- image reconstruction
- context sensitive
- consistency constraints
- reconstruction process
- rewrite rules
- database
- three dimensional
- high resolution
- reconstruction error
- compressive sensing
- rewriting systems
- discrete tomography
- tomographic reconstruction
- constraint solving
- context dependent
- data sets