Hledat
Zobrazují se záznamy 1-10 z 29
Redukční automaty a syntaktické chyby
Reducing Automata and Syntactic Errors
Rigorózní práce (UZNÁNO)
Datum publikování: 2013
Datum obhajoby: 11. 02. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Peška, Ladislav
Datum publikování: 2023
Datum obhajoby: 30. 10. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2007
Datum obhajoby: 25. 04. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Bridge-hledání optimálních strategií
Bridge - computing optimal strategies
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 24. 03. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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í
Rigorózní práce (UZNÁNO)
Datum publikování: 2013
Datum obhajoby: 18. 04. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Hladík, Milan
Datum publikování: 2017
Datum obhajoby: 30. 11. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 24. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 16. 06. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (OBHÁJENO)
Datum publikování: 2006
Datum obhajoby: 29. 06. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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ů
Rigorózní práce (UZNÁNO)
Datum publikování: 2015
Datum obhajoby: 06. 03. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...