642 search results - page 35 / 129 » corr 2006 |
104
click to vote
CORR
2006
Springer
15 years 14 days ago
2006
Springer
This article basically consists of three differentiated but related between themselves parts. The first part is a brief overview of the Artificial Intelligence science (in it, the...
101
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
In this paper we propose an improved algorithm for finding roots of polynomials over finite fields. This makes possible significant speed up of the decoding process of BCH, Reed-S...
CORR
2006
Springer
15 years 14 days ago
2006
Springer
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formal...
CORR
2006
Springer
15 years 14 days ago
2006
Springer
The two-terminal reliability, known as the pair connectedness or connectivity function in percolation theory, may actually be expressed as a product of transfer matrices in which t...
CORR
2006
Springer
15 years 14 days ago
2006
Springer
Functional brain imaging is a source of spatio-temporal data mining problems. A new framework hybridizing multi-objective and multimodal optimization is proposed to formalize these...