Reducing the Number of Annotations in a Verification-oriented Imperative Language

Guido de Caso Diego Garbervetsky Daniel Gorín

Published in: CoRR (2010)

Keyphrases

small number
natural language
computational complexity
information extraction
fixed number
real time
machine learning
case study
multiscale
maximum number