Intensional analysis of quantified types.

Bratin Saha Valery Trifonov Zhong Shao

Published in: ACM Trans. Program. Lang. Syst. (2003)

Keyphrases

data mining
genetic algorithm
computer vision
wide range
pattern recognition
data analysis
trade off
higher order
data integration
quantitative analysis