7168 search results - page 1240 / 1434 » A Factorization Approach to Grouping |
268
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Freshness and accuracy are two key measures of quality of service (QoS) in location-based, mobile continual queries (CQs). However, it is often difficult to provide both fresh and ...
166
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Social media sharing web sites like Flickr allow users to annotate images with free tags, which significantly facilitate Web image search and organization. However, the tags assoc...
157
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
162
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
We present a tool for automatically generating UI layouts for handheld devices based on design principles. This tool introduces a gestalt approach to visual interface design rathe...
203
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...