Complexity of Formal Translations and Speed-Up Results

Robert L. Constable Juris Hartmanis

Published in: STOC (1971)

Keyphrases

search algorithm
worst case
computer vision
image processing
image sequences
multiscale
multi agent
decision problems
formal specification
lower complexity