Login / Signup

Intra- and interdiagram consistency checking of behavioral multiview models.

Petra KaufmannMartin KroneggerAndreas PfandlerMartina SeidlMagdalena Widl
Published in: Comput. Lang. Syst. Struct. (2015)
Keyphrases
  • consistency checking
  • probabilistic model
  • database
  • decision making
  • model selection
  • computer vision
  • dynamic programming
  • state space
  • constraint satisfaction problems