Sciweavers

3169 search results - page 495 / 634
» Robust Timed Automata
Sort
View
PIMRC
2008
IEEE
14 years 3 months ago
A key loss recovery scheme for secure broadcasts in wireless sensor networks
Abstract—Authenticity and secrecy of broadcast message content is important in wireless sensor networks deployed for battlefield control, emergency response, and natural resourc...
Syed Taha Ali, Vijay Sivaraman, Ashay Dhamdhere, D...
RTAS
2008
IEEE
14 years 3 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
VTC
2008
IEEE
120views Communications» more  VTC 2008»
14 years 3 months ago
A Comprehensive Performance Comparison of OFDM/TDM Using MMSE-FDE and Conventional OFDM
—Orthogonal frequency division multiplexing (OFDM) is currently under intense research for broadband wireless transmission due to its robustness against multipath fading. However...
Haris Gacanin, Fumiyuki Adachi
AINA
2007
IEEE
14 years 3 months ago
Speaker Tracking and Identifying Based on Indoor Localization System and Microphone Array
This paper presents a novel multimodal system to track the participants and identify the active speaker in the smart meeting room. Indoor localization system, Cicada, is used to o...
Xiaojie Chen, Yuanchun Shi, Wenfeng Jiang
BIBE
2007
IEEE
155views Bioinformatics» more  BIBE 2007»
14 years 3 months ago
Partial Mixture Model for Tight Clustering in Exploratory Gene Expression Analysis
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
Yinyin Yuan, Chang-Tsun Li