345 search results - page 47 / 69 » Computer-Assisted Simulation Proofs |
113
click to vote
COSIT
2009
Springer
15 years 9 months ago
2009
Springer
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
125
click to vote
CRYPTO
2009
Springer
15 years 9 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
115
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...
102
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper considers a network flow control problem where routing and input rates are controlled in a decentralized way across a network, to optimize a global welfare objectiv...
129
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
—Multi-robot reinforcement learning is a very challenging area due to several issues, such as large state spaces, difficulty in reward assignment, nondeterministic action selecti...