Sciweavers

3457 search results - page 18 / 692
» A Symbol Is Not a Symbol
Sort
View
SCL
2010
98views more  SCL 2010»
13 years 8 months ago
Symbolic models for nonlinear time-delay systems using approximate bisimulations
In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, ...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...
GLOBECOM
2007
IEEE
14 years 1 months ago
A Spectrally Efficient Transmission Scheme for Half-Duplex Decode-and-Forward Relaying
We propose a spectrally efficient transmission scheme for the half-duplex relay channel. In the proposed scheme, the relay combines N detected r-dimensional symbols and generates M...
Majid Nasiri Khormuji, Erik G. Larsson
TCOM
2011
85views more  TCOM 2011»
13 years 5 months ago
Exploiting Sparse User Activity in Multiuser Detection
—The number of active users in code-division multiple access (CDMA) systems is often much lower than the spreading gain. The present paper exploits fruitfully this a priori infor...
Hao Zhu, Georgios B. Giannakis
ICPR
2010
IEEE
14 years 3 months ago
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
Feng Su, Tong Lu
FM
2001
Springer
138views Formal Methods» more  FM 2001»
14 years 2 months ago
An Adequate Logic for Full LOTOS
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...
Muffy Calder, Savi Maharaj, Carron Shankland