2757 search results - page 11 / 552 » On separating systems |
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
We present a system for musical genre classification based on audio features extracted from signals which correspond to distinct musical instrument sources. For the separation of...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
We consider the problem of diagnosing performance problems in distributed system and networks given end-to-end performance measurements provided by test transactions, or probes. C...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
JOT
2010
13 years 6 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
For a general purpose face recognition system one of the largest challenge is to separate useful identity related from useless variations in the image data due to nuisance variabl...