Sciweavers

CORR
2007
Springer
85views Education» more  CORR 2007»
14 years 14 days ago
Interface groups and financial transfer architectures
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
Jan A. Bergstra, Alban Ponse
CORR
2007
Springer
75views Education» more  CORR 2007»
14 years 14 days ago
Outage Behavior of Discrete Memoryless Channels Under Channel Estimation Errors
Classically, communication systems are designed assuming perfect channel state information at the receiver and/or transmitter. However, in many practical situations, only an estim...
Pablo Piantanida, Gerald Matz, Pierre Duhamel
CORR
2007
Springer
94views Education» more  CORR 2007»
14 years 14 days ago
Encounter-based worms: Analysis and Defense
Sapon Tanachaiwiwat, Ahmed Helmy
CORR
2007
Springer
91views Education» more  CORR 2007»
14 years 14 days ago
A Comparison of Push and Pull Techniques for Ajax
Engin Bozdag, Ali Mesbah, Arie van Deursen
CORR
2007
Springer
93views Education» more  CORR 2007»
14 years 14 days ago
Opportunistic Scheduling and Beamforming for MIMO-SDMA Downlink Systems with Linear Combining
Opportunistic scheduling and beamforming schemes are proposed for multiuser MIMO-SDMA downlink systems with linear combining in this work. Signals received from all antennas of ea...
Man-On Pun, Visa Koivunen, H. Vincent Poor
CORR
2007
Springer
65views Education» more  CORR 2007»
14 years 14 days ago
Multiple Access Channels with Generalized Feedback and Confidential Messages
Xiaojun Tang, Ruoheng Liu, Predrag Spasojevic, H. ...
CORR
2007
Springer
162views Education» more  CORR 2007»
14 years 14 days ago
Order-Invariant MSO is Stronger than Counting MSO in the Finite
We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), ex...
Tobias Ganzow, Sasha Rubin
CORR
2007
Springer
104views Education» more  CORR 2007»
14 years 14 days ago
A Collection of Definitions of Intelligence
Shane Legg, Marcus Hutter
CORR
2007
Springer
111views Education» more  CORR 2007»
14 years 14 days ago
Hypocomputation
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
David Love