The Russell-Prawitz embedding and the atomization of universal instantiation.

José Espírito Santo Gilda Ferreira

Published in: Log. J. IGPL (2021)

Keyphrases

vector space
robust image watermarking
multiresolution
database
image processing
high dimensional
signal processing
graph embedding
neural network
artificial intelligence
embedding space
manifold embedding
algorithmic information theory