Truth definitions without exponentiation and the Σ₁ collection scheme.

Zofia Adamowicz Leszek Aleksander Kolodziejczyk Jeff B. Paris

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

Keyphrases

data sets
neural network
database systems
hidden markov models
document collections
representation scheme
optimization scheme
database
computer vision
website
video sequences
search algorithm
digital images
detection scheme