Sciweavers

193 search results - page 33 / 39
» Fast searches for effective optimization phase sequences
Sort
View
142
Voted
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 3 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
99
Voted
ICASSP
2011
IEEE
14 years 5 months ago
A robust artificial noise aided transmit design for MISO secrecy
This paper considers an artificial noise (AN) aided secrecy rate maximization (SRM) problem for a multi-input single-output (MISO) channel overheard by multiple single-antenna ea...
Qiang Li, Wing-Kin Ma
IPM
2011
71views more  IPM 2011»
14 years 5 months ago
Improving semistatic compression via phrase-based modeling
In recent years, new semistatic word-based byte-oriented text compressors, such as Tagged Huffman and those based on Dense Codes, have shown that it is possible to perform fast d...
Nieves R. Brisaboa, Antonio Fariña, Gonzalo...
148
Voted
TIP
1998
240views more  TIP 1998»
15 years 1 months ago
DCT-based motion estimation
—We propose novel discrete cosine transform (DCT) pseudophase techniques to estimate shift/delay between two onedimensional (1-D) signals directly from their DCT coefficients by...
Ut-Va Koc, K. J. Ray Liu
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 1 months ago
Opportunistic Collaborative Beamforming with One-Bit Feedback
An energy-efficient opportunistic collaborative beamformer with one-bit feedback is proposed for ad hoc sensor networks over Rayleigh fading channels. In contrast to conventional c...
Man-On Pun, D. Richard Brown III, H. Vincent Poor