Bisimulation-invariant PTIME and higher-dimensional µ-calculus.

Published in: Theor. Comput. Sci. (1999)

Keyphrases

higher dimensional
euclidean space
high dimensional
low dimensional
distance transform
finite dimensional
arbitrary dimension
continuous relaxation
signal processing
convex sets
computer vision
multi dimensional
wavelet packet