In this paper we present our researches regarding automat parsing of audio recordings. These recordings are obtained from children with dyslalia and are necessary for an accurate identification of speech problems. We develop the ADM algorithm and we analyze the complexity of this solution. The main objectives of this task are:  recording 120 children (60 with correct pronunciation and 60 with ...

We propose a comparative performance evaluation of security protocols. The novelty of our approach lies in the use of a polynomial mathematical model that captures the performance of classes of cryptographic algorithms instead of capturing the performance of each algorithm separately, approach that is used in other papers. A major advantage of using such a model is that it does not require impl...

Purpose. Development of a formal method to evaluate professional training operating and dispatching personnel railway stations. Methodology. Simulation approaches generate performance indicators human dispatcher under the specified operational conditions are selected as well techniques cluster discriminant analysis obtained results. Findings factor is one main factors determining technical syst...

ion Abstraktion Acceptance problem Akzeptanz-Problem Accepted akzeptiert Accepting state akzeptierender Zustand Ackermann function Ackermann-Funktion Algorithm Algorithmus Alphabet Alphabet Ambiguity problem Zweideutigkeitsproblem Amortized analysis amortisierte Analyse Application Anwendung Argument (Funktions-)Argument Automaton (endlicher) Automat Automaton language (L(M)) die Sprache eines ...

The behaviour of a multi-input, multi-output dynamic system is often described in terms of a linear, time-invariant model, and for large complex systems, the order of such a model is generally excessively large. This paper deals with the problem of obtaining a simplified model which approximately describes the behaviour of the original system. [The SCI indicates that this paper has been cited i...

Unfortunately first-order logic has certain limitations which are felt in many applications such as in hardware verification. The use of proof assistants like the HOL sys tem ([Gord88]) is therefore resorted to. However many theorems of higher order logic can also be proven by methods of first order logic as well. Being aware of this situation, we have implemented a prover based on Sequent Calc...

Crucial to the t ransformat ion of computers into intel l igent mul t imed ia systems is the abi l i ty to access, manipulate and manage visual informat ion . In part icular , video data is becoming a prevalent source of such in format ion. Our Multiple Perspective Interactive Video (MPIVideo), project integrates a variety of visual comput ing operations w i t h model ing and interact ion techn...

The sliding-mode control of nonlinear uncertain systems with un-modeled first-order actuator dynamics has been considered. A 2-SMC scheme with adaptive switching rule has been proposed, and its effectiveness has been shown for a class of systems encompassing non zero-input-stable (ZIS) systems and non-BIBS stable plants. The proposed algorithm is easy to implement and therefore suited to being ...

The results developed in this note also apply to multiinput multioutput systems using unity-rank output feedback matrices. Example: For the system [I] A. Jameson, "Design of singbinput systems for specilied roots using output feedback," IEEE Tram. Automat. Conrr., vol. AC-15, pp. 345-348, 1970. [Z] E. J. Davison, "On pole assignment in linear systems with incomplete state feedback," IEEE Tram. ...

Reading the doctoral thesis of Napp Avelli (2007) I realized that Gabriel’s localization theory, which I applied in context with the stabilization of multidimensional input/output behaviors, can also be used for the construction of regular almost interconnections of behaviors in arbitrary dimensions and not only in two dimensions. In this paper I expose this theory in the language of quotient m...