12774 search results - page 2351 / 2555 » A Framework for Proof Systems |
159
click to vote
AUSAI
2010
Springer
15 years 5 months ago
2010
Springer
Java-based simulation environments are currently used by many multiagent systems (MAS), since they mainly provide portability as well as an interesting reduction of the development...
182
click to vote
EWC
2010
15 years 5 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
137
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Cable robots have seen considerable recent interest ensuing from their ability to combine a large workspace with significant payload capacity. However, the cables can apply for...
170
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...
180
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Reinforcement learning (RL) is one of the most general approaches to learning control. Its applicability to complex motor systems, however, has been largely impossible so far d...