4743 search results - page 665 / 949 » The PlusCal Algorithm Language |
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...
ICALP
2001
Springer
14 years 2 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
ASPLOS
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we present our effort in developing an opensource GPU (graphics processing units) code library for the MATLAB Image Processing Toolbox (IPT). We ported a dozen of r...