981 search results - page 140 / 197 » Symbolic pointer analysis |
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
— 1 In this paper, training-based transmissions over a priori unknown Rayleigh block fading channels are considered. The input signals are assumed to be subject to peak power con...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— OFDM systems are susceptible to receiver impairments such as IQ imbalance and phase noise. These impairments can severely degrade the achievable effective signalto-nois...
IIHMSP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a new behavior classification system for analyzing human movements directly from video sequences. First of all, we propose a triangulation-based method to tran...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We present a method for searching databases of symbolically represented polyphonic music that exploits advantages of transportation distances such as continuity and partial matchi...
CAV
1999
Springer
14 years 1 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...