Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.
Xu WangA. W. RoscoeRanko LazicPublished in: IFM (2004)
Keyphrases
- database
- data sets
- data quality
- data analysis
- data collection
- raw data
- input data
- data sources
- data points
- statistical methods
- constraint satisfaction problems
- data processing
- knowledge discovery
- end users
- np hard
- query processing
- prior knowledge
- sensor data
- data distribution
- training data
- database systems
- neural network
- complex data