Sciweavers

823 search results - page 96 / 165
» Stateful Subset Cover
Sort
View
CORR
2006
Springer
87views Education» more  CORR 2006»
13 years 10 months ago
Capacity of a Class of Deterministic Relay Channels
Abstract-- The capacity of a class of deterministic relay channels with the transmitter input X, the receiver output Y , the relay output Y1 = f(X, Y ), and a separate communicatio...
Thomas M. Cover, Young-Han Kim
LOGCOM
2002
116views more  LOGCOM 2002»
13 years 9 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
TCOM
2010
99views more  TCOM 2010»
13 years 8 months ago
Code design for MIMO downlink with imperfect CSIT
—In this letter, we implement a simplified version of the Cover - van der Meulen - Hajek - Pursley (CMHP) coding originally characterized by Wajcer, Wiesel, and Shamai. The vect...
Hyung-Tae Kim, Sung Hoon Lim, Inkyu Lee, Saejoon K...
ICCV
2011
IEEE
12 years 7 months ago
Tracking by Sampling Trackers
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
junseok kwon and kyoung mu lee
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
12 years 5 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...