Login / Signup
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
Matthew Hague
C.-H. Luke Ong
Published in:
CoRR (2010)
Keyphrases
</>
significant improvement
classification method
neural network
synthetic data
experimental evaluation
high precision
detection method
clustering method
support vector machine svm
mutual information
high accuracy
knn
computer systems
cost function
prior knowledge
expert systems
preprocessing
image processing
data sets