|
| |
|
|
Studie frameworku Lombok
Paštrnák, Ján ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se věnuje frameworku Lombok a jeho využití pro vývoj Java programů. Framework Lombok umožňuje generování primitivního, často se opakujícího kódu, během překladu anotovaného kódu. Pomoci anotací programátor specifikuje, co a kde má framework při překladu generovat. Tato práce se zabývá vysvětlením základních principů frameworku a návrhem testů, které ukážu praktické aspekty jeho použití při tvorbě Java programů. Důraz je kladen zejména na odhad ušetřeného času vývoje prostřednictvím Lomboku, studium jeho vlivu na proces překladu a testování integrace frameworku se třemi vývojovými prostředími - NetBeans, Eclipse a InteliJ IDEA. Práce tak shrnuje pozitiva i negativa využití tohoto frameworku v praxi.
|
|
|
Verifikovaná knihovna datových struktur
Rychnovský, Jan ; Holík, Lukáš (oponent) ; Lengál, Ondřej (vedoucí práce)
Tato bakalářská práce se zabývá metodikou psaní verifikovaných programů pomocí nástroje VCC. Zmíněná metodika je založena na principu doplnění kódu programu o anotace, jež poskytují specifikaci požadované funkcionality. Nástroj VCC pak prostřednictvím formálních metod určí zda zdrojový kód splňuje danou specifikaci či ne. V první části práce je popsána formální verifikace a zmíněny tři základní přístupy k ní. Následně jsou popsány problémy splnitelnosti výrokových formulí (SAT) a splnitelnosti formulí v teoriích predikátové logiky (SMT). Práce se dále věnuje popisu verifikačního nástroje VCC, jeho funkčnosti, metodice, syntaxi a sémantice příkazů jeho anotačního jazyka BoogiePL. Druhá část textu je zaměřena na popis návrhu a implementace verifikované knihovny datových struktur obsahující jednosměrný, dvousměrný a kruhový seznam, binární vyhledávací strom a Treiberův zásobník. Závěr práce diskutuje získané poznatky o programovací metodice založené na psaní verifikovaného kódu.
|
|
|
Voice Sample database design for speech recognition purposes
Grobelný, Petr ; Malý, Jan (oponent) ; Pfeifer, Václav (vedoucí práce)
This thesis deals with problems of speech recognition and creation of speech corpus, which will serve as a training or testing data for speech recognition system. Mentioned corpus is designed as a corpus of read speech. In theoretical part reader is acquainted with the term Speech Recognition and then is more deeply introduced to the problems. The practical part consists of a detailed description of read speech database creation. The very corpus is then presented on the attached data carrier. In the last part there is a documentation of the read speech corpus presented.
|
|
|
Slovní hry jako nástroj pro získání jazykových dat
Koriťák, Jan ; Otrusina, Lubomír (oponent) ; Smrž, Pavel (vedoucí práce)
Tato práce se zaměřuje na problematiku návrhu a implementace jednoduché slovní hry pro hádání slov na základě jejich opisu. Výstupy hry jsou anotovaná slovní data, která se dále dají použít např. jako základ pro sestavení obdoby opisového slovníku. Hra se skládá ze dvou komunikujících částí - klientské, která se stará převážně o vyobrazení hry a serverové, výpočetní části. Pro implementaci bylo využito moderních webových technologií především pak klientského JavaScriptu a serverového Node.js.
|
|
|
Editor anotací pro sémantickou analýzu textu
Šťastná, Barbora ; Otrusina, Lubomír (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato práce shrnuje základní pojmy z oblasti anotování textu a předkládá několik existujících nástrojů, které slouží pro anotování elektronických dokumentů. Dále popisuje editor anotací, jenž poskytuje grafické uživatelské rozhraní umožňující anotování webových dokumentů, a zabývá se návrhem jeho rozšíření i oprav s cílem zvýšit intuitivnost uživatelského rozhraní, efektivitu práce a jeho uživatelskou přívětivost. Následně popisuje způsob implementace navržených změn a testování.
|
|
|
Webový nástroj pro anotaci obrazových dat
Vostřejž, Tomáš ; Hradiš, Michal (oponent) ; Špaňhel, Jakub (vedoucí práce)
Tato práce se zabývá vývojem webové aplikace pro anotaci obrazových dat. Popisuje návrh a implementaci klientské a serverové části nástroje, který pracuje s video soubory. Podporuje sledování trajektorie objektu pomocí interpolace. Implementován je v jazyce JavaScript s využitím platformy Angular a knihovny Express. Uživateli umožňuje vytvářet anotace typu bod, přímka, tah, obdélník a polygon. Anotace se vytváří na základě anotačních šablon, které nástroj organizuje do skupin. Datasety mají jednu, nebo více anotačních skupin a uživatel má možnost je mezi datasety přenášet a znovu použít pomocí osobní knihovny. Nástroj exportuje výsledné anotace ve formátu JSON.
|
|
|
Zobrazování anotací v reálném čase
Papoušek, Petr ; Schmidt, Marek (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato práce se zabývá tvorbou doplňku webového prohlížeče Firefox, který umožňuje zobrazení anotací dokumentu a jejich úprav v reálném čase. Díky napojení na 4A Framework se doplněk liší od existujících doplňků pro anotaci například možností spolupráce více uživatelů v reálném čase a možností práce s vnořenými anotacemi. Součástí této práce je i návrh, implementace a testování doplňku.
|
|
|
Transformace ontologií
Kopecký, Marek ; Škoda, Petr (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato diplomová práce je zaměřena na import ontologie v jazyku OWL 2 do vnitřních struktur anotačního 4A serveru. Zabývá se především způsobem zpracování anonymních uzlů, jako například anonymních tříd nebo vlastností. V řešení bylo použito knihovny The OWL API pro import ontologií. Navržené řešení mimo jiné umožňuje automatické generování názvů k anonymním třídám a vlastnostem.
|
|
|
Anotační doplněk pro Operu
Cudrák, Miloš ; Kouřil, Jan (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato práce se zabývá návrhem a implementací doplňku do webového prohlížeče Opera, který umožňuje vytvářet a ukládat jednoduché, nestrukturované anotace. Analyzuje způsoby tvorby doplňků do webového prohlížeče Opera a nástroje a technologie potřebné pro návrh, implementaci, testování a ladění doplňků. Zabýva se i problémy při návrhu a implementaci doplňku a jejich řešením.
|
host ::
RSS.