Login / Signup
System Description: Vampire 1.0.
Alexandre Riazanov
Andrei Voronkov
Published in:
ARW (2000)
Keyphrases
</>
real time
real world
information systems
high level
data model
lower bound
feature space
preprocessing
computational complexity
pattern recognition
cooperative
video sequences
three dimensional
computer vision
data mining
neural network
databases
data sets