Specifying and Verifying Properties of Space.

Vincenzo Ciancia Diego Latella Michele Loreti Mieke Massink

Published in: IFIP TCS (2014)

Keyphrases

low dimensional
information systems
expert systems
search space
space time
higher dimensional
image processing
high dimensional
hidden markov models
probabilistic model
desirable properties