2502 search results - page 407 / 501 » Using probabilistic model checking in systems biology |
122
click to vote
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
156
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: The use of exogenous small interfering RNAs (siRNAs) for gene silencing has quickly become a widespread molecular tool providing a powerful means for gene functional s...
131
click to vote
TSE
2011
14 years 11 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
132
click to vote
TCSV
2010
14 years 10 months ago
2010
In this paper, from the viewpoint of scene understanding, a 3-layer Bayesian hierarchical framework (BHF) is proposed for robust vacant parking space detection. In practice, the ch...
172
click to vote
DAGM
2003
Springer
15 years 9 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...