Login / Signup
Verified compilation on a verified processor.
Andreas Lööw
Ramana Kumar
Yong Kiam Tan
Magnus O. Myreen
Michael Norrish
Oskar Abrahamsson
Anthony 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