1011 search results - page 166 / 203 » The three dimensions of proofs |
199
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
161
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, a family of low-density parity-check (LDPC) degree distributions, whose decoding threshold on the binary erasure channel (BEC) admits a simple closed form, is pr...
155
click to vote
FUN
2007
Springer
16 years 25 days ago
2007
Springer
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
176
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
157
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
- This paper reports the pneumatic PDMS micro hand as an endeffector of robot and miniaturized parallel link robot (guide robot) for manipulating a tiny and delicate object. Micro ...