A case-study of scoring schemes for the PvS-index.

Published in: CVDB (2005)

Keyphrases

case study
database
theorem proving
index structure
formal verification
information systems
scoring model
data mining
learning algorithm
hidden markov models
multi dimensional
xml schema
test bed
inverted file