Sciweavers

CORR
2008
Springer
172views Education» more  CORR 2008»
13 years 8 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger
CORR
2010
Springer
112views Education» more  CORR 2010»
13 years 8 months ago
Transdichotomous Results in Computational Geometry, II: Offline Search
We reexamine fundamental problems from computational geometry in the word RAM model, where input coordinates are integers that fit in a machine word. We develop a new algorithm fo...
Timothy M. Chan, Mihai Patrascu
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 8 months ago
Combining Beamforming and Space-Time Coding Using Noisy Quantized Feedback
The goal of combining beamforming and space-time coding is to obtain full-diversity order and to provide additional received power (array gain) compared to conventional space-time...
Siavash Ekbatani, Hamid Jafarkhani
CORR
2008
Springer
187views Education» more  CORR 2008»
13 years 8 months ago
Coalitions in Cooperative Wireless Networks
Cooperation between rational users in wireless networks is studied using coalitional game theory. Using the rate achieved by a user as its utility, it is shown that the stable coal...
Suhas Mathur, Lalitha Sankar, Narayan B. Mandayam
CORR
2010
Springer
101views Education» more  CORR 2010»
13 years 8 months ago
On a Low-Rate TLDPC Code Ensemble and the Necessary Condition on the Linear Minimum Distance for Sparse-Graph Codes
Abstract-- This paper addresses the issue of design of lowrate sparse-graph codes with linear minimum distance in the blocklength. First, we define a necessary condition which need...
Iryna Andriyanova, Jean-Pierre Tillich
CORR
2008
Springer
89views Education» more  CORR 2008»
13 years 8 months ago
Information Theoretic Operating Regimes of Large Wireless Networks
In analyzing the point-to-point wireless channel, insights about two qualitatively different operating regimes-bandwidth- and power-limited--have proven indispensable in the design...
Ayfer Özgür, Ramesh Johari, David N. C. ...
CORR
2008
Springer
63views Education» more  CORR 2008»
13 years 8 months ago
Phoneme recognition in TIMIT with BLSTM-CTC
Santiago Fernández, Alex Graves, Jürge...
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 8 months ago
Restricted Isometries for Partial Random Circulant Matrices
In the theory of compressed sensing, restricted isometry analysis has become a standard tool for studying how efficiently a measurement matrix acquires information about sparse an...
Holger Rauhut, Justin K. Romberg, Joel A. Tropp
CORR
2008
Springer
100views Education» more  CORR 2008»
13 years 8 months ago
Wadge Degrees of Infinitary Rational Relations
We show that, from the topological point of view, 2-tape B
Olivier Finkel
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 8 months ago
Implications of Inter-Rater Agreement on a Student Information Retrieval Evaluation
This paper is about an information retrieval evaluation on three different retrieval-supporting services. All three services were designed to compensate typical problems that aris...
Philipp Schaer, Philipp Mayr, Peter Mutschke