3047 search results - page 135 / 610 » Aggregation functions: Means |
134
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
132
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Physical attacks on cryptographic implementations and devices have become crucial. In this context a recent line of research on a new class of side-channel attacks, calle...
145
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: A typical step in the analysis of gene expression data is the determination of clusters of genes that exhibit similar expression patterns. Researchers are confronted w...
139
Voted
JFP
2000
15 years 3 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
144
Voted
STACS
2012
Springer
13 years 11 months ago
2012
Springer
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...