Empirical Verification of Effectiveness for a Knowledge-Based System.

Published in: Int. J. Man Mach. Stud. (1992)

Keyphrases

machine learning
theoretical analysis
model checking
search engine
database systems
face verification
formal methods
formal analysis
asynchronous circuits