1222 search results - page 42 / 245 » A Bayesian Approach to Model Checking Biological Systems |
107
click to vote
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
102
click to vote
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
128
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
130
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: Protein secondary structure prediction provides insight into protein function and is a valuable preliminary step for predicting the 3D structure of a protein. Dynamic ...
101
click to vote
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...