1686 search results - page 32 / 338 » Higher Order Deforestation |
CHES
2010
Springer
14 years 11 months ago
2010
Springer
Implementations of cryptographic algorithms are vulnerable to Side Channel Analysis (SCA). To counteract it, masking schemes are usually involved which randomize key-dependent data...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
IJCV
2006
14 years 9 months ago
2006
Splines play an important role as solutions of various interpolation and approximation problems that minimize special functionals in some smoothness spaces. In this paper, we show ...
KI
2008
Springer
14 years 9 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Research in cognitive radios has renewed interest in tools, such as spectrum estimation and modulation identification, to characterize the radio frequency (RF) environment. The...