3568 search results - page 107 / 714 » Type Analysis for JavaScript |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a new method for the exponential Radon transform inversion based on harmonic analysis of the Euclidean motion group (M(2)). The exponential Radon transform is ...
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
SAS
1994
Springer
14 years 1 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
EUROPAR
2000
Springer
14 years 24 days ago
2000
Springer
A hybrid approach that utilizes both statistical techniques and empirical methods seeks to provide more information about the performance of an application. In this paper, we prese...