Extensional Sigma-Spaces in Type Theory.

Published in: Appl. Categorical Struct. (1999)

Keyphrases

database
theoretical basis
quotient space
data mining
image processing
website
case study
video sequences
search algorithm
theoretical foundation
belief functions