1982 search results - page 28 / 397 » Parametricity and dependent types |
ICA
2004
Springer
15 years 3 months ago
2004
Springer
The blind separation problem where the sources are not independent, but have variance-dependencies is discussed. Hyv¨arinen and Hurri[1] proposed an algorithm which requires no as...
CAGD
2007
14 years 9 months ago
2007
The purpose of this paper is to provide sufficient geometric conditions that imply the existence of a cubic parametric polynomial curve which interpolates six points in the plane....
DAC
2004
ACM
15 years 3 months ago
2004
ACM
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
QOSA
2010
Springer
15 years 1 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...