15253 search results - page 2479 / 3051 » Integer-Programming Software Systems |
155
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
176
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
In this report we describe the approach of the University of Twente to the 2006 GeoCLEF task. It is based on retrieval by content and the subsequent filtering by geographical rele...
164
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
We present a report about our participation in the ImageCLEF photo task 2006 and a short description of our new framework for future use in further CLEF participations....
197
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper examines the current way of keeping the data produced during the evaluation campaigns and highlights some shortenings of it. As a consequence, we propose a new...
201
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Field-Programmable Gate Arrays (FPGAs) have lately become a popular target for implementing cryptographic block ciphers, as a well-designed FPGA solution can combine some...