7064 search results - page 358 / 1413 » From States to Histories |
258
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
168
click to vote
INFSOF
2002
15 years 6 months ago
2002
In this paper, we examine the state of software engineering (SE) research from the point of view of the following research questions:
207
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In this paper we consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such separation can be caused by mobility an...
185
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
197
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper addresses the issue of policy evaluation in Markov Decision Processes, using linear function approximation. It provides a unified view of algorithms such as TD(), LSTD()...