Sciweavers

5638 search results - page 341 / 1128
» On presence
Sort
View
3DPVT
2006
IEEE
194views Visualization» more  3DPVT 2006»
16 years 26 days ago
Expression Compensation for Face Recognition Using a Polar Geodesic Representation
This paper addresses the problem of face recognition in the presence of deformation due to expressions. Facial motion is considered as an isometric mapping between surfaces, which...
Iordanis Mpiperis, Sotiris Malassiotis, Michael G....
ASWEC
2006
IEEE
16 years 26 days ago
Formally Analysing a Security Protocol for Replay Attacks
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
Benjamin W. Long, Colin J. Fidge
CSFW
2006
IEEE
16 years 26 days ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
DATE
2006
IEEE
76views Hardware» more  DATE 2006»
16 years 26 days ago
Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
Zhongwen Li, Hong Chen, Shui Yu
DEXAW
2006
IEEE
151views Database» more  DEXAW 2006»
16 years 26 days ago
Avenues to Flexible Data Integrity Checking
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
Hendrik Decker, Davide Martinenghi