341 search results - page 16 / 69 » Redundancy elimination revisited |
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Database queries often take the form of correlated SQL queries. Correlation refers to the use of values from the outer query block to compute the inner subquery. This is a conveni...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
We present a novel 3D model-based distributed video coding algorithm. It is based on independent, model-based tracking of multiple sources and distributed coding of the tracked fe...
DATE
2003
IEEE
14 years 27 days ago
2003
IEEE
In this paper, we present an energy-aware parameterpassing strategy called on-demand parameter-passing. The objective of this strategy is to eliminate redundant actual parameter e...
CAV
1992
Springer
13 years 11 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...