1128 search results - page 123 / 226 » Classical Natural Deduction |
105
Voted
CCCG
2009
15 years 1 months ago
2009
We present a method for extracting contours from digital images using techniques from computational geometry. Our approach is different from traditional pixelbased methods in imag...
94
Voted
ER
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The modelling of landscape environment is a cognitive activity, that still requires novel kinds of spatial representations. This paper introduces a structural categorisat...
83
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Due to implementation constraints the XOR operation is widely used in order to combine plaintext and key bit-strings in secretkey block ciphers. This choice directly induces the cl...
112
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
112
click to vote
CORR
2008
Springer
15 years 25 days ago
2008
Springer
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we ...