Path Checking for MTL and TPTL over Data Words.
Shiguang FengMarkus LohreyKarin QuaasPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- data sets
- original data
- data collection
- data points
- data quality
- training data
- prior knowledge
- data processing
- data mining techniques
- image data
- synthetic data
- labeled data
- computer systems
- database
- data sources
- databases
- knowledge discovery
- association rules
- high quality
- high dimensional data
- learning algorithm
- data distribution
- raw data
- machine learning
- inductive learning