1716 search results - page 326 / 344 » Proving Conditional Termination |
106
click to vote
SENSYS
2003
ACM
15 years 6 months 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 ...
102
click to vote
WIDM
2003
ACM
15 years 6 months 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...
ASIACRYPT
2003
Springer
15 years 5 months 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...
109
Voted
IPSN
2003
Springer
15 years 5 months 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...
ISAAC
2003
Springer
15 years 5 months 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 ...