Improved witnessing and local improvement principles for second-order bounded arithmetic.

Arnold Beckmann Samuel R. Buss

Published in: ACM Trans. Comput. Log. (2014)

Keyphrases

higher order
hidden markov models
high order
real world
computer vision
image processing
decision trees
case study
optimal solution
multi agent systems
significant improvement
theoretical framework