Apartness spaces as a framework for constructive topology.

Douglas S. Bridges Luminita Vîta

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

Keyphrases

main contribution
computational framework
information retrieval
learning algorithm
website
image segmentation
bayesian networks
information technology
probabilistic model
theoretical framework