Sciweavers

15614 search results - page 2783 / 3123
» The State of State
Sort
View
TPHOL
2008
IEEE
16 years 1 months ago
The Isabelle Framework
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
Makarius Wenzel, Lawrence C. Paulson, Tobias Nipko...
VR
2008
IEEE
233views Virtual Reality» more  VR 2008»
16 years 1 months ago
Advanced Multi-Frame Rate Rendering Techniques
Multi-frame rate rendering is a parallel rendering technique that renders interactive parts of the scene on one graphics card while the rest of the scene is rendered asynchronousl...
Jan P. Springer, Christopher Lux, Dirk Reiners, Be...
VTC
2008
IEEE
160views Communications» more  VTC 2008»
16 years 1 months ago
Reducing Feedback Requirements of the Multiple Weight Opportunistic Beamforming Scheme via Selective Multiuser Diversity
—Opportunistic beamforming (OB) relies on the transmission of Channel State Information (CSI) in the form of instantaneous Signal to Noise Ratio (SNR) from Mobile Stations (MSs) ...
Marios Nicolaou, Angela Doufexi, Simon Armour
VTC
2008
IEEE
140views Communications» more  VTC 2008»
16 years 1 months ago
Diversity Combining of Signals with Different Modulation Levels in Cooperative Relay Networks
In digital cooperative relaying, signals from the source-destination and relay-destination links are combined at the destination to achieve spatial diversity. These signals do not ...
Akram Bin Sediq, Halim Yanikomeroglu
WCNC
2008
IEEE
16 years 1 months ago
Quantize-and-Forward Relaying with M-ary Phase Shift Keying
Abstract—Using cooperative transmission, two or more singleantenna users can share their antennas to achieve spatial diversity in a slow fading channel. One relaying protocol tha...
Michael R. Souryal, Huiqing You
« Prev « First page 2783 / 3123 Last » Next »