149 search results - page 13 / 30 » Model Checking Sum and Product |
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper proposes a method for separating the signals of individual musical instruments from monaural musical audio. The mixture signal is modeled as a sum of the spectra of ind...
119
click to vote
CIBSE
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
112
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
ICCCI
2009
Springer
15 years 2 months ago
2009
Springer
Trust is a sine qua non for trade. According to transaction cost economics, a contract always offers some opportunity to defect. In the case of asymmetric product information, wher...