transfinite dependent choice.

Christian Rüede

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

information retrieval
image segmentation
special case
real world
knowledge base
case study
database systems
trade off
domain knowledge