3742 search results - page 436 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
KES
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a novel method for on-line coordination in multiagent reinforcement learning systems. In this method a reinforcement-learning agent learns to select its action ...
186
click to vote
ECRTS
2003
IEEE
16 years 5 hour ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
158
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Real-world objects exhibit rich physical interaction behaviours on contact. Such behaviours depend on how heavy and hard it is when held, how its surface feels when touched, how i...
148
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract— This paper presents LIVE, a complete DBMS designed for applications with many stored derived relations, and with a need for simple versioning capabilities when base dat...
161
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
We investigate techniques for similarity analysis of spatio-temporal trajectories for mobile objects. Such kind of data may contain a great amount of outliers, which degrades the ...