Login / Signup
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.
Julian Tschannen
Carlo Alberto Furia
Martin Nordio
Bertrand Meyer
Published in:
LASER Summer School (2011)
Keyphrases
</>
object oriented
feature vectors
feature set
feature extraction
key features
high level
object oriented databases
real time
information retrieval
decision trees
video sequences
feature space
co occurrence
data types
web intelligence