6251 search results - page 837 / 1251 » Randomness, Computability, and Density |
196
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
171
click to vote
SIGMOD
1998
ACM
15 years 12 months ago
1998
ACM
We present new algorithms for computing approximate quantiles of large datasets in a single pass. The approximation guarantees are explicit, and apply without regard to the value ...
160
click to vote
HICSS
1997
IEEE
15 years 12 months ago
1997
IEEE
The value for decision making of high-quality postsolution analysis of decision-supporting models can hardly be overestimated. Candle-lighting analysis (CLA) takes this notion ver...
206
click to vote
CRYPTO
1989
Springer
15 years 11 months ago
1989
Springer
Abstract. In this paper, we provide a new approach to study undeniable signatures by translating secure digital signatures to secure undeniable signatures so that the existing algo...
204
click to vote
CISC
2007
Springer
15 years 11 months ago
2007
Springer
Public key encryption with keyword search (PEKS) enables user Alice to send a secret key TW to a server that will enable the server to locate all encrypted messages containing the...