A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields.

Paola D'Aquino Salma Kuhlmann Karen M. Lange

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

Keyphrases

real life
computer vision
real world
wide range
special case
databases
machine learning
image segmentation
database systems
computer science
preprocessing
multiresolution
coarse to fine
queueing networks