Sign in

ASM2Bogor: An approach for verification of models specified through Asmeta language.

Vahid RafeSaeed Doostali
Published in: J. Vis. Lang. Comput. (2012)
Keyphrases
  • database
  • classification models
  • prior knowledge
  • hidden markov models
  • probabilistic model
  • programming language
  • deformable models
  • statistical models