4770 search results - page 212 / 954 » Flexible Type Analysis |
188
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
We describe a visual analytics method supporting the analysis of two different types of spatio-temporal data, point events and trajectories of moving agents. The method combines c...
217
click to vote
CDC
2008
IEEE
16 years 1 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...
167
click to vote
ICIP
2005
IEEE
16 years 22 days 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 ...
209
click to vote
LOPSTR
2004
Springer
16 years 15 days 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 ...
174
click to vote
SAS
1994
Springer
15 years 11 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...