Sciweavers

4164 search results - page 748 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
ICRA
2009
IEEE
160views Robotics» more  ICRA 2009»
16 years 28 days ago
Tracking of facial features to support human-robot interaction
— In this paper we present a novel methodology for detection and tracking of facial features like eyes, nose and mouth in image sequences. The proposed methodology is intended to...
Maria Pateraki, Haris Baltzakis, Polychronis Konda...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
16 years 27 days ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
GROUP
2009
ACM
16 years 24 days ago
Lazy scheduling of processing and transmission tasks in collaborative systems
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
Sasa Junuzovic, Prasun Dewan
GLOBECOM
2008
IEEE
16 years 23 days ago
A Game Theoretic Framework for Distributed Self-Coexistence Among IEEE 802.22 Networks
—The cognitive radio based IEEE 802.22 wireless regional area network (WRAN) is designed to operate in the under–utilized TV bands by detecting and avoiding primary TV transmis...
Shamik Sengupta, R. Chandramouli, Swastik Brahma, ...
HICSS
2008
IEEE
124views Biometrics» more  HICSS 2008»
16 years 23 days ago
Measuring Factors that Influence the Success of E-Government Initiatives
Understanding how citizens value e-government services is critical to the success of these initiatives. This paper describes the development of a model to identify factors that in...
Ronnie Park