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