17789 search results - page 3351 / 3558 » Exceptional Use Cases |
252
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
157
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
Linear programming decoding for low-density parity check codes (and related domains such as compressed sensing) has received increased attention over recent years because of its p...
124
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
We study integrality gaps for SDP relaxations of constraint satisfaction problems, in the hierarchy of SDPs defined by Lasserre. Schoenebeck [25] recently showed the first integra...
154
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we propose a conceptual framework for developing a family of models for Group-Centric information sharing. The traditional approach to information sharing, characte...
108
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Nuno Tom?s Daniel Gon?alves With the growing volume of digital information users must deal with, management and retrieval tasks have become increasingly problematic. A popular way ...