618 search results - page 11 / 124 » Reducibility and TT-Lifting for Computation Types |
GRID
2007
Springer
13 years 8 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
WAIFI
2010
Springer
14 years 1 months ago
2010
Springer
In the 1990s and early 2000s several papers investigated the relative merits of polynomial-basis and normal-basis computations for F2n . Even for particularly squaring-friendly app...
WWIC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
NIPS
2008
13 years 10 months ago
2008
From an information-theoretic perspective, a noisy transmission system such as a visual Brain-Computer Interface (BCI) speller could benefit from the use of errorcorrecting codes....