Sciweavers

1860 search results - page 266 / 372
» A Temporal Logic of Robustness
Sort
View
IEEEARES
2006
IEEE
14 years 4 months ago
Modeling Dependable Systems using Hybrid Bayesian Networks
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
Martin Neil, Manesh Tailor, Norman E. Fenton, Davi...
SAC
2006
ACM
14 years 4 months ago
BTS: a Byzantine fault-tolerant tuple space
Generative coordination is one of the most prominent coordination models for implementing open systems due to its spatial and temporal decoupling. Recently, a coordination communi...
Alysson Neves Bessani, Joni da Silva Fraga, Lau Ch...
ICMCS
2005
IEEE
80views Multimedia» more  ICMCS 2005»
14 years 3 months ago
Video Streaming Over 802.11 WLAN with Content-Aware Adaptive Retry
Robust video streaming over error-prone wireless LANs (WLANs) poses many challenges. In this paper, we propose a timestamp-based content-aware adaptive retry (CAR) mechanism for M...
Mei-Hsuan Lu, Peter Steenkiste, Tsuhan Chen
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
14 years 3 months ago
F-SEONS: a second-order frequency-domain algorithm for noisy convolutive source separation
— We present a frequency-domain method of noisy convolutive source separation, where we extends the SEONS algorithm [2] that jointly exploits the nonstationarity and temporal str...
Inseon Jang, Kyeongok Kang, Sangki Kim, Seungjin C...
WACV
2005
IEEE
14 years 3 months ago
Multiplicative Background-Foreground Estimation Under Uncontrolled Illumination using Intrinsic Images
Instead of the conventional background and foreground definition, we propose a novel method that decomposes a scene into time-varying background and foreground intrinsic images. T...
Fatih Murat Porikli