Inhabitation of polymorphic and existential types.

Makoto Tatsuta Ken-etsu Fujita Ryu Hasegawa Hiroshi Nakano

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

data mining
computer vision
case study
image segmentation
high level
similarity measure
learning environment
object oriented