7064 search results - page 324 / 1413 » From States to Histories |
115
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
140
click to vote
ESANN
2008
15 years 8 months ago
2008
In this paper we define and address the problem of safe exploration in the context of reinforcement learning. Our notion of safety is concerned with states or transitions that can ...
155
click to vote
IJCAI
2007
15 years 8 months ago
2007
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
197
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Simulations involving processes at very different time scales can be so slow to converge that starting in one state and waiting for a representative sample of the state space to b...
172
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...