Some Undecidable Approximations of TRSs.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

sufficient conditions
approximation methods
computationally tractable
database
neural network
information retrieval
learning algorithm
image processing
objective function
probabilistic model
upper bound
low order