561 search results - page 73 / 113 » A Constructive Approach to Testing Model Transformations |
110
click to vote
UMUAI
2002
14 years 11 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...
APPROX
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
ENTCS
2011
14 years 6 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
ISMIR
2004
Springer
15 years 5 months ago
2004
Springer
This investigation aims at finding an optimal way of measuring the similarity of melodies. The applicability for an automated analysis and classification was tested on a folk song...
105
click to vote
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...