An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
Oliver WienandMarkus WedlerDominik StoffelWolfgang KunzGert-Martin GreuelPublished in: CAV (2008)
Keyphrases
- data sets
- data analysis
- database
- data collection
- prior knowledge
- relational databases
- synthetic data
- training data
- data structure
- original data
- decision trees
- raw data
- data sources
- data distribution
- statistical analysis
- complex data
- application domains
- spatial data
- data objects
- data quality
- data processing
- data mining techniques
- data points
- probability distribution
- query language
- case study
- website
- information systems
- databases