• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Specifying and Verifying Properties of Space.

Vincenzo CianciaDiego LatellaMichele LoretiMieke 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