Verification of Data Paths Using Unbounded Integers: Automata Strike Back.
Tobias SchüleKlaus SchneiderPublished in: Haifa Verification Conference (2006)
Keyphrases
- data sets
- database
- data analysis
- spatial data
- synthetic data
- image data
- data collection
- social media
- data structure
- end users
- data processing
- high quality
- computer systems
- xml documents
- data sources
- high dimensional data
- machine learning
- attribute values
- data mining
- experimental data
- complex data
- historical data
- finite state