C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Term Algebras with Length Function and Bounded Quantifier Alternation.
Ting Zhang
Henny B. Sipma
Zohar 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