13383 search results - page 369 / 2677 » Abstractions from proofs |
164
click to vote
TCC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
180
click to vote
TSD
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
187
click to vote
WDAG
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
202
click to vote
CGI
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper proposes a keyframe extraction method based on a novel layered curve simplification algorithm for motion capture data. Bone angles are employed as motion features and ke...
172
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
Abstract. In this paper we propose a new method to perform incremental discretization. The basic idea is to perform the task in two layers. The first layer receives the sequence o...