2502 search results - page 109 / 501 » Using probabilistic model checking in systems biology |
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software has been under scrutiny by the veriļ¬cation community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
APN
2010
Springer
14 years 1 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
NAACL
2003
13 years 10 months ago
2003
In this paper, we introduce a generative probabilistic optical character recognition (OCR) model that describes an end-to-end process in the noisy channel framework, progressing f...
IEAAIE
2011
Springer
13 years 19 days ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
NAACL
1994
13 years 10 months ago
1994
A new mapping algorithm for speech recognition relates the features of simultaneous recordings of clean and noisy speech. The model is a piecewise nonfinear transformation appfied...