SMT-LIB Theory of Nominative Data.

Liudmyla Omelchuk Olena Shyshatska

Published in: ICTERI (Revised Selected Papers) (2019)

Keyphrases

data sets
data collection
data analysis
database
image data
training data
input data
noisy data
data processing
small number
data sources
data structure
experimental data
raw data
original data
complex data
xml documents
statistical analysis
synthetic data
machine learning
data quality