Subtyping dependent types.

David Aspinall Adriana B. Compagnoni

Published in: Theor. Comput. Sci. (2001)

Keyphrases

databases
data sets
website
preprocessing
real world
social networks
information systems
feature selection
image segmentation
high level
support vector
hidden markov models