|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.
|
|
|
New Parallel and Regulated Automata and Grammars
Kučera, Jiří ; Průša, Daniel (oponent) ; Sawa, Zdeněk (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces and studies four new language models with focus on regulation and parallelism in automata and grammars. First, state-synchronized automata systems , present systems consisting of a finite number of pushdown automata controlled by words of a control language over a set of states. Second, unlimited deep pushdown automata , are a modification of deep pushdown automata with no restrictions imposed on the depth of expansion on the pushdown. Third, jumping pure grammars , introduces jumping grammars with no nonterminal symbols. The last one, k#$-rewriting systems , extends #-rewriting systems with additional pushdown memory. The contents of this thesis are divided into three parts. The first part outlines the motivation for introduction of the studied language models and puts them into the context of related formal language theory areas. Furthermore, it gives an overview of the structure of the thesis, reviews fundamental notions of formal language theory and gives a survey of current knowledge related to the subject of research. The second part presents the core of this thesis. Here, formal definitions of all newly introduced language models are given and their expressive power is studied. Finally, this thesis is concluded with a summary of achieved theoretical results as well as related open problem areas, and an outline of the possibilities for further research along with a sketch of possible applications.
|
|
|
Matching Images to Texts
Hajič, Jan ; Pecina, Pavel (vedoucí práce) ; Průša, Daniel (oponent)
Vytváříme společný pravděpodobnostní model textu a obrázků pro úlohu automatického přiřazování ilustračních fotografií k novinovým článkům. Přistupujeme k úloze z hlediska učení reprezentací: chceme nalézt společnou reprezentaci textu i obrázků nezávislou na vlastnostech jednotlivých modalit, podobně jako multimodální hluboký Boltzmannův stroj Srivastavy a Salakhutdinova. Vstupní obrázky reprezentujeme pomocí předposlední vrstvy konvoluční neuronové sítě Krizhevského a kol., state-of-the-art reprezentace obrázků na základě jejich obsahu. Vytvořili jsme knihovnu Safire pro hluboké učení a správu multimodálních experimentů. Úspěšný vyhledávací systém se nám vyvinout nepodařilo, kvůli obtížnému trénování neuronových sítí na velmi řídkých textových datech. Porozuměli jsme však povaze těchto potíží tak, že věříme, že v navazující práci můžeme lepších výsledků dosáhnout.
|
|
|
Online and Offline Vocabulary Correction while using a Digital Pen
Shrestha, Prajol ; Hlaváč, Václav (vedoucí práce) ; Průša, Daniel (oponent)
This thesis is a requirement for the completion of my double degree with Charles University and University of Nancy (France) under the Erasmus Mundus masters program in Language and Communication Technology. The topic was provided by Prof. Abdel BelaÄd along with Actimage Company and has been completed and successfully defended at University of Nancy under their supervision. After the defense in France, I came here to Prague and worked with my co-supervisor Dr. Václav Hlaváč to improve the text of the thesis to meet the standards of Charles University in order to defend it in Prague. The aim of this work is to study some helpful handwriting correction marks and propose a system that automatically incorporates the corrections made by the writer while writing with a digital pen. The problem is complex because the corrections have to be at the same time readable by the writer and by the machine. Even detecting a free řowing line of handwritten text has not been understood completely by machines. The spatial relations between the correction marks and the text line are easily detected by the writers and readers and hence systematic to them, yet for machines this detection is a huge challenge. Humans have an intelligence that is hard to mimic by machines. This seemingly systematic writing has not been studied in...
|
|
|
Online Handwritten Mathematical Formulae Recognition
Stria, Jan ; Průša, Daniel (vedoucí práce)
V práci se zabýváme online rozpoznáváním ručně psaných matematických formulí. Po obecném úvodu do problematiky představíme některé v současnosti používané metody a detailněji zhodnotíme vybrané existující aplikace. Dále popíšeme naše vlastní řešení probíhající ve dvou krocích. V prvním kroku dochází k detekci symbolů, která je založena na vyhodnocování časových a prostorových závislostí jednotlivých tahů. Symboly jsou poté rozpoznány metodou, jež kombinuje existující externí knihovnu s algoritmy vycházejícími z množiny ručně definovaných pravidel a rozpoznávání vzorů. Ve druhém kroku zkoumáme strukturu formule pomocí metody, která spojuje popis formule využívající formální gramatiku se statistickým ohodnocováním jednotlivých jejích částí. V práci popisujeme také implementaci programu jako webové aplikace a zabýváme se i souvisejícím problémem sběru vstupních dat.
|
|
| |
|
|
Restricted Restarting Automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Kutrib, Martin (oponent) ; Průša, Daniel (oponent)
Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Dizertační práce zkoumá lokálně omezené modely restartovacích automatů, které (na rozdíl od obecných restartovacích automatů) smí upravovat obsah vstupní pásky jenom na základě lokálně omezeného kontextu. Studium omezených modelů se ukazuje jako jednodušší než studium obecných restartovacích automatů. Navíc se tyhle modely efektivně učí z pozitivních příkladů redukcí a jejich instrukce jsou srozumitelné i pro člověka. Powered by TCPDF (www.tcpdf.org)
|
|
|
Online rozpoznávání chemických vzorců a rovnic
Nevolová, Kateřina ; Průša, Daniel (vedoucí práce) ; Stria, Jan (oponent)
V práci se zabýváme problematikou online rozpoznávání ručně psaných chemických vzorců a rovnic. Nejdříve si tento obor představíme a upozorníme na některé používané metody a existující řešení. Prozkoumáme vlastnosti struktury chemického zápisu. Dále popíšeme vlastní postup skládající se z nalezení symbolů na základě vzájemných poloh tahů a jejich rozpoznání s pomocí existující externí knihovny. Z rozpoznaných symbolů poté složíme strukturu chemické formule pomocí navržené formální gramatiky. Součástí práce je i implementace řešení v podobě webové aplikace a její experimentální zhodnocení na vlastní nasbírané množině testovacích dat. Powered by TCPDF (www.tcpdf.org)
|
|
|
Online Handwritten Mathematical Formulae Recognition
Stria, Jan ; Průša, Daniel (vedoucí práce)
V práci se zabýváme online rozpoznáváním ručně psaných matematických formulí. Po obecném úvodu do problematiky představíme některé v současnosti používané metody a detailněji zhodnotíme vybrané existující aplikace. Dále popíšeme naše vlastní řešení probíhající ve dvou krocích. V prvním kroku dochází k detekci symbolů, která je založena na vyhodnocování časových a prostorových závislostí jednotlivých tahů. Symboly jsou poté rozpoznány metodou, jež kombinuje existující externí knihovnu s algoritmy vycházejícími z množiny ručně definovaných pravidel a rozpoznávání vzorů. Ve druhém kroku zkoumáme strukturu formule pomocí metody, která spojuje popis formule využívající formální gramatiku se statistickým ohodnocováním jednotlivých jejích částí. V práci popisujeme také implementaci programu jako webové aplikace a zabýváme se i souvisejícím problémem sběru vstupních dat.
|
|
|
Matching Images to Texts
Hajič, Jan ; Pecina, Pavel (vedoucí práce) ; Průša, Daniel (oponent)
Vytváříme společný pravděpodobnostní model textu a obrázků pro úlohu automatického přiřazování ilustračních fotografií k novinovým článkům. Přistupujeme k úloze z hlediska učení reprezentací: chceme nalézt společnou reprezentaci textu i obrázků nezávislou na vlastnostech jednotlivých modalit, podobně jako multimodální hluboký Boltzmannův stroj Srivastavy a Salakhutdinova. Vstupní obrázky reprezentujeme pomocí předposlední vrstvy konvoluční neuronové sítě Krizhevského a kol., state-of-the-art reprezentace obrázků na základě jejich obsahu. Vytvořili jsme knihovnu Safire pro hluboké učení a správu multimodálních experimentů. Úspěšný vyhledávací systém se nám vyvinout nepodařilo, kvůli obtížnému trénování neuronových sítí na velmi řídkých textových datech. Porozuměli jsme však povaze těchto potíží tak, že věříme, že v navazující práci můžeme lepších výsledků dosáhnout.
|
host ::
RSS.