9110 search results - page 1525 / 1822 » Formally-Based Design Evaluation |
135
click to vote
ICONIP
2009
15 years 2 months ago
2009
In contrast to traditional machine learning algorithms, where all data are available in batch mode, the new paradigm of streaming data poses additional difficulties, since data sam...
199
click to vote
ICPP
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper evaluates several techniques to save leakage in CMP L2 caches by selectively switching off the less used lines. We primarily focus on private snoopy L2 caches. In this c...
152
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a new algorithm for object handling tasks based on active tactile and slippage sensations using a humanoid robot multi-fingered arm for an object that exists at...
149
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
152
click to vote
ICTAI
2009
IEEE
15 years 2 months ago
2009
IEEE
We introduce TiMDPpoly, an algorithm designed to solve planning problems with durative actions, under probabilistic uncertainty, in a non-stationary, continuous-time context. Miss...