A parameterized halting problem, the linear time hierarchy, and the MRDP theorem.

Yijia Chen Moritz Müller Keita Yokoyama

Published in: LICS (2018)

Keyphrases

worst case
hierarchically organized
hierarchical organization
lower level
hierarchical structure
website
web services
image segmentation
data structure
low level
higher level
user defined
information systems
endpoints
computer vision
von neumann
data mining
database