Types as Abstract Interpretations.

Published in: POPL (1997)

Keyphrases

object recognition
mobile robot
high quality
expert systems
neural network
machine learning
genetic algorithm
search engine
website
image segmentation
three dimensional
high level
training data
digital libraries
evolutionary algorithm
medical images