6274 search results - page 1102 / 1255 » Proofs, Programs, Processes |
IEEEMSP
2002
IEEE
14 years 3 months ago
2002
IEEE
Music query-by-humming is a challenging problem since the humming query inevitably contains much variation and inaccuracy. Many of the previous methods, which adopt note segmentat...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
PG
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
WCRE
2002
IEEE
14 years 3 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...