A Synergistic Interweaving of Formal and Informal Methods.

Wing Lok Yeung Karl R. P. H. Leung

Published in: COMPSAC (2003)

Keyphrases

significant improvement
database
formal model
information systems
search algorithm
preprocessing
statistical methods
methods require
data sets
real world
artificial intelligence
support vector machine
multi class
classification method
qualitative and quantitative
optimization methods