Sciweavers

490 search results - page 34 / 98
» A Framework for Developing Local E-government
Sort
View
CSFW
2005
IEEE
15 years 5 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
15 years 3 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
15 years 1 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
15 years 1 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
16 years 28 days 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