Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.
Robert AboLaurent VoisinPublished in: SEFM Workshops (2013)
Keyphrases
- data sets
- statistical analysis
- data processing
- complex data
- image data
- data analysis
- data collection
- data quality
- raw data
- synthetic data
- data points
- computer systems
- training data
- database
- data distribution
- neural network
- input data
- management system
- social networks
- xml documents
- expert systems
- distributed systems
- learning algorithm
- knowledge discovery
- end users
- data sources
- missing data
- prior knowledge
- clustering algorithm