6045 search results - page 306 / 1209 » Computable Linearizations of Well-partial-orderings |
182
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
A scattering vector is a local descriptor including multiscale and multi-direction co-occurrence information. It is computed with a cascade of wavelet decompositions and complex m...
161
click to vote
TCS
2010
15 years 2 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...
214
click to vote
TCS
2012
14 years 3 months ago
2012
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...
214
click to vote
NN
2008
Springer
15 years 7 months ago
2008
Springer
Reservoir Computing (RC) techniques use a fixed (usually randomly created) recurrent neural network, or more generally any dynamic system, which operates at the edge of stability,...
202
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. The incremental and dynamic construction of interconnection networks from smaller components often leaves the fundamental problem of assigning addresses to processors to ...