Sciweavers

3428 search results - page 120 / 686
» Making the Case
Sort
View
ISMIR
2005
Springer
157views Music» more  ISMIR 2005»
15 years 10 months ago
A Partial Searching Algorithm and Its Application for Polyphonic Music Transcription
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
Wen Xue, M. Sandler
IFIP
2004
Springer
15 years 10 months ago
Dynamic Typing with Dependent Types
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Wa...
135
Voted
ISCAS
2003
IEEE
93views Hardware» more  ISCAS 2003»
15 years 10 months ago
A rescheduling and fast pipeline VLSI architecture for lifting-based discrete wavelet transform
In this paper, we propose a fast pipeline VLSI architecture for 1D lifting-based discrete wavelet transform (DWT). This design method merges the filtering steps called the predict...
Bing-Fei Wu, Chung-Fu Lin
ISIPTA
1999
IEEE
115views Mathematics» more  ISIPTA 1999»
15 years 9 months ago
Imprecise Probabilities Relating to Prior Reliability Assessments
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...
Igor Kozine
156
Voted
DL
1997
Springer
206views Digital Library» more  DL 1997»
15 years 9 months ago
The Digital Library Integrated Task Environment (DLITE)
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
Steve B. Cousins, Andreas Paepcke, Terry Winograd,...