An Operational Approach to Program Extraction in the Calculus of Constructions.

Maribel Fernández Paula Severi

Published in: LOPSTR (2002)

Keyphrases

information extraction
automatic extraction
computer programs
data sets
decision making
automatically extracted
automatically extracting
program execution
machine learning
computer vision
high level