Search
Now showing items 1-10 of 19
Generování cílového kódu s pomocí indexu AST, Generating Target Code Using an Index of AST
; Supervisor: Janoušek Jan; Opponent: Guth Ondřej (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Zotavení se z chyb v nástrojích pro automatizovanou analýzu programových artefaktů, Error Recovery in Tools for Automatically Analysing Program Artefacts
; Supervisor: Janoušek Jan; Opponent: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-12)
Inkrementální analýza PL/SQL skriptů, Incremental analysis of PL/SQL scripts
; Supervisor: Janoušek Jan; Opponent: Toušek Jiří
Tato práce se zabývá vylepšením mechanizmu transformací u systému \acrlong{mt}. Transformace umožňuje automaticky upravit \acrshort{plsql} kód, reprezentovaný pomocí \acrshort{ast}, tak, aby splňoval určitá pravidla. ...
Vyhledávání nelineárních vzorků ve stromech, Nonlinear Tree Pattern Matching
; Supervisor: Janoušek Jan; Opponent: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
Vyhledávání a indexování v neseřazených stromech, Pattern matching and indexing of unordered trees
; Supervisor: Melichar Bořivoj; Opponent: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)
Vyhledávání výskytů stromových vzorků v seřazených stromech s pomocí indexů stromů, Searching occurrences of tree patterns in ordered trees with the use of indexes of the trees
; Supervisor: Janoušek Jan; Opponent: Trávníček Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
Tato práce porovnává dvě existující schémata pro indexování stromů. Jedno je založené na nedeterministickém faktorovém automatu, druhé na deterministickém kompaktním sufixovém automatu. Je zde popsáno třetí, nové schéma ...
Vyhledávání ve stromech na principu mrtvých zón, Dead zone tree pattern matching in trees
; Supervisor: Trávníček Jan; Opponent: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-04-23)
V práci jsou představeny dva nové algoritmy pro vyhledávání ve stromech - sousměrný algoritmus (založený na algoritmu Morris-Pratt) a algoritmus na principu mrtvých zón. Algoritmy naleznou všechny výskyty daného stromového ...
Dynamická 3D rekonstrukce obrazu z více kamer, Multicamera 3D Image Reconstruction in Dynamic Scenes
; Supervisor: Přeučil Libor; Opponent: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-07-01)
Práce se zabývá problematikou rekonstrukce hloubkové informace v obraze získaném ze dvou vzájemně synchronizovaných a kalibrovaných kamer uložených ve stejné horizontální rovině. Speciální důraz je kladen na rozšiřitelnost ...
Lehký just-in-time kompilátor pro aritmetické výrazy, Lightweight Just-in-time Compiler for Arithmetic Expressions
; Supervisor: Ratschan Stefan; Opponent: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-13)
Úkolem této práce bylo vytvořit knihovnu, která je využitelná ve spojení s některou z knihoven pro nelineární optimalizaci. Pro daný aritmetický výraz (zadaný jako bajtový řetězec v kódování ASCII) je za běhu programu ...
Detekce pozice poznávací značky z kamerových záznamů jedoucích aut, Detection of a license plate position from camera records of moving cars
; Supervisor: Jiřina Marcel; Opponent: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
Tato práce se zabývá problémem detekce registračních značek z kamery jedoucího auta. Některé stávající přístupy k problematice jsou v této práci shrnuty. Dále je představeno několik state-of-the-art algoritmů pro detekci ...