Searching for "Knowledge Verification." – sorted by Relevance.
75 documents found, showing 1 through 10.
Next 10 →
-
VERITAS - An Application for Knowledge Verification
- …VERITAS - An Application for Knowledge Verification Jorge Santos; Carlos Ramos Zita A. Vale Albino…
- Add To MetaCart
-
Using temporal logics of knowledge in the formal verification of security protocols
- …Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols Clare Dixon…
- Cited by 9 (0 self) – Add To MetaCart
-
Requirements for Successful Verification in Practice
- … depend on the quality of the underlying knowledge. It has been stated many times that verification…
- Add To MetaCart
-
A practical method for verifying event-driven software
- … knowledge of verification techniques and a considerable investment of time. In this paper we describe a…
- Cited by 29 (0 self) – Add To MetaCart
-
A Programmable Policy Manager for Conversational Biometrics
- … combines acoustic speaker verification with conversational knowledge verification to make a more accurate…
- Cited by 2 (2 self) – Add To MetaCart
-
A Diagnostic Tool for Tree Based Supervised Classification Learning Algorithms Abstract
- … classification algorithms includes the important step of knowledge verification. Interpretable output…
- Cited by 1 (0 self) – Add To MetaCart
-
Model-based Design and Verification of Security Protocols using LOTOS
- … of computers and the increasing knowledge of verification techniques allow one to perform validations on real…
- Cited by 9 (5 self) – Add To MetaCart
-
Expert Systems For Technical Diagnosis - Some Practical Issues
- … of knowledge acquisition and verification. 4.3 Verification of Expert Knowledge Verifying the adequacy…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards a Method to Conceptualize Domain Ontologies
- … This paper presents the suite of principles, designs criteria and verification process used in the knowledge…
- Cited by 17 (0 self) – Add To MetaCart
-
Informing Science InSITE - "Where Parallels Intersect" June 2003 Paper Accepted as a Short Paper
- … – knowledge validation (see: Nguyen, 1987). Primarily, all verification techniques have been developed…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
