V članku je predstavljen sistem za akustično klasifikacijo in segmentatcijo. Sistem je primeren za uporabo v sistemih avtomatskega razpoznavanja govora, kjer so potrebne informacija glede posameznih akustičnih segmentov. Predlagani sistem podpira tri vrste akustične segmentacije: segmentacijo govor/negovor, segmentacijo po spolu govorca in segmentacijo po pasovni širini kanala. V članku so predstavljene tudi nove značilke za boljšo in bolj robustno akustično segmentacijo. Sistem je še posebej primeren za integracijo v sistem avtomatskega razpoznavanja tekočega govora, ki uporablja značilke MFCC, saj je zahteva po dodatni procesorski zmogljivosti zaradi segmentacije minimalna.
COBISS.SI-ID: 16450838
Eden večjih problemov razpoznavanja govora pri robotih je šum. V članku smo predlagali dve metodi za povečanje robustnosti razpoznavanja govora v šumnem okolju. Pokazali smo, da lahko z dobro izbranimi utežmi jezikovnega modela v procesu odločanja povečamo natančnost razpoznavanja. Druga predlagana metoda je adaptacija jezikovnega modela na domeno. Obe predlagani metodi smo eksperimentalno preizkusili in pokazali izboljšanje uspešnosti razpoznavanja za 2%.
COBISS.SI-ID: 16824598
Razpoznavanje vizemov iz govora se uporablja za delovanje različnih vrst avatarjev oz. virtualnih asistentov. V prispevku smo predlagali novo metodo tvorjenja akustičnih modelov za razpoznavanja vizemov iz govora, kjer osnovo predstavljajo prednaučeni fonemski akustični modeli, ki jih ustrezno transformiramo v vizeme. Predlagana metoda transformacije je v celoti jezikovno neodvisna. Rezultat razpoznavanja govora je niz vizemov in ustreznih časovnih oznak. Predlagana metoda je statistično pomembno izboljšala rezultate razpoznavanja vizemov iz govora.
COBISS.SI-ID: 17578262
Spin je eno izmed vodilnih verifikacijskih orodij za preverjanje modelov porazdeljenih sistemov. Uporablja se za širok spekter aplikacij, pri katerih lahko sisteme predstavimo kot asinhrono izvajajoče se procese. V članku podajamo kratek pregled osnovnih pojmov o preverjanju modelov, preverjalniku modelov Spin, njegovem vhodnem jeziku Promela in razpoložljivih grafičnih uporabniških vmesnikih za Spin. Da bi uporabnikom orodja Spin ponudili integrirano razvojno okolje za Spin, smo razvili SpinRCP. Predstavljamo njegovo strukturo in prikažemo nekatere izmed njegovih značilnosti na primeru standardnega algoritma za izbiro vodje v enosmernem obroču.
COBISS.SI-ID: 17523222
Številni problemi, ki izvirajo iz realnega sveta, so zelo kompleksni. Za njihovo reševanje potrebujemo algoritme, ki znajo poiskati globalni optimum, ne glede na posebnosti problema. V tem članku predstavljamo samoprilagodljiv algoritem diferencialne evolucije, poimenovali smo ga jDEscop, za reševanje obsežnih optimizacijskih problemov z zveznimi spremenljivkami. Predlagani algoritem uporablja tri strategije in mehanizem za zmanjševanje populacije. Opravili smo primerjavo našega algoritma s tremi znanimi algoritmi iz literature. Izvedli smo neparametrične statistične teste, ki so pokazali, da je predlagani algoritem v večini primerov signifikantno boljši od ostalih treh.
COBISS.SI-ID: 14398230