2610 search results - page 69 / 522 » codes 2007 |
122
Voted
COMBINATORICS
2007
15 years 3 months ago
2007
Let k3(n) denote the minimal cardinality of a ternary code of length n and covering radius one. In this paper we show k3(7) ≥ 156 and k3(8) ≥ 402 improving on the best previou...
210
Voted
AMC
2005
15 years 3 months ago
2005
This paper revisits the use of the Taylor series method for the numerical integration of ODEs and DAEs. The numerical method is implemented using an efficient variablestep variabl...
121
click to vote
IFL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
108
Voted
CATS
2007
15 years 5 months ago
2007
d Abstract) Tomoyuki Yamakami Department of Computer Software, University of Aizu 90 Kami-Iawase, Tsuruga, Ikki-machi, Fukushima 965-8580, Japan Our task of quantum list decoding ...
112
Voted
MVA
1992
15 years 4 months ago
1992
Image processing applications need shorter processing times. This requires the parallelization of low and mid levels sequential process chains on specific machines. In this paper ...