2173 search results - page 1 / 435 » On the Values of Reducibility Candidates |
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
CIKM
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes ...
TCC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...
CBMS
1998
IEEE
13 years 9 months ago
1998
IEEE
An OCR system chosen for its high recognition rate and low percent of false positives also assigns low confidence values to many characters that are actually correct. Human operat...
IV
2008
IEEE
13 years 11 months ago
2008
IEEE
The process ofvoting for a candidate involves selecting an individual who best matches a personal system of values and beliefs. Typically, voters must select a candidate whom they...