Information Reuse for Multi-goal Reachability Analyses.

Dirk Beyer Andreas Holzer Michael Tautschnig Helmut Veith

Published in: ESOP (2013)

Keyphrases

data mining
high level
prior knowledge
raw data
structural information
web documents
information sources
end users
prior information
spatial information
background knowledge
statistical analysis
data sets
user interface
keywords
machine learning
databases