Sign in
SMT-based checking of predicate-qualified types for Scala.
Georg Stefan Schmid
Viktor Kuncak
Published in:
SCALA@SPLASH (2016)
Keyphrases
</>
neural network
computer vision
information systems
image processing
data sets
case study
image sequences