1546 search results - page 272 / 310 » Context-Aware Computing with Sound |
131
Voted
TASLP
2008
15 years 4 months ago
2008
Various techniques have previously been proposed for the separation of convolutive mixtures. These techniques can be classified as stochastic, adaptive, and deterministic. Stochast...
139
click to vote
TASLP
2008
15 years 4 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...
135
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
119
click to vote
TODAES
1998
15 years 3 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
137
Voted
CLIMA
2010
15 years 2 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...