397 search results - page 77 / 80 » Causal Reasoning with Contexts Using Dependent Types |
152
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
In building practical sensor networks, it is often beneficial to use only a subset of sensors to take measurements because of computational, communication, and power limitations....
157
click to vote
ASIACRYPT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Stream ciphers play an important role in symmetric cryptology because of their suitability in high speed applications where block ciphers fall short. A large number of fa...
155
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
This paper considers the problem of identifying on the Web compound documents (cDocs) ? groups of web pages that in aggregate constitute semantically coherent information entities...
115
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Displaying scanned book pages in a web browser is difficult, due to an array of characteristics of the common user's configuration that compound to yield text that is degrade...
151
Voted
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...