1716 search results - page 326 / 344 » Proving Conditional Termination |
196
Voted
SENSYS
2003
ACM
16 years 21 days ago
2003
ACM
We consider dense wireless sensor networks deployed to observe arbitrary random fields. The requirement is to reconstruct an estimate of the random field at a certain collector ...
211
Voted
WIDM
2003
ACM
16 years 21 days ago
2003
ACM
Query rewriting using views is an essential issue in data integration. A number of algorithms, e.g., the bucket algorithm, the inverse rules algorithm, the SVB algorithm and the M...
171
click to vote
ASIACRYPT
2003
Springer
16 years 21 days ago
2003
Springer
We present two new parallel algorithms for extending the domain of a UOWHF. The first algorithm is complete binary tree based construction and has less key length expansion than S...
204
click to vote
IPSN
2003
Springer
16 years 19 days ago
2003
Springer
In this paper we present a distributed, application-morphable, algorithm for waking up appropriate sensor nodes in a heterogeneous sensor network. We assume a sensor field consisti...
201
click to vote
ISAAC
2003
Springer
16 years 19 days ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...