971 search results - page 150 / 195 » Approximate Satisfiability and Equivalence |
192
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...
200
click to vote
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
In this paper we present an online method for managing a goaloriented buffer partitioning in the distributed memory of a network of workstations. Our algorithm implements a feedba...
CAV
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
110
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Uncertain data are inherent in many applications such as environmental surveillance and quantitative economics research. As an important problem in many applications, KNN query has...
104
click to vote
DCC
2008
IEEE
15 years 11 months ago
2008
IEEE
We study the Tardos' probabilistic fingerprinting scheme and show that its codeword length may be shortened by a factor of approximately 4. We achieve this by retracing Tardo...