250
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
We consider a restless bandit problem with Gaussian autoregressive arms, where the state of an arm is only observed when it is played and the state-dependent reward is collected. ...
238
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
Time reversibility plays an important role in the analysis of continuous and discrete time Markov chains (DTMCs). Specifically, the computation of the stationary distribution of ...
223
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
itle: SMT-Based and Disjunctive Relational Abstract Domains for Static Analysis GPA: 3.971 (4.0 scale) Tsinghua University Beijing, China M.E. in Software Engineering September 200...
245
click to vote
SAS
2015
Springer
9 years 11 months ago
2015
Springer
Non-termination of structured imperative programs is primarily due to infinite loops. An important class of non-terminating loop behaviors can be characterized using the notion of...