4029 search results - page 400 / 806 » Reconfigurable Systems in Education |
151
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
144
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In 2003, Leonid A. Levin presented the idea of a combinatorial complete one-way function and a sketch of the proof that Tiling represents such a function. In this paper, we presen...
162
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Spreadsheets in financial markets are frequently used as database, calculator and reporting application combined. This paper describes an alternative approach in which spreadsheet...
150
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we implement an anomaly detection system using the Dempster-Shafer method. Using two standard benchmark problems we show that by combining multiple signals it is pos...
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
For applications to cryptography, it is important to represent numbers with a small number of non-zero digits (Hamming weight) or with small absolute sum of digits. The problem of ...