4198 search results - page 773 / 840 » In search of lost time |
187
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
150
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We present a principled methodology for filtering news stories by formal measures of information novelty, and show how the techniques can be used to custom-tailor newsfeeds based ...
168
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We present an algorithm for updating the PageRank vector [1]. Due to the scale of the web, Google only updates its famous PageRank vector on a monthly basis. However, the Web chan...
322
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
171
Voted
PKC
2009
Springer
16 years 6 months ago
2009
Springer
In this work, we consider the task of allowing a content provider to enforce complex access control policies on oblivious protocols conducted with anonymous users. As our primary ...