Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.

Chong Gao Taolue Chen Zhilin Wu

Published in: CoRR (2018)

Keyphrases

input data
small number
data sets
user defined
training data
data analysis
small fraction
data structure
image data
probability distribution
data mining techniques
data collection
synthetic data
original data
database
data points
high dimensional
high dimensional data
data distribution
highly correlated