305 search results - page 45 / 61 » From Sets to Bits in Coq |
152
click to vote
PKC
2010
Springer
15 years 10 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...
156
click to vote
FOCS
2009
IEEE
15 years 10 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 ...
151
click to vote
GLOBECOM
2009
IEEE
15 years 10 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...
143
click to vote
ASAP
2007
IEEE
15 years 8 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...
135
click to vote
FLAIRS
2004
15 years 7 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 ...