Polarised subtyping for sized types.

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

search algorithm
data mining
high quality
real time
image processing
feature extraction
video sequences
digital libraries
data analysis
user interface
evolutionary algorithm
co occurrence