2502 search results - page 407 / 501 » Using probabilistic model checking in systems biology |
145
click to vote
APSEC
2008
IEEE
15 years 7 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...
170
Voted
BMCBI
2006
15 years 5 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...
153
click to vote
TSE
2011
15 years 16 days 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...
156
click to vote
TCSV
2010
15 years 9 days 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...
190
click to vote
DAGM
2003
Springer
15 years 10 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...