Verifying Time Complexity of Deterministic Turing Machines.

Published in: CoRR (2013)

Keyphrases

turing machine
data sets
real time
metadata
high level
information retrieval
web services
three dimensional
computational complexity
digital libraries
expert systems
multiresolution
state space
worst case
model checking
decision problems
space complexity