Login / Signup
Evaluation Opportunities in Mechanized Theories.
Joe Hurd
Published in:
EMSQMS@IJCAR (2010)
Keyphrases
</>
databases
evaluation methods
comparative evaluation
evaluation method
evaluation model
database
information retrieval
genetic algorithm
decision making
information technology
multiresolution
empirical evaluation
evaluation criteria
multiple perspectives