Sciweavers

4415 search results - page 200 / 883
» How to Pair with a Human
Sort
View
EUROPKI
2006
Springer
15 years 10 months ago
On the Resilience of Key Agreement Protocols to Key Compromise Impersonation
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
Maurizio Adriano Strangio
FOCS
1994
IEEE
15 years 10 months ago
Randomized and deterministic algorithms for geometric spanners of small diameter
Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q o...
Sunil Arya, David M. Mount, Michiel H. M. Smid
COMPSAC
2009
IEEE
15 years 9 months ago
Cartesian Programming: The TransLucid Programming Language
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
John Plaice, Blanca Mancilla
CONEXT
2008
ACM
15 years 8 months ago
AS alliance: cooperatively improving resilience of intra-alliance communication
The current interdomain routing protocol, BGP, is not resilient to a path failure due to its single-path and slowlyconverging route calculation. This paper proposes a novel approa...
Yuichiro Hei, Akihiro Nakao, Toru Hasegawa, Tomohi...
EMNLP
2007
15 years 8 months ago
Hierarchical System Combination for Machine Translation
Given multiple translations of the same source sentence, how to combine them to produce a translation that is better than any single system output? We propose a hierarchical syste...
Fei Huang, Kishore Papineni