Computability Theory, Nonstandard Analysis, and their Connections.

Dag Normann Sam Sanders

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

Keyphrases

image analysis
automatic analysis
data analysis
empirical data
theoretical basis
wide range
multiresolution
formal theory
databases
theoretical framework
trade off
digital libraries
pattern recognition
three dimensional
e learning
computer vision
search engine
data mining