732 search results - page 73 / 147 » corr 2011 |
136
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The characterization of a binary function by partial frequency information is considered. We show that it is possible to reconstruct the binary signal from incomplete frequency me...
138
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...
176
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—We consider a multiple-input multiple-output (MIMO) multiple access channel (MAC), where the channel between each transmitter and the receiver is modeled by the doubly-scatterin...
154
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
134
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...