|
|
Web MVC Frameworks on the Java Platform
Hybášek, Michal ; Kreslíková, Jitka (referee) ; Burget, Radek (advisor)
This master thesis deals with an architecture Model-View-Controller. It explains the principle, model, usage and benefits of an architecture. Futhure more, it presents the best known web frameworks on Java platform which derive benefit from this architecture. There are frameworks like Apache Struts, Tapestry and Spring. In my thesis, the principles of framworks and the work with them are described. Concerning another part of my thesis, there are simple applications which use this frameworks. The work gives instructions to make these applications. It describes and compares the latest versions of these tools. It deals more with framework Spring, describes its elementary principles and modules with enhanced sight to Web MVC of Spring.
|
|
|
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.
|
|
|
Object-Relational Mapping with Framework Hibernate
Berger, Jan ; Pavlíčková, Jarmila (advisor) ; Palovská, Helena (referee)
The bachelor's thesis Object-Relational Mapping with Framework Hibernate is primarily concerned with the description of problems of data persistence of programs written in Java programming language in relational databases. The tool for implementing persistence is object-relational mapping. In the first part of the thesis a concept of object-relational mapping is defined and some problems of its implementing are described. Then an example application is introduced, on which framework Hibernate is demonstrated, followed by the description of structure and architecture of framework Hibernate. The second part of the thesis describes the philosophy and conditions for creating mapping metadata for the individual object structures, using XML and annotation notations. At the end of this part both notations are compared.
|
guest ::
