18 search results - page 1 / 4 » Iterative Fixed Point Computation for Type-Based Strictness ... |
SAS
1994
Springer
13 years 8 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
ESOP
1994
Springer
13 years 8 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
This paper studies the convergence of a fixed point iteration algorithm for the problem of max-min signal-to-interference ratio (SIR) balancing. Differently from the existing wor...
ISNN
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Nonlinear component analysis is a popular nonlinear feature extraction method. It generally uses eigen-decomposition technique to extract the principal components. But th...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...