Login / Signup
σ-locales and Booleanization in Formal Topology.
Francesco Ciraulo
Published in:
CoRR (2018)
Keyphrases
</>
formal language
data mining
topology preserving
small world
multiresolution
artificial intelligence
image segmentation
special case
formal analysis
formal methods
cell complexes
database
software engineering
similarity measure
three dimensional
neural network
databases