882 search results - page 139 / 177 » On self-embeddings of computable linear orderings |
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Epipolar image analysis is a robust method for 3D scene depth reconstruction that uses all available views of an image sequence simultaneously. It is restricted to horizontal, lin...
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose a practical scheme, called Non-Binary Joint Network-Channel Decoding (NB-JNCD) for reliable communication in wireless networks. It seamlessly couples cha...
ICCAD
2004
IEEE
15 years 6 months ago
2004
IEEE
While process variations are becoming more significant with each new IC technology generation, they are often modeled via linear regression models so that the resulting performanc...
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Background: Support Vector Machines (SVMs) ? using a variety of string kernels ? have been successfully applied to biological sequence classification problems. While SVMs achieve ...