Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144099047> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2144099047 endingPage "833" @default.
- W2144099047 startingPage "827" @default.
- W2144099047 abstract "For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiting the hierarchy/locality as is typically present in well-engineered systems. The approach comprises a compile-time and a run-time step. In the first step, a hierarchical CNF representation of the system is compiled to hierarchical DNF of adjustable hierarchical depth. In the second step, the diagnoses are computed from the hierarchical DNF and the actual observations. Our hierarchical algorithm, while sound and complete, allows large models to be diagnosed, where compiletime investment directly translates to run-time speedup. The benefits of our approach are illustrated by using weak-fault models of real-world systems, including the ISCAS-85 combinatorial circuits. Even for these non-optimally partitioned problems the speedup compared to traditional approaches ranges in the hundreds." @default.
- W2144099047 created "2016-06-24" @default.
- W2144099047 creator A5007816338 @default.
- W2144099047 creator A5078225392 @default.
- W2144099047 date "2006-07-16" @default.
- W2144099047 modified "2023-10-18" @default.
- W2144099047 title "A two-step hierarchical algorithm for model-based diagnosis" @default.
- W2144099047 cites W1548291775 @default.
- W2144099047 cites W1562027785 @default.
- W2144099047 cites W1597829571 @default.
- W2144099047 cites W1889333569 @default.
- W2144099047 cites W2003116861 @default.
- W2144099047 cites W2045269666 @default.
- W2144099047 cites W2062897452 @default.
- W2144099047 cites W2079035845 @default.
- W2144099047 cites W2101330213 @default.
- W2144099047 cites W2112173236 @default.
- W2144099047 cites W2126693329 @default.
- W2144099047 cites W2135453964 @default.
- W2144099047 cites W2144386448 @default.
- W2144099047 hasPublicationYear "2006" @default.
- W2144099047 type Work @default.
- W2144099047 sameAs 2144099047 @default.
- W2144099047 citedByCount "22" @default.
- W2144099047 countsByYear W21440990472013 @default.
- W2144099047 countsByYear W21440990472014 @default.
- W2144099047 countsByYear W21440990472015 @default.
- W2144099047 countsByYear W21440990472016 @default.
- W2144099047 countsByYear W21440990472020 @default.
- W2144099047 countsByYear W21440990472021 @default.
- W2144099047 crossrefType "proceedings-article" @default.
- W2144099047 hasAuthorship W2144099047A5007816338 @default.
- W2144099047 hasAuthorship W2144099047A5078225392 @default.
- W2144099047 hasConcept C11413529 @default.
- W2144099047 hasConcept C124101348 @default.
- W2144099047 hasConcept C138885662 @default.
- W2144099047 hasConcept C144986985 @default.
- W2144099047 hasConcept C162324750 @default.
- W2144099047 hasConcept C173608175 @default.
- W2144099047 hasConcept C2779808786 @default.
- W2144099047 hasConcept C31170391 @default.
- W2144099047 hasConcept C34447519 @default.
- W2144099047 hasConcept C41008148 @default.
- W2144099047 hasConcept C41895202 @default.
- W2144099047 hasConcept C68339613 @default.
- W2144099047 hasConcept C80444323 @default.
- W2144099047 hasConceptScore W2144099047C11413529 @default.
- W2144099047 hasConceptScore W2144099047C124101348 @default.
- W2144099047 hasConceptScore W2144099047C138885662 @default.
- W2144099047 hasConceptScore W2144099047C144986985 @default.
- W2144099047 hasConceptScore W2144099047C162324750 @default.
- W2144099047 hasConceptScore W2144099047C173608175 @default.
- W2144099047 hasConceptScore W2144099047C2779808786 @default.
- W2144099047 hasConceptScore W2144099047C31170391 @default.
- W2144099047 hasConceptScore W2144099047C34447519 @default.
- W2144099047 hasConceptScore W2144099047C41008148 @default.
- W2144099047 hasConceptScore W2144099047C41895202 @default.
- W2144099047 hasConceptScore W2144099047C68339613 @default.
- W2144099047 hasConceptScore W2144099047C80444323 @default.
- W2144099047 hasLocation W21440990471 @default.
- W2144099047 hasOpenAccess W2144099047 @default.
- W2144099047 hasPrimaryLocation W21440990471 @default.
- W2144099047 hasRelatedWork W1494294191 @default.
- W2144099047 hasRelatedWork W1781167154 @default.
- W2144099047 hasRelatedWork W1889333569 @default.
- W2144099047 hasRelatedWork W1986660301 @default.
- W2144099047 hasRelatedWork W2003116861 @default.
- W2144099047 hasRelatedWork W2037481186 @default.
- W2144099047 hasRelatedWork W2101330213 @default.
- W2144099047 hasRelatedWork W2101819268 @default.
- W2144099047 hasRelatedWork W2102441982 @default.
- W2144099047 hasRelatedWork W2108309071 @default.
- W2144099047 hasRelatedWork W2112173236 @default.
- W2144099047 hasRelatedWork W2121862753 @default.
- W2144099047 hasRelatedWork W2123659430 @default.
- W2144099047 hasRelatedWork W2126693329 @default.
- W2144099047 hasRelatedWork W2144386448 @default.
- W2144099047 hasRelatedWork W2162045655 @default.
- W2144099047 hasRelatedWork W2162661453 @default.
- W2144099047 hasRelatedWork W2165663378 @default.
- W2144099047 hasRelatedWork W2166007208 @default.
- W2144099047 hasRelatedWork W3102281800 @default.
- W2144099047 isParatext "false" @default.
- W2144099047 isRetracted "false" @default.
- W2144099047 magId "2144099047" @default.
- W2144099047 workType "article" @default.