Type System for Specializing Polymorphism.

Published in: TACS (1997)

Keyphrases

real time
databases
decision trees
neural network
data mining
machine learning
image processing
objective function
object recognition
expert systems
viewpoint
special case
type checking