4421 search results - page 413 / 885 » Libraries |
112
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...
131
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
168
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We consider the problem of offloading secure access-controlled content from central origin servers to distributed caches so clients can access a proximal cache rather than the orig...
143
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appr...
115
click to vote
WSDM
2010
ACM
16 years 2 months ago
2010
ACM
A fundamental premise of tagging systems is that regular users can organize large collections for browsing and other tasks using uncontrolled vocabularies. Until now, that premise...