FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076227564> ?p ?o ?g. }

• W2076227564 abstract "Abstract An advanced binary encoded incidence matrix representation, to support KBS Verification and Validation (KBS V & V), is described. The representation has two very important advantages over traditional incidence matrix representation techniques. Firstly the storage capacity required by the binary encoded matrices is substantially less (97%) than that required using more conventional incidence matrix representations. Secondly the representation supports much more efficient processing. Both a traditional and the advanced incidence matrix representation are described as built into two KBS V & V systems, IMVER-1 and IMVER-2. The similarity between the two systems provides an appropriate mechanism for comparing the two representations. Two algorithms, one for inference verification and one for structural verification, are analysed with respect to the IMVER representations. Consequently some time complexity measures are determined based on the number of matrix element comparisons required when the algorithms are tested against a range of “balanced” rulebases. The overall conclusion is that the advanced binary representation, as implemented in the IMVER-2 system, when tested against realistically sized rulebases, utilizes significantly fewer (around 96%) comparisons than that required by the traditional representation technique incorporated into the IMVER-1 system." @default.
• W2076227564 created "2016-06-24" @default.
• W2076227564 creator A5073606016 @default.
• W2076227564 date "1994-09-01" @default.
• W2076227564 modified "2023-10-02" @default.
• W2076227564 title "A binary encoded incidence matrix representation for KBS Verification" @default.
• W2076227564 cites W1552930644 @default.
• W2076227564 cites W1555273668 @default.
• W2076227564 cites W2009436136 @default.
• W2076227564 cites W2036866931 @default.
• W2076227564 cites W2171816001 @default.
• W2076227564 doi "https://doi.org/10.1016/0736-5845(94)90037-x" @default.
• W2076227564 hasPublicationYear "1994" @default.
• W2076227564 type Work @default.
• W2076227564 sameAs 2076227564 @default.
• W2076227564 citedByCount "0" @default.
• W2076227564 crossrefType "journal-article" @default.
• W2076227564 hasAuthorship W2076227564A5073606016 @default.
• W2076227564 hasConcept C103275481 @default.
• W2076227564 hasConcept C103278499 @default.
• W2076227564 hasConcept C106487976 @default.
• W2076227564 hasConcept C11413529 @default.
• W2076227564 hasConcept C115961682 @default.
• W2076227564 hasConcept C127413603 @default.
• W2076227564 hasConcept C154945302 @default.
• W2076227564 hasConcept C159985019 @default.
• W2076227564 hasConcept C161301231 @default.
• W2076227564 hasConcept C163561899 @default.
• W2076227564 hasConcept C17744445 @default.
• W2076227564 hasConcept C178790620 @default.
• W2076227564 hasConcept C185592680 @default.
• W2076227564 hasConcept C192562407 @default.
• W2076227564 hasConcept C199539241 @default.
• W2076227564 hasConcept C2524010 @default.
• W2076227564 hasConcept C2776214188 @default.
• W2076227564 hasConcept C2776359362 @default.
• W2076227564 hasConcept C2781311116 @default.
• W2076227564 hasConcept C3309909 @default.
• W2076227564 hasConcept C33923547 @default.
• W2076227564 hasConcept C41008148 @default.
• W2076227564 hasConcept C48372109 @default.
• W2076227564 hasConcept C61511704 @default.
• W2076227564 hasConcept C62611344 @default.
• W2076227564 hasConcept C66938386 @default.
• W2076227564 hasConcept C80444323 @default.
• W2076227564 hasConcept C85136909 @default.
• W2076227564 hasConcept C94375191 @default.
• W2076227564 hasConcept C94625758 @default.
• W2076227564 hasConceptScore W2076227564C103275481 @default.
• W2076227564 hasConceptScore W2076227564C103278499 @default.
• W2076227564 hasConceptScore W2076227564C106487976 @default.
• W2076227564 hasConceptScore W2076227564C11413529 @default.
• W2076227564 hasConceptScore W2076227564C115961682 @default.
• W2076227564 hasConceptScore W2076227564C127413603 @default.
• W2076227564 hasConceptScore W2076227564C154945302 @default.
• W2076227564 hasConceptScore W2076227564C159985019 @default.
• W2076227564 hasConceptScore W2076227564C161301231 @default.
• W2076227564 hasConceptScore W2076227564C163561899 @default.
• W2076227564 hasConceptScore W2076227564C17744445 @default.
• W2076227564 hasConceptScore W2076227564C178790620 @default.
• W2076227564 hasConceptScore W2076227564C185592680 @default.
• W2076227564 hasConceptScore W2076227564C192562407 @default.
• W2076227564 hasConceptScore W2076227564C199539241 @default.
• W2076227564 hasConceptScore W2076227564C2524010 @default.
• W2076227564 hasConceptScore W2076227564C2776214188 @default.
• W2076227564 hasConceptScore W2076227564C2776359362 @default.
• W2076227564 hasConceptScore W2076227564C2781311116 @default.
• W2076227564 hasConceptScore W2076227564C3309909 @default.
• W2076227564 hasConceptScore W2076227564C33923547 @default.
• W2076227564 hasConceptScore W2076227564C41008148 @default.
• W2076227564 hasConceptScore W2076227564C48372109 @default.
• W2076227564 hasConceptScore W2076227564C61511704 @default.
• W2076227564 hasConceptScore W2076227564C62611344 @default.
• W2076227564 hasConceptScore W2076227564C66938386 @default.
• W2076227564 hasConceptScore W2076227564C80444323 @default.
• W2076227564 hasConceptScore W2076227564C85136909 @default.
• W2076227564 hasConceptScore W2076227564C94375191 @default.
• W2076227564 hasConceptScore W2076227564C94625758 @default.
• W2076227564 hasLocation W20762275641 @default.
• W2076227564 hasOpenAccess W2076227564 @default.
• W2076227564 hasPrimaryLocation W20762275641 @default.
• W2076227564 hasRelatedWork W1486699722 @default.
• W2076227564 hasRelatedWork W1600266026 @default.
• W2076227564 hasRelatedWork W1856822073 @default.
• W2076227564 hasRelatedWork W1966562425 @default.
• W2076227564 hasRelatedWork W1987982498 @default.
• W2076227564 hasRelatedWork W1997925304 @default.
• W2076227564 hasRelatedWork W2049605946 @default.
• W2076227564 hasRelatedWork W2061510426 @default.
• W2076227564 hasRelatedWork W2090915620 @default.
• W2076227564 hasRelatedWork W2101577366 @default.
• W2076227564 hasRelatedWork W2102572436 @default.
• W2076227564 hasRelatedWork W2113310226 @default.
• W2076227564 hasRelatedWork W2115698906 @default.
• W2076227564 hasRelatedWork W2128052013 @default.
• W2076227564 hasRelatedWork W2134103145 @default.
• W2076227564 hasRelatedWork W2134401100 @default.
• W2076227564 hasRelatedWork W2144175552 @default.
• W2076227564 hasRelatedWork W2159385644 @default.
• W2076227564 hasRelatedWork W2372899006 @default.

• next