The Inverse Method Implements the Automata Approach for Modal Satisfiability

Franz Baader Stephan Tobies

Published in: CoRR (2004)

Keyphrases

high accuracy
pairwise
cost function
decision trees
similarity measure
high precision
detection method
experimental evaluation
significant improvement
preprocessing
computational complexity
np hard
support vector machine
optimization algorithm
clustering method
segmentation method
objective function