6474 search results - page 636 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
219
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
204
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The emerging field of integrative bioinformatics provides the tools to organize and systematically analyze vast amounts of highly diverse biological data and thus allo...
198
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Learning motion models of a moving object is a challenge for autonomous robots. We address the particular instance of parameter learning when tracking object motions in a switc...
186
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
192
click to vote
CCIA
2005
Springer
16 years 1 months ago
2005
Springer
— This paper proposes a high-level Reinforcement Learning (RL) control system for solving the action selection problem of an autonomous robot. Although the dominant approach, whe...