2137 search results - page 282 / 428 » Proving Abstract Non-interference |
152
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Significant parts of biological knowledge are available only as unstructured text in articles of biomedical journals. By automatically identifying gene and gene produc...
143
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
148
click to vote
JOC
2000
15 years 3 months ago
2000
Abstract. Since the appearance of public-key cryptography in the seminal DiffieHellman paper, many new schemes have been proposed and many have been broken. Thus, the simple fact t...
122
click to vote
RC
1998
15 years 3 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
151
click to vote
SIAMCOMP
1998
15 years 3 months ago
1998
Abstract. String matching is rich with a variety of algorithmic tools. In contrast, multidimensional matching has had a rather sparse set of techniques. This paper presents a new a...