8232 search results - page 486 / 1647 » Dynamic Logic Programming |
171
click to vote
ECOOP
2004
Springer
16 years 1 months ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
191
click to vote
AFP
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
196
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
208
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
183
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...