1011 search results - page 166 / 203 » The three dimensions of proofs |
187
click to vote
ISORC
2008
IEEE
16 years 17 days 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 ...
149
click to vote
ICC
2007
IEEE
16 years 15 days 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...
140
click to vote
FUN
2007
Springer
16 years 10 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...
158
click to vote
COMPSAC
2006
IEEE
16 years 7 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...
145
click to vote
ICRA
2006
IEEE
16 years 6 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 ...