Deriving generic class instances for datatypes.

Jonas Rädle Lars Hupel

Published in: Arch. Formal Proofs (2018)

Keyphrases

data types
training instances
data structure
multiple classes
neural network
database systems
high dimensional
relational databases
domain specific
randomly generated
instance selection