2227 search results - page 249 / 446 » Reversibility and Models for Concurrency |
162
click to vote
TASLP
2008
15 years 5 months ago
2008
Source separation of musical signals is an appealing but difficult problem, especially in the single-channel case. In this paper, an unsupervised single-channel music source separa...
153
click to vote
IJON
2010
15 years 4 months ago
2010
Radiation-induced lung injury, radiation pneumonitis (RP), is a potentially fatal side-effect of thoracic radiation therapy. In this work, using an ensemble of support vector mac...
229
click to vote
SBMF
2010
Springer
15 years 21 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
126
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
144
click to vote
IEEEIAS
2008
IEEE
16 years 10 days ago
2008
IEEE
This paper investigates Loss of Self-similarity (LoSS) detection performance using Exact and Asymptotic Second Order Self-Similarity (ESOSS and ASOSS) models. Previous works on Lo...