3333 search results - page 480 / 667 » Abstract Proof Search |
141
click to vote
SPIRE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...
147
click to vote
SSS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
143
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
160
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
160
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new global constraint which combines together the lexicographic ordering constraint with two sum constraints. Lexicographic ordering constraints are freque...