Provability with finitely many variables.

Robin Hirsch Ian M. Hodkinson Roger D. Maddux

Published in: Bull. Symb. Log. (2002)

Keyphrases

variable selection
finite number
databases
conditional probabilities
directed acyclic graph
data sets
neural network
information retrieval
computer vision
search algorithm
artificial neural networks
independent variables
relevant variables