Sign in
Reasoning About Loops Using Vampire in KeY.
Wolfgang Ahrendt
Laura Kovács
Simon Robillard
Published in:
LPAR (2015)
Keyphrases
</>
pattern recognition
data sets
special case
feature selection
three dimensional
object recognition
multiresolution
end users