From Data to Events: Checking Properties on the Control of a System.
Christophe JacquetFrédéric BoulangerDominique MarcadetPublished in: MEMOCODE (2008)
Keyphrases
- data sets
- high quality
- data analysis
- data collection
- statistical methods
- data points
- historical data
- missing data
- high dimensional data
- computer systems
- human activities
- experimental data
- database
- data sources
- knowledge discovery
- databases
- data structure
- training data
- machine learning
- temporal data
- complex data
- raw data
- neural network
- temporal information
- multimedia data
- data acquisition
- sensor data
- attribute values
- synthetic data
- prior knowledge
- control system