13917 search results - page 28 / 2784 » Abstraction of Probabilistic Systems |
140
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
147
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
122
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
