9051 search results - page 97 / 1811 » On detectability of stochastic systems |
211
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
242
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
203
click to vote
COCO
1994
Springer
15 years 11 months ago
1994
Springer
A probabilistically checkable debate system (PCDS) for a language L consists of a probabilisticpolynomial-time veri er V and a debate between Player 1, who claims that the input x ...
189
click to vote
ENGL
2007
15 years 6 months ago
2007
— In this paper, a new method is proposed to evaluate the reliability of stochastic mechanical systems. This technique is based on the combination of the probabilistic transforma...
183
click to vote
SAGA
2009
Springer
16 years 1 months ago
2009
Springer
In the economical caching problem, an online algorithm is given a sequence of prices for a certain commodity. The algorithm has to manage a buffer of fixed capacity over time. We...