|
|
Annotations editor for WYSIWYG JavaScript-Based Text Editors
Kleban, Martin ; Schmidt, Marek (referee) ; Dytrych, Jaroslav (advisor)
This master's thesis deals with analysis of plugins development possibilities for WYSIWYG JavaScript-based text editors (TinyMCE, CKEditor, NicEdit, jWYSIWYG) and it describes design of annotations editor as a plugin for chosen editors. Structured annotations editor was implemented for TinyMCE and it includes own user interface implementation without usage of any complex universal libraries. Gained pieces of knowledge from WYSIWYG editors analysis and annotations editor implementation are to be found in the enclosure.
|
|
|
Transformations of Ontologies
Kopecký, Marek ; Škoda, Petr (referee) ; Dytrych, Jaroslav (advisor)
This master's thesis describes importing the ontology in language OWL 2 into the internal structures of 4A annotation server. It is concerned in anonymous nodes, for example in anonymous classes or anonymous properties. The solution was to use the library The OWL API for import ontology. The solution also allows automatic generation of names to anonymous classes and properties.
|
|
|
Annotation Fragments Searching and Updates
Kubík, Lukáš ; Škoda, Petr (referee) ; Dytrych, Jaroslav (advisor)
This master's thesis analyzes annotation server algorithms for searching and updating annotation fragments. The annotation server is a part of the project Decipher. Analyzed algorithms are improved and replaced by newly designed algorithms in this project. A part of this project also designs a new algorithm for measuring how much is an annotation affected after updating the document.
|
|
|
Annotation Editor for CMS
Macháček, Jakub ; Škoda, Petr (referee) ; Dytrych, Jaroslav (advisor)
This bachelor's thesis analyzes possible ways to create extensions of WYSIWYG editors and the issue of annotating electronic material. It also includes design and implementation of an annotation editor basis which will be, due to its wide possibilities, usable to create advanced annotations of documents. Part of the work is also to design a protocol to communicate with a server.
|
|
|
Real-Time Annotation View
Papoušek, Petr ; Schmidt, Marek (referee) ; Dytrych, Jaroslav (advisor)
This work is about creating an addon for Firefox web browser. Addon is able to show annotations and their modifications in real-time. Thanks to connection to 4A Framework, this addon is different from other existing annotation addons by real-time cooperation ability and capability of working with nested annotations. This work also contains concept, implementation and testing of this addon.
|
|
|
Annotation Addon for Opera
Cudrák, Miloš ; Kouřil, Jan (referee) ; Dytrych, Jaroslav (advisor)
This thesis describes the design and implementation of an annotation addon for the web browser Opera which is able to create and store simple unstructured annotations. It analyzes ways of creating addons for the web browser Opera and the tools and technologies needed for design, implementation, testing and debugging addons. It also deals with the problems during the design and implementation of the addon and their solutions.
|
|
|
A Verified Data Structures Library
Rychnovský, Jan ; Holík, Lukáš (referee) ; Lengál, Ondřej (advisor)
This bachelor thesis deals with a methodology of writing verified programs using the VCC tool. The mentioned methodology is based in the principle of extending the program code with additional annotations, which provide a specification of the desired functionality. The VCC tool then uses formal methods to check whether the source code is correct with respect to the given specification. The first part describes formal verification and three basic approaches to it. Subsequently, the satisfiability problems of propositional formulae (SAT) and formulae in theories of predicate logic (SMT) are described. Then the thesis describes the VCC verification tool, its functionality, methodology, syntax and semantics of commands of its intermediate annotation language BoogiePL. The second part of this thesis is focused on the design and implementation of a verified data structures library, which contains singly linked, doubly linked, and circular lists, a binary search tree and a Treiber's stack. The text concludes with a discussion of the learnt knowledge about the programming methodology based on writing verified code.
|
|
|
Document Modifications in Annotation Editor
Cudrák, Miloš ; Škoda, Petr (referee) ; Dytrych, Jaroslav (advisor)
This thesis deals with the design and implementation of the document modifications and another annotation editor improvements developed as the part of the Decipher project. Explains the nature of the Decipher project and the inclusion of annotation system 4A in this project. It examines the annotation editor and propose solutions to problems and adding new functionality which makes it easier to work with annotations and also with editor itself.
|
|
|
Voice Sample database design for speech recognition purposes
Grobelný, Petr ; Malý, Jan (referee) ; Pfeifer, Václav (advisor)
Práce se zabývá rozpoznáváním řeči a tvorbou řečové databáze, která bude sloužit jako trénovací a testovací data pro systém rozpoznávání řeči. Daný korpus je navrhnut jako databáze čtené řeči. V teoretické části je čtenář seznámen s pojmem rozpoznávání řeči a je hlouběji uveden do problematiky. Praktická část se skládá z podrobného postupu vytvoření databáze čtené řeči. Samotná databáze je prezentována na přiloženém médiu. V závěru práce je přiložena potřebná dokumentace celé databáze.
|
|
| |
guest ::
