Encoding Intensional Type Analysis.

Stephanie Weirich

Published in: ESOP (2001)

Keyphrases

statistical analysis
higher order
databases
neural network
real world
information systems
feature selection
three dimensional
wide range
pattern recognition