305 search results - page 45 / 61 » From Sets to Bits in Coq |
102
click to vote
PKC
2010
Springer
15 years 4 months ago
2010
Springer
A fundamental privacy problem in the client-server setting is the retrieval of a record from a database maintained by a server so that the computationally bounded server remains ob...
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Coin flipping is a fundamental cryptographic primitive that enables two distrustful and far apart parties to create a uniformly random bit [Blu81]. Quantum information allows for ...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
We study the impact of the shape of optical filters on the bit error rate (BER) of a multi-channel spectrum-sliced wavelength division multiplexed (SS-WDM) system, incorporating no...
86
Voted
ASAP
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper presents an optimized design approach of two’s complement large-size squarers using embedded multipliers in FPGAs. The realization is based on BaughWooley’s algorit...
78
Voted
FLAIRS
2004
15 years 1 months ago
2004
The current implementation of situation interpretation metrics (SIMs) in context-based reasoning (CxBR) simulations makes it difficult to effectively and efficiently characterize ...