8828 search results - page 1262 / 1766 » Formal methods in practice |
191
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Continuous action sets are used in many reinforcement learning (RL) applications in robot control since the control input is continuous. However, discrete action sets a...
187
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
One of the key problems in reinforcement learning is balancing exploration and exploitation. Another is learning and acting in large or even continuous Markov decision processes (...
186
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
181
click to vote
CIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—The growth in practical applications for iris biometrics has been accompanied by relevant developments in the underlying algorithms and techniques. Along with the resear...
183
click to vote
CPM
2009
Springer
16 years 1 months ago
2009
Springer
The NP-hard Interval Constrained Coloring problem appears in the interpretation of experimental data in biochemistry dealing with protein fragments. Given a set of m integer interv...