Verifying Data Independent Programs Using Game Semantics.

Aleksandar S. Dimovski

Published in: SC@STAF (2013)

Keyphrases

data sets
data collection
raw data
statistical analysis
synthetic data
small number
data processing
high quality
data objects
original data
experimental data
data mining techniques
image data
end users
data analysis
data structure
input data
computer systems
object oriented
missing data
knowledge discovery