|
|
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.
|
|
|
Vyhledávání a aktualizace fragmentů anotací
Kubík, Lukáš ; Škoda, Petr (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato diplomová práce analyzuje algoritmy anotačního serveru projektu Decipher pro hledání a aktualizaci fragmentů anotací. Analyzované algoritmy vylepšuje a nahrazuje nově navrženými algoritmy. Součástí projektu je také návrh nového algoritmu pro detekci míry ovlivnění anotací po aktualizaci dokumentu.
|
|
|
Editor anotací pro CMS
Macháček, Jakub ; Škoda, Petr (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato bakalářská práce analyzuje možnosti tvorby rozšíření pro WYSIWYG editory a problematiku anotování elektronických materiálů. Dále se zabývá návrhem a implementací základu editoru anotací, který bude díky svým širokým možnostem použitelný k pokročilé tvorbě anotací dokumentů. Součástí práce je také návrh protokolu sloužícího ke komunikaci se serverem.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
Změny dokumentu v editoru anotací
Cudrák, Miloš ; Škoda, Petr (oponent) ; Dytrych, Jaroslav (vedoucí práce)
Tato práce se zabývá návrhem a implementací změn dokumentu a jiných vylepšení anotačního editoru vyvíjeného jako součást projektu Decipher. Vysvětluje podstatu projektu Decipher a zařazení anotačního systému 4A v rámci tohoto projektu. Zkoumá anotační editor a navrhuje řešení problémů a přidávání nové funkcionality ulehčující manipulaci s anotacemi a také ze samotným editorem.
|
|
|
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.
|
|
| |
|
|
Anotace v Javě
Šírová, Helena ; Pavlíčková, Jarmila (vedoucí práce) ; Pecinovský, Rudolf (oponent)
Práce popisuje tvorbu, použití a význam anotací v programovacím jazyce Java. Dále poskytuje popis několika obecně použitelných anotací, které jsou v Javě definovány, a návod na tvorbu vlastních anotací a jejich zpracování pomocí anotačních procesorů. V práci je obsaženo i srovnání s jinými nástroji, které mají podobné použití jako anotace.
|
host ::
RSS.