15474 search results - page 2760 / 3095 » Emergent process design |
228
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
154
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
185
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper describes the design and testing of a technique to enable long-range autonomous navigation using a stereo camera as the only sensor. During a learning phase, the rov...
198
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Reinforcement learning algorithms have been successfully applied in robotics to learn how to solve tasks based on reward signals obtained during task execution. These r...
228
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...