4743 search results - page 129 / 949 » The PlusCal Algorithm Language |
102
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Information retrieval tools and search engines have mainly been leveraging research results and technologies developed for the English language. In this paper we report the issues...
CLEF
2000
Springer
15 years 6 months ago
2000
Springer
We employ Automorphology, an MDL-based algorithm that determines the suffixes present in a language-sample with no prior knowledge of the language in question, and describe our exp...
133
click to vote
COCO
2005
Springer
15 years 8 months ago
2005
Springer
We prove that if NP ⊆ BPP, i.e., if SAT is worst-case hard, then for every probabilistic polynomial-time algorithm trying to decide SAT, there exists some polynomially samplable ...
149
click to vote
SIGMOD
1993
ACM
15 years 6 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...