Login / Signup

Symbolic transfer function-based approaches to certified compilation.

Xavier Rival
Published in: POPL (2004)
Keyphrases
  • transfer function
  • neural network
  • computer vision
  • multiresolution