Sciweavers

4008 search results - page 29 / 802
» An expressive language of signatures
Sort
View
ICFP
2006
ACM
14 years 10 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...
POPL
2000
ACM
14 years 2 months ago
Authentication Primitives and Their Compilation
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
Martín Abadi, Cédric Fournet, George...
ECCV
2006
Springer
14 years 12 months ago
Robust Expression-Invariant Face Recognition from Partially Missing Data
Abstract. Recent studies on three-dimensional face recognition proposed to model facial expressions as isometries of the facial surface. Based on this model, expression-invariant s...
Alexander M. Bronstein, Michael M. Bronstein, Ron ...
AVBPA
2003
Springer
235views Biometrics» more  AVBPA 2003»
14 years 3 months ago
Expression-Invariant 3D Face Recognition
We present a novel 3D face recognition approach based on geometric invariants introduced by Elad and Kimmel. The key idea of the proposed algorithm is a representation of the facia...
Alexander M. Bronstein, Michael M. Bronstein, Ron ...
PKC
1998
Springer
126views Cryptology» more  PKC 1998»
14 years 2 months ago
Certifying Trust
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
Ilari Lehti, Pekka Nikander