20831 search results - page 349 / 4167 » Quantum Computation and Information |
142
click to vote
WOLLIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
163
click to vote
IPTPS
2005
Springer
16 years 12 days ago
2005
Springer
Tulip is an overlay for routing, searching and publish-lookup information sharing. It offers a unique combination of the advantages of both structured and unstructured overlays, t...
225
click to vote
AACC
2004
Springer
16 years 9 days ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
154
click to vote
BIRTHDAY
2004
Springer
16 years 9 days ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
180
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
In e-commerce, the protection of user privacy from a server was not considered feasible until the private information retrieval (PIR) problem was stated recently. A PIR protocol a...