Rings which Admit Elimination of Quantifiers.

Published in: J. Symb. Log. (1978)

Keyphrases

natural language
first order logic
averaged one dependence estimators
genetic algorithm
multimedia
decision trees
objective function
video sequences
motion estimation
image compression
inference rules