2838 search results - page 283 / 568 » Verifying Controlled Components |
179
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—One of the grand challenges of self-reconfiguring modular robotics is the assembly of a functional system from thousands of components. However, to date, only systems comprised ...
143
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a quadrocopter flying in rhythm to music. The quadrocopter performs a periodic sideto-side motion in time to a musical beat. Underlying controllers are designed...
237
click to vote
FCCM
2009
IEEE
15 years 4 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
223
click to vote
CIDR
2011
14 years 10 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
220
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...