3713 search results - page 269 / 743 » Constructing a Calculus of Programs |
153
click to vote
INFORMS
2010
15 years 2 months ago
2010
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
205
click to vote
DLS
2010
15 years 2 months ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
115
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
130
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a framework for the design of learning activities, which follows the key idea of the “Learning-for-Use” model and adopts characteristics from the exp...
133
click to vote
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...