Sciweavers

3724 search results - page 223 / 745
» Timed regular expressions
Sort
View
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
16 years 7 months ago
Using XML to Build Efficient Transaction-Time Temporal Database Systems on Relational Databases
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...
Fusheng Wang, Xin Zhou, Carlo Zaniolo
GLOBECOM
2009
IEEE
16 years 18 days ago
Bayesian Cramer-Rao Bound for OFDM Rapidly Time-Varying Channel Complex Gains Estimation
Abstract—In this paper, we consider the Bayesian CramerRao bound (BCRB) for the dynamical estimation of multi-path Rayleigh channel complex gains in data-aided (DA) and non-dataa...
Hussein Hijazi, Laurent Ros
FORMATS
2009
Springer
16 years 13 days ago
Realizability of Real-Time Logics
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
Laurent Doyen, Gilles Geeraerts, Jean-Franç...
167
Voted
ICC
2008
IEEE
148views Communications» more  ICC 2008»
16 years 9 days ago
Analysis of Differential Unitary Space-Time Modulation over Non-Identical MIMO Channels
Abstract— We present an analytical study on the error performance of differential unitary space-time modulation (DUSTM) over multiple-input multiple-output (MIMO) channels with n...
Meixia Tao
ICC
2008
IEEE
100views Communications» more  ICC 2008»
16 years 9 days ago
Discrete-Time Frequency-Selective Rayleigh Fading Channel --- Impact of Correlated Scattering on Outage and Ergodic Capacity
Abstract— We consider a discrete-time frequencyselective block-fading channel with Rayleigh fading and correlated scattering. This is relevant in the area of UWB and if transceiv...
Christian Müller, Martin Mittelbach