Sciweavers

CORR
2007
Springer
85views Education» more  CORR 2007»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months ago
Encounter-based worms: Analysis and Defense
Sapon Tanachaiwiwat, Ahmed Helmy
CORR
2007
Springer
91views Education» more  CORR 2007»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months ago
A Collection of Definitions of Intelligence
Shane Legg, Marcus Hutter
CORR
2007
Springer
111views Education» more  CORR 2007»
13 years 7 months 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