2436 search results - page 382 / 488 » Comonadic Notions of Computation |
151
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a unified framework for the evaluation of a range of structured document retrieval (SDR) approaches and tasks. The framework is based on a model of tree retrie...
131
click to vote
CRYPTO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we introduce the notion of a Public-Key Encryption Scheme that is also a Locally-Decodable Error-Correcting Code (PKLDC). In particular, we allow any polynomialtime ...
167
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
124
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
We study obfuscation of point functions with multibit output and other related functions. A point function with multibit output returns a string on a single input point and zero ev...
124
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
A key focus of contemporary agent-oriented research and engineering is on open multiagent systems composed of truly autonomous, interacting agents. This poses new challenges, as en...