11394 search results - page 1905 / 2279 » Error-Correcting Data Structures |
158
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, we study sensor fusion for the attitude estimation of Micro Aerial Vehicles (MAVs), in particular mechanical flying insects. First, following a geometric approa...
128
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Online community platforms and multimedia content delivery are merging in recent years. Current platforms like Facebook and YouTube are client-server based which result...
121
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
123
click to vote
MMSP
2008
IEEE
15 years 11 months ago
2008
IEEE
—Embedded speaker recognition in mobile devices could involve several ergonomic constraints and a limited amount of computing resources. Even if they have proved their efficienc...
125
click to vote
MMSP
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider a new problem in network image coding for multicast. In a multihop mesh network, structured as a directed graph, all nodes decode and display reconstructions of the ...