149 search results - page 13 / 30 » Model Checking Sum and Product |
103
Voted
ICASSP
2010
IEEE
15 years 19 days 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...
138
Voted
CIBSE
2008
ACM
15 years 2 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...
101
Voted
ICSE
2008
IEEE-ACM
16 years 1 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...
139
click to vote
CORR
2011
Springer
14 years 7 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...
106
Voted
ICCCI
2009
Springer
15 years 5 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...