Sciweavers

3047 search results - page 109 / 610
» Aggregation functions: Means
Sort
View
PLPV
2010
ACM
14 years 5 months ago
Free theorems for functional logic programs
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
Jan Christiansen, Daniel Seidel, Janis Voigtlä...
EUROCRYPT
2004
Springer
14 years 2 months ago
Hash Function Balance and Its Impact on Birthday Attacks
Textbooks tell us that a birthday attack on a hash function h with range size r requires r1/2 trials (hash computations) to find a collision. But this is quite misleading, being t...
Mihir Bellare, Tadayoshi Kohno
CODES
2000
IEEE
14 years 19 days ago
On the roles of functions and objects in system specification
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
Axel Jantsch, Ingo Sander
ISBI
2008
IEEE
14 years 9 months ago
Inferring functional connectivity using spatial modulation measures of fMRI signals within brain regions of interest
We propose inferring functional connectivity between brain regions by examining the spatial modulation of the blood oxygen level dependent (BOLD) signals within brain regions of i...
Bernard Ng, Rafeef Abugharbieh, Martin J. McKeown
IWMM
2009
Springer
122views Hardware» more  IWMM 2009»
14 years 3 months ago
Parametric heap usage analysis for functional programs
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
Leena Unnikrishnan, Scott D. Stoller