5144 search results - page 746 / 1029 » Enhancing Search with Structure |
190
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
An algorithm for extracting music fingerprints directly from an audio signal is proposed in this paper. The proposed music fingerprint aims to encapsulate various aspects of mus...
155
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Characterizing setup/hold times of latches and registers, a crucial component for achieving timing closure of large digital designs, typically occupies months of computation in in...
195
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
184
click to vote
ISVC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe a method of directly extracting a simplified contour surface along with detailed normal maps from volume data in one fast and integrated process. A robust du...
145
click to vote
MTSR
2007
Springer
16 years 24 days ago
2007
Springer
Capacity and institution building is a core function of the Food and Agricultural Organization of the United Nations (FAO). FAO has recently started the “Capacity and Institution...