755 search results - page 1 / 151 » Sequential Diagnosis by Abstraction |
JAIR
2011
12 years 7 months ago
2011
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
ASPDAC
2006
ACM
13 years 10 months ago
2006
ACM
Abstract— Substantial attention is being paid to the fault diagnosis problem in recent test literature. Yet, the compaction of test vectors for fault diagnosis is little explored...
CONCURRENCY
2002
13 years 4 months ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
AIIA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...