Formally Checking Large Data Sets in the Railways

Thierry Lecomte Lilian Burdy Michael Leuschel

Published in: CoRR (2012)

Keyphrases

data sets
data analysis
neural network
genetic algorithm
computer science
small data sets
real world
computer vision
case study
three dimensional
high level
data structure
preprocessing
evolutionary algorithm
consistency checking
statistically sound