3228 search results - page 182 / 646 » Computationally Sound Proofs |
228
click to vote
ALP
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
163
click to vote
TASLP
2008
15 years 6 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...
158
click to vote
LOGCOM
2010
15 years 5 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 ...
212
click to vote
COST
2009
Springer
16 years 1 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...
185
click to vote
ECAI
2006
Springer
15 years 10 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...