127
click to vote
FSTTCS
15 years 5 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...
120
click to vote
FSTTCS
15 years 5 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...
107
click to vote
FSTTCS
15 years 5 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...
108
Voted
FSTTCS
15 years 5 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...
105
click to vote
FSTTCS
15 years 5 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