Counter Machines and Verification Problems.

Oscar H. Ibarra Jianwen Su Zhe Dang Tevfik Bultan Richard A. Kemmerer

Published in: Theor. Comput. Sci. (2002)

Keyphrases

practical problems
similarity measure
related problems
solving problems
relational databases
probabilistic model
application domains
optimization problems
multi class
benchmark problems
np complete
simulated annealing
database
objective function
learning algorithm
information retrieval
real time