Interpretability suprema in Peano Arithmetic.

Paula Henk Albert Visser

Published in: Arch. Math. Log. (2017)

Keyphrases

prediction accuracy
arithmetic operations
rule base
data sets
multiresolution
floating point
space filling curves
database
image processing
objective function
probabilistic model
data warehouse
cellular automata
first order logic