10715 search results - page 1924 / 2143 » From Tests to Proofs |
175
click to vote
FPGA
2004
ACM
16 years 1 days ago
2004
ACM
The speedup over a microprocessor that can be achieved by implementing some programs on an FPGA has been extensively reported. This paper presents an analysis, both quantitative a...
183
click to vote
ICIAR
2004
Springer
16 years 16 hour ago
2004
Springer
The automated flaw detection in aluminium castings consists of two steps: a) identification of potential defects using image processing techniques, and b) classification of pote...
177
click to vote
KDD
2004
ACM
16 years 6 hour ago
2004
ACM
In this paper, we propose a novel data mining technique for the efficient damage detection within the large-scale complex mechanical structures. Every mechanical structure is defi...
191
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
It is well established that bitmap indices are efficient for read-only attributes with low attribute cardinalities. For an attribute with a high cardinality, the size of the bitma...
184
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
- This paper presents a third-order spline interpolation based trajectory planning method which is aiming to achieve smooth biped swing leg trajectory by reducing the instant veloc...