10997 search results - page 1813 / 2200 » On the Structure of Complete Sets |
219
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
SIMD (single instruction multiple data)-type processors have been found very efficient in image processing applications, because their repetitive structure is able to exploit the...
192
click to vote
IROS
2008
IEEE
16 years 1 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...
155
click to vote
KBSE
2008
IEEE
16 years 1 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...
171
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
160
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...