1716 search results - page 318 / 344 » Proving Conditional Termination |
107
click to vote
PODS
2008
ACM
16 years 25 days ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
101
click to vote
PODS
2008
ACM
16 years 25 days ago
2008
ACM
A schema mapping is a specification that describes how data from a source schema is to be mapped to a target schema. Once the data has been transferred from the source to the targ...
100
Voted
EDBT
2004
ACM
16 years 25 days ago
2004
ACM
Abstract. Recent years have witnessed an increasing interest in designing algorithms for querying and analyzing streaming data (i.e., data that is seen only once in a fixed order) ...
104
click to vote
MOBIHOC
2008
ACM
16 years 8 days ago
2008
ACM
It was shown recently [7?9], under quite general conditions, that retransmission-based protocols may result in power-law delays and possibly zero throughput even if the distributi...
156
Voted
Publication
In pay-per click sponsored search auctions which are cur-
rently extensively used by search engines, the auction for
a keyword involves a certain number of advertisers (say k)
c...