A Cartesian closed extension of the category of locales.

Reinhold Heckmann

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

data sets
data mining
information retrieval
genetic algorithm
learning algorithm
artificial intelligence
image sequences
keywords
multiresolution
queueing networks
closure operator