• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Term Algebras with Length Function and Bounded Quantifier Alternation.

Ting ZhangHenny B. SipmaZohar Manna
Published in: TPHOLs (2004)
Keyphrases
  • machine learning
  • neural network
  • information retrieval
  • social networks
  • image segmentation
  • multiscale
  • information retrieval systems
  • temporal reasoning
  • maximum number
  • weighting functions