Sciweavers

1090 search results - page 74 / 218
» Type-Directed Partial Evaluation
Sort
View
107
Voted
ICASSP
2009
IEEE
15 years 4 months ago
Singing voice detection in music tracks using direct voice vibrato detection
In this paper we investigate the problem of locating singing voice in music tracks. As opposed to most existing methods for this task, we rely on the extraction of the characteris...
Lise Regnier, Geoffroy Peeters
96
Voted
VLDB
1990
ACM
74views Database» more  VLDB 1990»
15 years 4 months ago
Query Processing for Distance Metrics
In applications such as vision and molecular biology, a common problem is to find the similar objects to a given target (according to some distance measure) in a large database. T...
Jason Tsong-Li Wang, Dennis Shasha
92
Voted
PEPM
1991
ACM
15 years 4 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
SIGIR
2011
ACM
14 years 3 months ago
ViewSer: enabling large-scale remote user studies of web search examination and interaction
Web search behaviour studies, including eye-tracking studies of search result examination, have resulted in numerous insights to improve search result quality and presentation. Ye...
Dmitry Lagun, Eugene Agichtein
ICIP
2009
IEEE
16 years 1 months ago
Discrete Curvature Calculation For Fast Level Set Segmentation
Fast level set methods replace continuous PDEs by a discrete formulation, improving the execution times. The regularization in fast level set methods was so far handled indirectly...