1222 search results - page 60 / 245 » A Bayesian Approach to Model Checking Biological Systems |
141
click to vote
AAAI
2000
15 years 5 months ago
2000
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
162
click to vote
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
128
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. Virtual Organizations (VOs) are an emerging business model in today's Internet economy. Increased specialization and focusing on an organization's core competen...
119
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
111
click to vote
ASE
2005
15 years 3 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...