Login / Signup
Cosheaves and connectedness in formal topology.
Steven Vickers
Published in:
Ann. Pure Appl. Log. (2012)
Keyphrases
</>
formal methods
formal model
learning algorithm
wide range
digital libraries
formal models
topology preserving
connected components
genetic algorithm
bayesian networks
color images
face recognition
image processing
formal analysis
metadata
artificial intelligence
cell complexes