Sign in
Definitional Extension in Type Theory.
Tao Xue
Published in:
TYPES (2013)
Keyphrases
</>
theoretical framework
formal theory
high level
general theory
learning algorithm
computer vision
feature selection
image processing
natural language
lower bound
question answering
theoretical basis