1222 search results - page 193 / 245 » A Bayesian Approach to Model Checking Biological Systems |
138
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
164
click to vote
DDECS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
118
click to vote
ALIFE
2004
15 years 3 months ago
2004
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
137
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Mathematical modeling for gene regulative networks (GRNs) provides an effective tool for hypothesis testing in biology. A necessary step in setting up such models is the estimati...