2125 search results - page 321 / 425 » Points with Type-2 Operations |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In the present article, we consider algebraic geometry codes on some rational surfaces. The estimate of the minimum distance is translated into a point counting problem on plane cu...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper studies the performance of hybrid-ARQ (automatic repeat request) in Rayleigh blockfading channels. The long-term average transmitted rate is analyzed in a fast-fading s...