The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation.
Stephen FitzpatrickMaurice ClintTerence J. HarmerPeter KilpatrickPublished in: Comput. J. (1996)
Keyphrases
- numerical algorithms
- data structure
- partial differential equations
- state machines
- control flow
- high level
- fourth order
- high dimensional
- compressive sensing
- image processing
- test cases
- high order
- original data
- random projections
- diffusion equation
- input image
- feature space
- image recovery
- similarity measure
- machine learning