4836 search results - page 388 / 968 » Exploring the Similarity Space |
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
168
click to vote
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
This article studies the small weight codewords of the functional code CHerm(X), with X a non-singular Hermitian variety of PG(N, q2). The main result of this article is that the ...
145
click to vote
ACS
2006
15 years 7 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...
197
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several furth...
208
click to vote
IJHPCA
2006
15 years 7 months ago
2006
This paper describes capabilities, evolution, performance, and applications of the Global Arrays (GA) toolkit. GA was created to provide application programmers with an interface ...