Hledat
Zobrazují se záznamy 1-10 z 20
Generování cílového kódu s pomocí indexu AST, Generating Target Code Using an Index of AST
; Vedoucí práce: Janoušek Jan; Oponent práce: 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
; Vedoucí práce: Janoušek Jan; Oponent práce: 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
; Vedoucí práce: Janoušek Jan; Oponent práce: 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
; Vedoucí práce: Janoušek Jan; Oponent práce: 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
; Vedoucí práce: Melichar Bořivoj; Oponent práce: 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
; Vedoucí práce: Janoušek Jan; Oponent práce: 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
; Vedoucí práce: Trávníček Jan; Oponent práce: 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
; Vedoucí práce: Přeučil Libor; Oponent práce: 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
; Vedoucí práce: Ratschan Stefan; Oponent práce: 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
; Vedoucí práce: Jiřina Marcel; Oponent práce: 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 ...