This page gives a list of research papers. Each paper should have its own page which should include the Subject, Date, title, notes, and {{{BibTeX}}} entry.

=== Subject: Boolean Algebras with Linear Cardinatlity Constraints ===

   * ["Quantifier Elimination of First-Order Theory of Boolean Algebras with Linear Cardinatlity Constraints"]
   * K. Elbassioni, A. Elmasry, I. Kamel "An efficient indexing scheme for multidimensional moving objects" International Conference on Database Theory (ICDT), 2003.
   * S. Govindarajan, P.K. Agarwal, L. Arge "CRB-Tree: An efficient indexing scheme for range aggregation queries" International Conference on Database Theory (ICDT), 2003.
   * R. Ng, Y. Cai "Indexing spatiotemporal trajectories with Chebyshev polynomials" ACM Symposium on Principles of Database Systems, 2004.
   * Y. Tao, C. Faloutsos, D. Papadias, B. Liu "Prediction and indexing of moving objects with unknown motion patterns" ACM Symposium on Principles of Database Systems, 2004.
   * J. Patel, Y. Chen, V. P. Chakka "An efficient index for predicted trajectories" ACM Symposium on Principles of Database Systems, 2004.
   * Moon (?) "Spatial and spatiotemporal aggregation" Tech. Report, Univ. of Arizona (?)