Post's Problem for ordinal register machines: An explicit approach.

Joel David Hamkins Russell G. Miller

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

real time
information technology
feature selection
decision making
image processing
image sequences
computational complexity
evolutionary algorithm
mobile robot
explicitly represented
qualitative decision theory