755 search results - page 4 / 151 » Sequential Diagnosis by Abstraction |
DAC
1998
ACM
14 years 8 months ago
1998
ACM
JAIR
2010
13 years 6 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
ATS
2001
IEEE
13 years 11 months ago
2001
IEEE
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...