Login / Signup
Comparison of Proof Methods.
Wolfgang Bibel
Published in:
AReCCa@TABLEAUX (2023)
Keyphrases
</>
significant improvement
database
computationally expensive
hybrid method
case study
feature extraction
training data
model selection
empirical studies
cross validation