Sound and Complete Elimination of Singleton Kinds.

Published in: Types in Compilation (2000)

Keyphrases

input output
decision trees
information retrieval
genetic algorithm
artificial intelligence
image processing
database
real time
search engine
computer vision
web services
database systems
multiscale
pattern recognition
object recognition
sound source