Sciweavers

3235 search results - page 264 / 647
» Partial Redundant Modeling
Sort
View
GLOBECOM
2006
IEEE
16 years 21 days ago
Optimal Signaling for Single Transmit Antenna Selection with Erroneous Feedback
We consider a MIMO system where error-prone feedback from the receiver is used by the transmitter to select a single optimum antenna to transmit data. Such error-prone feedback is...
Yabo Li, Neelesh B. Mehta, Andreas F. Molisch, Jin...
STORAGESS
2006
ACM
16 years 18 days ago
Using free web storage for data backup
Backing up important data is crucial. A variety of causes can lead to data loss, such as disk failures, administration errors, virus infiltration, theft, and physical damage to e...
Avishay Traeger, Nikolai Joukov, Josef Sipek, Erez...
INFOCOM
2005
IEEE
16 years 7 days ago
Dynamic node activation in networks of rechargeable sensors
— We consider a network of rechargeable sensors, deployed redundantly in a random sensing environment, and address the problem of how sensor nodes should be activated dynamically...
Koushik Kar, Ananth Krishnamurthy, Neeraj Jaggi
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
16 years 6 days ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
CCS
2005
ACM
16 years 5 days ago
Tracking anonymous peer-to-peer VoIP calls on the internet
Peer-to-peer VoIP calls are becoming increasingly popular due to their advantages in cost and convenience. When these calls are encrypted from end to end and anonymized by low lat...
Xinyuan Wang, Shiping Chen, Sushil Jajodia