11016 search results - page 699 / 2204 » Cloud Computing for Science |
227
click to vote
GI
2004
Springer
16 years 25 days ago
2004
Springer
: This paper presents a data-centric and location-aware procedure to perform in-network evaluation of queries in sensor networks. The algorithm is a hybrid of geographic hash table...
191
click to vote
RTA
2004
Springer
16 years 23 days ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
214
click to vote
RTA
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
163
click to vote
STACS
2004
Springer
16 years 23 days ago
2004
Springer
We consider metrical task systems, a general framework to model online problems. Borodin, Linial and Saks [BLS92] presented a deterministic work function algorithm (WFA) for metric...
210
click to vote
STACS
2004
Springer
16 years 23 days ago
2004
Springer
Abstract We give a method for approximating any n-dimensional lattice with a lattice Λ whose factor group Zn /Λ has n − 1 cycles of equal length with arbitrary precision. We al...