Search
Now showing items 1-10 of 31
Redukční automaty a syntaktické chyby
Reducing Automata and Syntactic Errors
rigorous thesis (RECOGNIZED)
Date Issued: 2013
Date of defense: 11. 02. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá redukčními automaty, jejich normalizacemi a využitím pro (robustní) redukční analýzu a lokalizaci syntaktických chyb pro jazyky ze třídy DCFL. Redukční automat navazuje na restartovací automat, od ...
This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton ...
This thesis deals with reducing automata, their normalization, and their application for a (robust) reduction analysis and localization of syntactic errors for deterministic context-free languages (DCFL). A reducing automaton ...
Generating synthetic data for an assembly of police lineups
Vytváření umělých dat pro sestavování policejních fotorekognic
rigorous thesis (RECOGNIZED)
Advisor: Peška, Ladislav
Date Issued: 2023
Date of defense: 30. 10. 2023
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Eyewitness identification plays an important role during criminal proceedings and may lead to prosecution and conviction of a suspect. One of the methods of eyewitness identification is a police photo lineup when a collection ...
Fotorekognice hraje důležitou roli při policejním vyšetřování a může vést až ke stíhání a usvědčení podezřelé osoby. Během fotorekognice je svědkovi předložena sada fotografií a dále je tázán, jestli na některé z fotografií ...
Fotorekognice hraje důležitou roli při policejním vyšetřování a může vést až ke stíhání a usvědčení podezřelé osoby. Během fotorekognice je svědkovi předložena sada fotografií a dále je tázán, jestli na některé z fotografií ...
Učení restartovacích automatů genetickými algoritmy
Machine learning of restarting automata using genetic algorithms
rigorous thesis (RECOGNIZED)
Date Issued: 2007
Date of defense: 25. 04. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Bridge-hledání optimálních strategií
Bridge - computing optimal strategies
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 24. 03. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: We give a theoretical model of the game Bridge and its simplified variation. We construct an algorithm for the best response against any given strategy in this model. Then we construct an algorithm for an optimal strategy ...
Předkládáme teoretický model hry Bridge a její zjednodušené varianty. Na tomto teoretickém modelu konstruujeme algoritmus optimální protistrategie hráče proti dané strategii, dále algoritmus založený na iteraktivní metodě ...
Předkládáme teoretický model hry Bridge a její zjednodušené varianty. Na tomto teoretickém modelu konstruujeme algoritmus optimální protistrategie hráče proti dané strategii, dále algoritmus založený na iteraktivní metodě ...
Properties of universal hashing
Vlastnosti universálního hašování
rigorous thesis (RECOGNIZED)
Date Issued: 2013
Date of defense: 18. 04. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Ciel'om tejto práce je navrhnút' model hashovania s akceptovatel'nou časovou zložitost'ou aj v najhoršom prípade. Vytvorený model je založený na princípe univerzálneho hashovania a výsledná očkávania časové zložitost' je ...
The aim of this work is to create a model of hashing with an acceptable worst case time complexity. The model is based on the idea of universal hashing and the expected time of every operation is constant. The used universal ...
The aim of this work is to create a model of hashing with an acceptable worst case time complexity. The model is based on the idea of universal hashing and the expected time of every operation is constant. The used universal ...
Přeurčené soustavy intervalových lineárních rovnic
Overdetermined systems of interval linear equations
rigorous thesis (RECOGNIZED)
Advisor: Hladík, Milan
Date Issued: 2017
Date of defense: 30. 11. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá přeurčenými soustavami intervalových lineárních rovnic. První část se skládá z úvodu do intervalové aritmetiky a intervalové lineární algebry a základní teorie intervalových lineárních systémů. Ve druhé ...
This work is focused on overdetermined systems of interval linear equati- ons. First part consists of introduction to interval arithmetics and interval linear algebra and basic theory of interval linear systems. In the ...
This work is focused on overdetermined systems of interval linear equati- ons. First part consists of introduction to interval arithmetics and interval linear algebra and basic theory of interval linear systems. In the ...
Porovnávání přirozeného a umělého učení
A comparison between natural and artificial learning
rigorous thesis (RECOGNIZED)
Date Issued: 2008
Date of defense: 24. 05. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This paper deals with design and implementation of an evolutionary system for control of an autonomous mobile robot. This system should make possible an adaptation to a group of tasks, that can be similarly defined for a ...
Práce se zabývá návrhem a implementací evolučního systému pro řízení autonomního mobilního robota. Tento systém by mu měl umožňovat adaptaci na třídu úloh, kterou lze srovnatelně definovat i pro skutečného živočicha, který ...
Práce se zabývá návrhem a implementací evolučního systému pro řízení autonomního mobilního robota. Tento systém by mu měl umožňovat adaptaci na třídu úloh, kterou lze srovnatelně definovat i pro skutečného živočicha, který ...
Artificial neural networks for clustering and rule extraction
Umělé neuronové sítě pro klastrování a extrakci pravidel
rigorous thesis (RECOGNIZED)
Date Issued: 2011
Date of defense: 16. 06. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Umělé neuronové sítě pro klastrování a extrakci pravidel Autor: Jiří Iša Katedra (ústav): Katedra softwarového inženýrství Vedoucí práce: RNDr. Iveta Mrázová, CSc. E-mail vedoucí: mrazova@ksi.ms.mff.cuni.cz ...
Title: Artificial neural networks for clustering and rule extraction Author: Jiří Iša Department: Department of Software Engineering Supervisor: RNDr. Iveta Mrázová, CSc. Supervisor's e-mail: mrazova@ksi.ms.mff.cuni.cz ...
Title: Artificial neural networks for clustering and rule extraction Author: Jiří Iša Department: Department of Software Engineering Supervisor: RNDr. Iveta Mrázová, CSc. Supervisor's e-mail: mrazova@ksi.ms.mff.cuni.cz ...
Dynamické problémy s podmínkami
Dynamic Constraint Satisfaction Problems
rigorous thesis (DEFENDED)
Date Issued: 2006
Date of defense: 29. 06. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Constraint satisfaction problems (CSPs) are a type of combinatorial (optimization) problems that invite much interest in many practical applications. CSP is defined by a set of variables, to which values must be assigned, ...
Problémy splňování podmínek (CSP) jsou s vzhledem k možnostem praktického použití velmi zkoumanou oblastí kombinatorického prohledávání (optimalizace). CSP je definován množinou proměnných, kterým mají být přiřazeny hodnoty, ...
Problémy splňování podmínek (CSP) jsou s vzhledem k možnostem praktického použití velmi zkoumanou oblastí kombinatorického prohledávání (optimalizace). CSP je definován množinou proměnných, kterým mají být přiřazeny hodnoty, ...
Efficient Representations and Conversions of Planning Problems
Efektivní reprezentace a konverze plánovacích problémů
rigorous thesis (RECOGNIZED)
Date Issued: 2015
Date of defense: 06. 03. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita ...
Title E cient Representations and Conversions of Planning Problems Author Daniel Toropila Department Department of Theoretical Computer Science and Mathematical Logic Supervisor prof. RNDr. Roman Barták, Ph.D. Abstract The ...
Title E cient Representations and Conversions of Planning Problems Author Daniel Toropila Department Department of Theoretical Computer Science and Mathematical Logic Supervisor prof. RNDr. Roman Barták, Ph.D. Abstract The ...