Sciweavers

1092 search results - page 24 / 219
» Polynomial Interpretations and the Complexity of Algorithms
Sort
View
EVOW
2008
Springer
15 years 1 months ago
An Evolutionary Approach for Ontology Driven Image Interpretation
Image mining and interpretation is a quite complex process. In this article, we propose to model expert knowledge on objects present in an image through an ontology. This ontology ...
Germain Forestier, Sébastien Derivaux, C&ea...
JACM
2000
81views more  JACM 2000»
14 years 11 months ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
STOC
2003
ACM
96views Algorithms» more  STOC 2003»
16 years 1 days ago
Optimal oblivious routing in polynomial time
A recent seminal result of R?acke is that for any network there is an oblivious routing algorithm with a polylog competitive ratio with respect to congestion. Unfortunately, R?ack...
Yossi Azar, Edith Cohen, Amos Fiat, Haim Kaplan, H...
POPL
2003
ACM
16 years 1 days ago
Discovering affine equalities using random interpretation
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
Sumit Gulwani, George C. Necula
ECCC
2010
86views more  ECCC 2010»
14 years 11 months ago
On Approximating the Entropy of Polynomial Mappings
We investigate the complexity of the following computational problem: Polynomial Entropy Approximation (PEA): Given a low-degree polynomial mapping p : Fn Fm , where F is a finite...
Zeev Dvir, Dan Gutfreund, Guy N. Rothblum, Salil P...