|
|
Web Application for Inspecting Results of Automatic Video Processing and Manual Annotations
Červíček, Petr ; Švec, Tomáš (referee) ; Smrž, Pavel (advisor)
The thesis pursues the implementation of the web application for obtaining valuable data for anotation. Data are mainly collected from videos and images, but they can be obtained from deepfakes images and gifs as well. The YOLO - You Only Look Once is used for object detection in the videos. Whole application is developed in node.js and react. Node.js for backend and react for frontend. For a better understanding of web application, there is also historical description of the web technologies.
|
|
|
Lombok Framework Study
Paštrnák, Ján ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
The aim of this thesis is to analyze Lombok framework and its usage for the development of Java programs. Framework Lombok enables the generation of a primitive, often repetitive code during compilation of the annotated code. Using annotations, programmer specifies what and where the framework needs to generate during the compilation. This thesis explains the basic principles of the framework and design tests that demonstrate practical aspects of its use for creation of Java programs. Emphasis is placed on the estimation of the time saved through the development of Lombok, study its influence on the process of compilation and testing framework integrity with three development environments - NetBeans, Eclipse and IDEA InteliJ. The thesis summarizes the pros and cons of using this framework in real work.
|
|
|
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.
|
|
|
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.
|
|
|
Word Games for Acquiring Linguistic Data
Koriťák, Jan ; Otrusina, Lubomír (referee) ; Smrž, Pavel (advisor)
This thesis focuses on design and implementation of a basic word game for guessing given word with knowledge of its paraphrase. The output of the game is annotated word data, which can be further used as a base in creation of parallel of paraphrase dictionary. The game consist of two mutually communicating parts - the client part, which mostly takes care of displaying the game interface and the server part, which takes care of the actual computation. There were used modern web technologies during implementation, especially client-side JavaScript a server-side Node.js.
|
|
|
Annotation Editor for Semantic Analysis of Text
Šťastná, Barbora ; Otrusina, Lubomír (referee) ; Dytrych, Jaroslav (advisor)
The thesis introduces the most crucial terms related with text annotation, and shows some electronic tools for annotation of electronic documents. It describes an annotation editor which provides the user with a graphic interface and allows for annotation of web documents. It also proposes modifications to the editor which would make it more intuitive, efficient, and user-friendly. The thesis follows with the description of implementation of the said modifications, and their testing.
|
|
|
Web-Based Image Annotation Tool
Vostřejž, Tomáš ; Hradiš, Michal (referee) ; Špaňhel, Jakub (advisor)
This thesis deals with the development of a web application for image data annotation. Describes the design and implementation of the client and server side of a tool that works with video files. Supports object tracking using interpolation. It is implemented in JavaScript using the Angular platform and the Express library. Allows the user to create point, line, stroke, rectangle, and polygon annotations. Annotations are created based on annotation templates that the tool organizes into groups. Datasets have one or more annotation groups and the user has the option to transfer and reuse them between datasets using a personal library. The tool exports the resulting annotations in JSON format.
|
|
|
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.
|
|
|
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 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.
|
guest ::
