5435 search results - page 764 / 1087 » Informed Detection Revisited |
210
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
173
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
We present ECC FIFO, a mechanism enabling two-tiered last-level cache error protection using an arbitrarily strong tier-2 code without increasing on-chip storage. Instead of addin...
201
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Social networking services well know that some users are unwilling to freely share the information they store with the service (e.g. profile information). To address this, servic...
175
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...
189
click to vote
CIDM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— A Bayes net has qualitative and quantitative aspects: The qualitative aspect is its graphical structure that corresponds to correlations among the variables in the Baye...