Login / Signup

Sound compilation of reals.

Eva DarulovaViktor Kuncak
Published in: POPL (2014)
Keyphrases
  • constraint databases
  • neural network
  • databases
  • real world
  • computer vision
  • expert systems