Finding compact proofs for infinite-data parameterised Boolean equation systems.
Thomas NeeleTim A. C. WillemseJan Friso GrootePublished in: Sci. Comput. Program. (2020)
Keyphrases
- data sets
- database
- training data
- computer systems
- data collection
- data sources
- synthetic data
- data analysis
- image data
- data mining techniques
- complex systems
- data points
- databases
- knowledge discovery
- original data
- raw data
- data distribution
- high dimensional data
- statistical analysis
- high quality
- data processing
- expert systems
- information retrieval
- input data
- spatial data
- prior knowledge
- data acquisition
- data management
- end users
- storage systems