18429 search results - page 68 / 3686 » Typing dynamic typing |
108
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
126
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic time-linkage problems (DTPs) are common types of dynamic optimization problems where "decisions that are made now ... may in‡uence the maximum score that can be obta...
118
click to vote
ICANN
2005
Springer
15 years 9 months 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...
147
click to vote
VISSYM
2007
15 years 6 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
123
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Effective scheduling is a key concern for the execution of performance driven Grid applications. In this paper, we propose a Dynamic Critical Path (DCP) based workflow scheduling ...