On the expressive power of datalog: Tools and a case study
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1995
- Journal of Computer and System Sciences
Paper
Publications
3613 results for Mathematical Sciences
Competitive paging with locality of reference
- Allan Borodin
- Sandy Irani
- et al.
- 1995
- Journal of Computer and System Sciences
PaperA fast Poisson solver for complex geometries
- A. McKenney
- L. Greengard
- et al.
- 1995
- Journal of Computational Physics
PaperEfficient Color Histogram Indexing for Quadratic Form Distance Functions
- Will Equitz
- Harpreet S. Sawhney
- et al.
- 1995
- IEEE Transactions on Pattern Analysis and Machine Intelligence
PaperExplicit and asymptotic formulas for LDMt factorization of banded toeplitz matrices
- James Lee Hafner
- 1995
- Linear Algebra and Its Applications
PaperRobust algorithms for the calculation of full-wave electromagnetic solutions
- I. Efrat
- M. Tismenetsky
- et al.
- 1995
- Journal of Computational Physics
PaperCheckerboard maps
- N.J. Balmforth
- E.A. Spiegel
- et al.
- 1995
- Chaos
PaperFunctions that preserve families of positive semidefinite matrices
- Carl H. FitzGerald
- Charles A. Micchelli
- et al.
- 1995
- Linear Algebra and Its Applications
PaperSelf-organization of an oscillatory neural system
- Barry E. Willner
- Chien-Ping Lu
- et al.
- 1995
- Journal of Mathematical Biology
PaperOn the independence number of sparse graphs
- James B. Shearer
- 1995
- Random Structures & Algorithms
Paper