Sciweavers

1702 search results - page 250 / 341
» Using Nondeterminism to Design Efficient Deterministic Algor...
Sort
View
135
Voted
SIGIR
2005
ACM
15 years 8 months ago
Personalizing search via automated analysis of interests and activities
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
Jaime Teevan, Susan T. Dumais, Eric Horvitz
124
Voted
ACTAC
1999
117views more  ACTAC 1999»
15 years 2 months ago
Limiting Distortion of a Wavelet Image Codec
A new image compression algorithm, Distortion Limited Wavelet Image Codec (DLWIC), is introduced. The codec is designed to be simple to implement, fast and have modest requirement...
Joonas Lehtinen
114
Voted
WWW
2007
ACM
16 years 3 months ago
SRing: a structured non dht p2p overlay supporting string range queries
This paper presents SRing, a structured non DHT P2P overlay that efficiently supports exact and range queries on multiple attribute values. In SRing, all attribute values are inte...
Xiaoping Sun, Xue Chen
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 3 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
123
Voted
CSCLP
2007
Springer
15 years 8 months ago
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...
Pavel Surynek