منابع مشابه
Hitting set algorithms for model-based diagnosis
The primary computational bottleneck of many model-based diagnosis approaches is a hitting set algorithm. The algorithm is used to find diagnoses which explain all observed discrepancies (represented as conflicts). This paper presents a revised hitting set algorithm which can efficiently identify a single minimum cardinality diagnosis of a set of conflicts. Used in an anytime framework it can p...
متن کاملModel Based Diagnosis of Multiple Observations with Implicit Hitting Sets
Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements result from formulating the problem with maximum satisfiability (MaxSAT). Whereas recent work focuses on analyzing failing observations separately, it is also the case that in practical settings there may exist many f...
متن کاملParallelized Hitting Set Computation for Model-Based Diagnosis
Model-Based Diagnosis techniques have been successfully applied to support a variety of fault-localization tasks both for hardware and software artifacts. In many applications, Reiter’s hitting set algorithm has been used to determine the set of all diagnoses for a given problem. In order to construct the diagnoses with increasing cardinality, Reiter proposed a breadth-first search scheme in co...
متن کاملThe Polyhedron-Hitting Problem
We consider polyhedral versions of Kannan and Lipton's Orbit Problem [14, 13] determining whether a target polyhedron V may be reached from a starting point x under repeated applications of a linear transformation A in an ambient vector space Q. In the context of program veri cation, very similar reachability questions were also considered and left open by Lee and Yannakakis in [15], and by Bra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Clinical Pathology
سال: 2018
ISSN: 0002-9173,1943-7722
DOI: 10.1093/ajcp/aqy040