2502 search results - page 109 / 501 » Using probabilistic model checking in systems biology |
146
Voted
TASE
2007
IEEE
15 years 10 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...
158
click to vote
APN
2010
Springer
15 years 8 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
15 years 5 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...
158
Voted
IEAAIE
2011
Springer
14 years 7 months 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 ...
138
Voted
NAACL
1994
15 years 5 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...