3228 search results - page 475 / 646 » Computationally Sound Proofs |
122
Voted
NOLISP
2005
Springer
15 years 9 months ago
2005
Springer
In current speech technology, linear prediction dominates. The linear vocal tract model is well justified biomechanically, and linear prediction is a simple and well understood si...
127
Voted
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
101
Voted
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
141
Voted
MIR
2004
ACM
15 years 8 months ago
2004
ACM
Music and songs usually have repeating patterns and prominent structure. The automatic extraction of such repeating patterns and structure is useful for further music summarizatio...
131
Voted
MM
2004
ACM
15 years 8 months ago
2004
ACM
We propose a novel technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. Our technique uses a combination of harmonic content a...