Remarks on Sigma-definability without the equality test over the Reals.

Andrei S. Morozov Margarita V. Korovina

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

Keyphrases

database
fixed point
data mining
computer vision
propositional logic
artificial neural networks
test data
statistical tests
test suite
constraint databases