Streaming Verification in Data Analysis.
Samira DarukiJustin ThalerSuresh VenkatasubramanianPublished in: ISAAC (2015)
Keyphrases
- data analysis
- model checking
- data streams
- data mining
- machine learning
- data collection
- data processing
- rough sets
- multi aspect
- computational complexity
- knowledge discovery
- big data
- data mining applications
- data visualization
- cryptographic protocols
- functional verification
- real time
- formal verification
- life sciences
- case study
- real world