A Formal Study of Consistency of KBSs.

Luis M. Laita Julia Couto Luis de Ledesma

Published in: EUROVAV (1991)

Keyphrases

empirical studies
data sets
information systems
survey data
decision making
image processing
image segmentation
data structure
knowledge acquisition
simulation study
factors affecting
formal analysis