CORR
2006
Springer
13 years 4 months ago
2006
Springer
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
CORR
2006
Springer
13 years 4 months ago
2006
Springer
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
CORR
2006
Springer
13 years 4 months ago
2006
Springer
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Abstract--We establish that the feedback capacity of the trapdoor channel is the logarithm of the golden ratio and provide a simple communication scheme that achieves capacity. As ...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
The running maximum-minimum (MAX-MIN) filter computes the maxima and minima over running windows of size w. This filter has numerous applications in signal processing and time seri...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...