523 search results - page 48 / 105 » Structured Solution Methods for Non-Markovian Decision Proce... |
123
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
It is well known that stochastic control systems can be viewed as Markov decision processes (MDPs) with continuous state spaces. In this paper, we propose to apply the policy iter...
147
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
128
click to vote
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
128
click to vote
DGO
2007
15 years 3 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...