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 (?)