8828 search results - page 1557 / 1766 » Formal methods in practice |
149
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider model-based reinforcement learning in finite Markov Decision Processes (MDPs), focussing on so-called optimistic strategies. Optimism is usually implemented by carryin...
141
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
—In this paper, we investigate methods for reducing the likelihood that a message transmitted between two multiantenna nodes is intercepted by an undetected eavesdropper. In part...
135
Voted
HUC
2010
Springer
15 years 3 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
151
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...
135
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...