Simulating Logspace-Recursion with Logarithmic Quantifier Depth.

Steffen van Bergerem Martin Grohe Sandra Kiefer Luca Oeljeklaus

Published in: LICS (2023)

Keyphrases

depth map
depth information
real world
information retrieval
multiscale
genetic algorithm
lower bound
worst case
complex objects
depth images
fuzzy measures
defocused images