5326 search results - page 274 / 1066 » On what we can ensure |
199
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
152
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Skyline queries ask for a set of interesting points from a potentially large set of data points. If we are traveling, for instance, a restaurant might be interesting if there is n...
209
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
Query expansion is an effective technique in improving the retrieval performance for ad-hoc retrieval. However, query expansion can also fail, leading to a degradation of the retri...
195
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...
171
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper we consider the issue of network capacity. The recent work by Li and Yeung examined the network capacity of multicast networks and related capacity to cut...