Stratified resolution.

Anatoli Degtyarev Robert Nieuwenhuis Andrei Voronkov

Published in: J. Symb. Comput. (2003)

Keyphrases

consequence finding
high resolution
artificial neural networks
low resolution
neural network
machine learning
real time
metadata
objective function
natural language
sampling rate
higher resolution