Login / Signup

Measuring without Measures: The Delta-Calculus.

Kai Zimmermann
Published in: COSIT (1995)
Keyphrases
  • evaluation measures
  • automated deduction
  • machine learning
  • computer vision
  • relational databases