2989 search results - page 280 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
186
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
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...
148
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
166
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
161
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
191
Voted
CC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...