755 search results - page 14 / 151 » Sequential Diagnosis by Abstraction |
AGI
2011
12 years 11 months ago
2011
Abstract. Non-Axiomatic Logic (NAL) is designed for intelligent reasoning, and can be used in a system that has insufficient knowledge and resources with respect to the problems to...
MLQ
2008
13 years 7 months ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
ECSA
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...