Conference paper
Motion video analysis using planar parallax
Harpreet S. Sawhney
IS&T/SPIE Electronic Imaging 1994
Paper
On datalog vs polynomial time
Abstract
We show that certain monotonic polynomial time queries are not expressible in variants of Datalog. The proof techniques include lower bounds for monotone circuit size and a “Pumping Lemma” for Datalog queries. © 1995 by Academic Press, Inc.
Related
L Auslander, E Feig, et al.
Advances in Applied Mathematics
Fernando Martinez, Juntao Chen, et al.
AAAI 2025
Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering