Login / Signup
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Andreas Blass
Yuri Gurevich
Dean Rosenzweig
Benjamin Rossman
Published in:
CoRR (2007)
Keyphrases
</>
databases
computational cost
computational complexity
orders of magnitude
real time
search engine
image processing
decision trees
face recognition
significant improvement
small number
computational efficiency
computationally expensive
times faster