Sciweavers

3457 search results - page 278 / 692
» A Symbol Is Not a Symbol
Sort
View
TCOM
2010
110views more  TCOM 2010»
15 years 5 months ago
Joint data QR-detection and Kalman estimation for OFDM time-varying Rayleigh channel complex gains
—This paper deals with the case of a high speed mobile receiver operating in an orthogonal-frequency-divisionmultiplexing (OFDM) communication system. Assuming the knowledge of d...
Hussein Hijazi, Laurent Ros
PIMRC
2010
IEEE
15 years 4 months ago
Compressive sampling based differential detection of ultra wideband signals
In this paper we focus on compressive sampling (CS) based ultra wideband (UWB) differential detection. We formulate an optimization problem to jointly recover the sparse received U...
Shahzad Gishkori, Geert Leus, Vincenzo Lottici
ESWS
2009
Springer
15 years 4 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
ICDAR
2009
IEEE
15 years 4 months ago
A Unified Framework for Recognizing Handwritten Chemical Expressions
Chemical expressions have more variant structures in 2-D space than that in math equations. In this paper we propose a unified framework for recognizing handwritten chemical expre...
Ming Chang, Shi Han, Dongmei Zhang
ENTCS
2010
88views more  ENTCS 2010»
15 years 4 months ago
Range and Set Abstraction using SAT
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
Edd Barrett, Andy King