Login / Signup

Verified compilation on a verified processor.

Andreas LööwRamana KumarYong Kiam TanMagnus O. MyreenMichael NorrishOskar AbrahamssonAnthony C. J. Fox
Published in: PLDI (2019)
Keyphrases
  • data sets
  • artificial intelligence
  • three dimensional
  • multiscale
  • neural network
  • computer vision
  • information systems
  • face recognition
  • evolutionary algorithm
  • parallel processing