Sciweavers

3235 search results - page 551 / 647
» Partial Redundant Modeling
Sort
View
ICC
2007
IEEE
104views Communications» more  ICC 2007»
15 years 5 months ago
Self-Interference Suppression in Doubly-Selective Channel Estimation Using Superimposed Training
Abstract-- Channel estimation for frequency-selective timevarying channels is considered using superimposed training. We employ a discrete prolate spheroidal basis expansion model ...
Shuangchi He, Jitendra K. Tugnait
ICC
2007
IEEE
146views Communications» more  ICC 2007»
15 years 5 months ago
Downlink MIMO Systems Using Cooperation Among Base Stations in a Slow Fading Channel
To increase the achievable sum rate of downlink MIMO (Multiple Input Multiple Output) systems, the cooperation among Base Stations (BS) is investigated in a slow fading channel. Th...
Tsuyoshi Tamaki, Kibeom Seong, John M. Cioffi
ICFEM
2007
Springer
15 years 5 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
15 years 5 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes
ACSAC
2004
IEEE
15 years 5 months ago
Alert Correlation through Triggering Events and Common Resources
Complementary security systems are widely deployed in networks to protect digital assets. Alert correlation is essential to understanding the security threats and taking appropria...
Dingbang Xu, Peng Ning