13383 search results - page 326 / 2677 » Abstractions from proofs |
188
click to vote
ESA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We propose a novel randomized algorithm for computing a dominating set based clustering in wireless ad-hoc and sensor networks. The algorithm works under a model which ca...
173
click to vote
EUROPAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Mixed-parallelism, the combination of data- and taskparallelism, is a powerful way of increasing the scalability of entire classes of parallel applications on platforms c...
173
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this work we propose a fuzzy technique to compare XML documents belonging to a semi-structured flow and sharing a common vocabulary of tags. Our approach is based on t...
149
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
175
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...