Sciweavers

490 search results - page 34 / 98
» A Framework for Developing Local E-government
Sort
View
CSFW
2005
IEEE
14 years 1 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
RT
1995
Springer
13 years 11 months ago
Spherical Wavelets: Texture Processing
: Wavelets are a powerful tool forplanar image processing. The resulting algorithms are straightforward, fast, and efficient. With the recently developed spherical wavelets this f...
Peter Schröder, Wim Sweldens
TRECVID
2008
13 years 9 months ago
UEC at TRECVID 2008 High Level Feature Task
In this paper, we describe our approach and results for high-level feature extraction task (HLF) at TRECVID2008. This year, our focus is to develop a framework which fuses a numbe...
Zhiyuan Tang, Keiji Yanai
DAGSTUHL
2003
13 years 9 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
ICPR
2004
IEEE
14 years 8 months ago
Online Appearance-Based Face and Facial Feature Tracking
We propose a simple framework that utilizes online appearance models for 3D face and facial feature tracking with a deformable model. Adapting the geometrical parameters for each ...
Fadi Dornaika, Franck Davoine