2214 search results - page 233 / 443 » Complexity of Reasoning |
113
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
180
click to vote
ACIVS
2006
Springer
15 years 7 months ago
2006
Springer
Scene understanding is an important problem in intelligent robotics. Since visual information is uncertain due to several reasons, we need a novel method that has robustness to the...
134
click to vote
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
129
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
132
click to vote
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...