Sign in

Reasoning About Loops Using Vampire in KeY.

Wolfgang AhrendtLaura KovácsSimon Robillard
Published in: LPAR (2015)
Keyphrases
  • pattern recognition
  • data sets
  • special case
  • feature selection
  • three dimensional
  • object recognition
  • multiresolution
  • end users