Login / Signup
Specifying and Verifying Properties of Space - Extended Version.
Vincenzo Ciancia
Diego Latella
Michele Loreti
Mieke Massink
Published in:
CoRR (2014)
Keyphrases
</>
expert systems
desirable properties
database
website
image sequences
vector space
higher dimensional
data sets
knowledge base
image processing
multimedia
space time
spatial structure
fuzzy relations
discrete space