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

Vahid Rafe Saeed 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