Projective well-orderings and bounded forcing axioms.

Andrés Eduardo Caicedo

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

Keyphrases

first order logic
knowledge base
hidden markov models
reconstruction from multiple views
image processing
decision trees
three dimensional
video sequences
description logics