Sign in

Specifying and verifying sparse matrix codes.

Gilad ArnoldJohannes HölzlAli Sinan KöksalRastislav BodíkMooly Sagiv
Published in: ICFP (2010)
Keyphrases
  • sparse matrix
  • random projections
  • sparse linear
  • error correction
  • feature extraction
  • floating point
  • multi objective
  • image reconstruction