1546 search results - page 122 / 310 » Context-Aware Computing with Sound |
134
click to vote
TASLP
2008
15 years 4 months ago
2008
In this paper, we optimize and evaluate computational models of similarity for sounds from the same instrument class. We investigate four instrument classes: bass drums, snare drum...
132
Voted
LOGCOM
2010
15 years 3 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
176
click to vote
COST
2009
Springer
15 years 11 months ago
2009
Springer
This paper reviews interactive methods for improving the phonetic competence of subjects in the case of second language learning as well as in the case of speech therapy for subjec...
143
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
147
click to vote
IJCAI
2007
15 years 6 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...