588 search results - page 84 / 118 » Reducibility and Completeness in Private Computations |
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper proposes a condition-based algorithm for H.264/AVC 4x4 intra prediction. Exploiting high correlation existed in neighboring intra prediction modes, we propose the three...
ICNP
2006
IEEE
14 years 3 months ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...
COLCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
We propose a new overlay network, called Generic Identifier Network (GIN), for collaborative nodes to share objects with transactions across affiliated organizations by merging th...