Abstract Domains for Type Juggling.

Vincenzo Arceri Sergio Maffeis

Published in: Electron. Notes Theor. Comput. Sci. (2017)

Keyphrases

data sets
real world
artificial neural networks
application domains
machine learning
three dimensional
video sequences
medical images
constraint satisfaction problems