Sciweavers

3731 search results - page 287 / 747
» cases 2006
Sort
View
CAAN
2006
Springer
15 years 10 months ago
Optimal Gossiping with Unit Size Messages in Known Topology Radio Networks
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...
Fredrik Manne, Qin Xin
CAV
2006
Springer
132views Hardware» more  CAV 2006»
15 years 10 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
CHES
2006
Springer
124views Cryptology» more  CHES 2006»
15 years 10 months ago
A Proposition for Correlation Power Analysis Enhancement
Cryptographic devices are vulnerable to the nowadays well known side channel leakage analysis. Secret data can be revealed by power analysis attacks such as Simple Power Analysis (...
Thanh-Ha Le, Jessy Clédière, C&eacut...
CLEAR
2006
Springer
159views Biometrics» more  CLEAR 2006»
15 years 10 months ago
Neural Network-Based Head Pose Estimation and Multi-view Fusion
In this paper, we present two systems that were used for head pose estimation during the CLEAR06 Evaluation. We participated in two tasks: (1) estimating both pan and tilt orientat...
Michael Voit, Kai Nickel, Rainer Stiefelhagen
COCOON
2006
Springer
15 years 10 months ago
Improved On-Line Broadcast Scheduling with Deadlines
We study an on-line broadcast scheduling problem in which requests have deadlines, and the objective is to maximize the weighted throughput, i.e., the weighted total length of the ...
Feifeng Zheng, Stanley P. Y. Fung, Wun-Tat Chan, F...