National Repository of Grey Literature 3 records found  Search took 0.01 seconds. 
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (referee) ; Strnadel, Josef (advisor)
Cieľom tejto práce bolo vyhodnotiť ukazalete spoľahlivosti výpočtových systémov. V pr- vom rade bola založená terminológia ktorá vysvetľuje základné pojmy ohľadom štatistiky and spoľahlivosti. Ďalej boli v tomto kroku preskúmané typy a vlastnosti chýb ktoré sa v takýchto systémoch vyskytujú, a techniky ktoré sa dajú využit na ich potlačenie alebo zmiernenie ich dopadu na fungovanie systému. V ďalšom kroku boli vysvetlené základné koncepty ohľadom modelovania a simulácie ako aj krátky nahľad do presností jednotlivých techník ktoré boli zvažované ako možnosti ktoré by boli použiteľné pri samotnom pro- cese generovania dát. Po rozhodnutí ísť cestou štatistickej simulácie boli v ďalšom kroku zavedené metódy pre generovanie dát analytickým spôsobom ktoré slúžia na overenie dát vygenerovaných štatistickými simuláciami, do úrovne kde je ešte možné sa k nim dostať re- latívne jednoduchými výpočtami. Nasleduje prehľad nástrojov na implementáciu modelov našich systémov, ich výhody a nevýhody a miera použiteľnosti. V ďalšich krokoch boli vo vybranom nástroji Uppaal SMC naimplementované niektoré vybrané systémy a situácie na základe časovych automatov, a následne boli vyhodnotené oproti iným metódam zlepšenia spoľahlivosti ako aj oproti analyticky dosiahnutým dátam. Práca končí zavermi ktoré boli vyvodené z testovacích dát.
Evaluation methods of systems for unsegmented speech retrieval.
Galuščáková, Petra ; Pecina, Pavel (advisor) ; Hoffmannová, Petra (referee)
Methods that are currently used for evaluation of speech retrieval are described in this work. Techniques that are used for speech retrieval are explained, as well as methods used for evaluation of this retrieval. Special attention is paid to processing of unsegmented records. The main aim of the work is to verify whether the methods currently used for evaluation of speech retrieval are appropriate to use and modify these methods if needed. Empirical methods based on the user`s perception of speech retrieval is used for this verification. Modified metrics are compared with the original ones.
Evaluation methods of systems for unsegmented speech retrieval.
Galuščáková, Petra ; Pecina, Pavel (advisor) ; Hoffmannová, Petra (referee)
Methods that are currently used for evaluation of speech retrieval are described in this work. Techniques that are used for speech retrieval are explained, as well as methods used for evaluation of this retrieval. Special attention is paid to processing of unsegmented records. The main aim of the work is to verify whether the methods currently used for evaluation of speech retrieval are appropriate to use and modify these methods if needed. Empirical methods based on the user`s perception of speech retrieval is used for this verification. Modified metrics are compared with the original ones.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.