4211 search results - page 388 / 843 » Types as Abstract Interpretations |
156
click to vote
APLAS
2005
ACM
16 years 11 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
180
click to vote
CC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
164
click to vote
CRYPTO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Using a recent idea of Gaudry and exploiting rational representations of algebraic tori, we present an index calculus type algorithm for solving the discrete logarithm pr...
171
click to vote
ICANN
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
149
click to vote
ICANN
2005
Springer
16 years 10 days ago
2005
Springer
We present a system of differential equations which abstractly models neural dynamics and synaptic plasticity of a cortical macrocolumn. The equations assume inhibitory coupling b...