Specification Predicates with Explicit Dependency Information.

Richard Bubel Reiner Hähnle Peter H. Schmitt

Published in: VERIFY (2008)

Keyphrases

end users
contextual information
semantic information
information content
learning algorithm
relational databases
prior knowledge
data sources
information retrieval systems
information processing
raw data