Sciweavers

9006 search results - page 1310 / 1802
» Modeling Software
Sort
View
TASLP
2010
109views more  TASLP 2010»
15 years 1 months ago
Multipitch Estimation of Piano Sounds Using a New Probabilistic Spectral Smoothness Principle
Abstract--A new method for the estimation of multiple concurrent pitches in piano recordings is presented. It addresses the issue of overlapping overtones by modeling the spectral ...
Valentin Emiya, Roland Badeau, Bertrand David
ISSTA
2004
ACM
16 years 7 days ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
AGILEDC
2003
IEEE
16 years 3 days ago
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
Bjørn N. Freeman-Benson, Alan Borning
CHI
2009
ACM
16 years 7 months ago
Making sense of strangers' expertise from signals in digital artifacts
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...
N. Sadat Shami, Kate Ehrlich, Geri Gay, Jeffrey T....
CODES
2007
IEEE
16 years 1 months ago
HW/SW co-design for Esterel processing
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
Sascha Gädtke, Claus Traulsen, Reinhard von H...
« Prev « First page 1310 / 1802 Last » Next »