Simulating Logspace-Recursion with Logarithmic Quantifier Depth.

Steffen van Bergerem Martin Grohe Sandra Kiefer Luca Oeljeklaus

Published in: CoRR (2023)

Keyphrases

depth information
worst case
depth map
complex objects
machine learning
multiscale
database
neural network
learning algorithm
objective function
depth images
transitive closure