Runtime Checks as Nominal Types.

Paola Giannini Marco Servetto Elena Zucca

Published in: ICTCS (2016)

Keyphrases

neural network
wireless sensor networks
real time
real world
artificial intelligence
computer vision
information systems
image processing
multiresolution