235
Voted
FSTTCS
15 years 11 months ago
2006 Springer 
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
201
Voted
FSTTCS
15 years 11 months ago
2006 Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
175
click to vote
FSTTCS
15 years 11 months ago
2006 Springer
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
180
click to vote
FSTTCS
15 years 11 months ago
2006 Springer 
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
178
click to vote
FSTTCS
15 years 11 months ago
2006 Springer 
We consider timed games extended with cost information, and prove computability of the optimal cost and of -optimal memoryless strategies in timed games with one clock. In contrast...
|
Software Engineering