Using FDR to Model Check CSP-Like Languages.

Thomas Gibson-Robinson

Published in: CPA (2013)

Keyphrases

computational model
high level
probabilistic model
theoretical framework
database
optimal solution
natural language
hidden markov models
management system
information extraction
parameter estimation
statistical model