9532 search results - page 1735 / 1907 » Logic, Graphs, and Algorithms |
108
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Accessing an ever increasing number of emails, possibly on small mobile devices, has become a major problem for many users. Email summarization is a promising way to solve this pr...
125
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
RDF is increasingly being used to represent metadata. RDF Site Summary (RSS) is an application of RDF on the Web that has considerably grown in popularity. However, the way RSS sy...
159
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
A staggering number of multimedia applications are being introduced every day. Yet, the inordinate delays encountered in retrieving multimedia documents make it difficult to use t...
143
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
122
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....