5,682 research outputs found
Speech and music discrimination: Human detection of differences between music and speech based on rhythm
Rhythm in speech and singing forms one of its basic acoustic components. Therefore, it is interesting to investigate the capability of subjects to distinguish between speech and singing when only the rhythm remains as an acoustic cue. For this study we developed a method to eliminate all linguistic components but rhythm from the speech and singing signals. The study was conducted online and participants could listen to the stimuli via loudspeakers or headphones. The analysis of the survey shows that people are able to significantly discriminate between speech and singing after they have been altered. Furthermore, our results reveal specific features, which supported participants in their decision, such as differences in regularity and tempo between singing and speech samples. The hypothesis that music trained people perform more successfully on the task was not proved. The results of the study are important for the understanding of the structure of and differences between speech and singing, for the use in further studies and for future application in the field of speech recognition
Highly Undecidable Problems For Infinite Computations
We show that many classical decision problems about 1-counter
omega-languages, context free omega-languages, or infinitary rational
relations, are -complete, hence located at the second level of the
analytical hierarchy, and "highly undecidable". In particular, the universality
problem, the inclusion problem, the equivalence problem, the determinizability
problem, the complementability problem, and the unambiguity problem are all
-complete for context-free omega-languages or for infinitary rational
relations. Topological and arithmetical properties of 1-counter
omega-languages, context free omega-languages, or infinitary rational
relations, are also highly undecidable. These very surprising results provide
the first examples of highly undecidable problems about the behaviour of very
simple finite machines like 1-counter automata or 2-tape automata.Comment: to appear in RAIRO-Theoretical Informatics and Application
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
Part of the Lecture Notes in Computer Science book series (LNCS, volume 13964)35th International Conference, CAV 2023, Paris, France, July 17–22, 2023We present an algorithm to learn a deterministic timed automaton (DTA) via membership and equivalence queries. Our algorithm is an extension of the L* algorithm with a Myhill-Nerode style characterization of recognizable timed languages, which is the class of timed languages recognizable by DTAs. We first characterize the recognizable timed languages with a Nerode-style congruence. Using it, we give an algorithm with a smart teacher answering symbolic membership queries in addition to membership and equivalence queries. With a symbolic membership query, one can ask the membership of a certain set of timed words at one time. We prove that for any recognizable timed language, our learning algorithm returns a DTA recognizing it. We show how to answer a symbolic membership query with finitely many membership queries. We also show that our learning algorithm requires a polynomial number of queries with a smart teacher and an exponential number of queries with a normal teacher. We applied our algorithm to various benchmarks and confirmed its effectiveness with a normal teacher
Multi-weighted Automata Models and Quantitative Logics
Recently, multi-priced timed automata have received much attention for real-time systems. These automata extend priced timed automata by featuring several price parameters. This permits to compute objectives like the optimal ratio between rewards and costs. Arising from the model of timed automata, the multi-weighted setting has also attracted much notice for classical nondeterministic automata.
The present thesis develops multi-weighted MSO-logics on finite, infinite and timed words which are expressively equivalent to multi-weighted automata, and studies decision problems for them. In addition, a Nivat-like theorem for weighted timed automata is proved; this theorem establishes a connection between quantitative and qualitative behaviors of timed automata. Moreover, a logical characterization of timed pushdown automata is given
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
We present an algorithm to learn a deterministic timed automaton (DTA) via
membership and equivalence queries. Our algorithm is an extension of the L*
algorithm with a Myhill-Nerode style characterization of recognizable timed
languages, which is the class of timed languages recognizable by DTAs. We first
characterize the recognizable timed languages with a Nerode-style congruence.
Using it, we give an algorithm with a smart teacher answering symbolic
membership queries in addition to membership and equivalence queries. With a
symbolic membership query, one can ask the membership of a certain set of timed
words at one time. We prove that for any recognizable timed language, our
learning algorithm returns a DTA recognizing it. We show how to answer a
symbolic membership query with finitely many membership queries. We also show
that our learning algorithm requires a polynomial number of queries with a
smart teacher and an exponential number of queries with a normal teacher. We
applied our algorithm to various benchmarks and confirmed its effectiveness
with a normal teacher
Relating timed and register automata
Timed automata and register automata are well-known models of computation
over timed and data words respectively. The former has clocks that allow to
test the lapse of time between two events, whilst the latter includes registers
that can store data values for later comparison. Although these two models
behave in appearance differently, several decision problems have the same
(un)decidability and complexity results for both models. As a prominent
example, emptiness is decidable for alternating automata with one clock or
register, both with non-primitive recursive complexity. This is not by chance.
This work confirms that there is indeed a tight relationship between the two
models. We show that a run of a timed automaton can be simulated by a register
automaton, and conversely that a run of a register automaton can be simulated
by a timed automaton. Our results allow to transfer complexity and decidability
results back and forth between these two kinds of models. We justify the
usefulness of these reductions by obtaining new results on register automata.Comment: In Proceedings EXPRESS'10, arXiv:1011.601
- …