Hledat
Zobrazují se záznamy 1-10 z 15
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í ...
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 ...
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 ...
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 ...
Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu
Rigorózní práce (UZNÁNO)
Datum publikování: 2013
Datum obhajoby: 20. 12. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ...
of doctoral thesis Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis Petr Glivický We are motivated by a problem of understanding relations between local and global ...
of doctoral thesis Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis Petr Glivický We are motivated by a problem of understanding relations between local and global ...
Boolean techniques in Knowledge representation
Booleovské techniky v reprezentaci znalostí
Rigorózní práce (UZNÁNO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2020
Datum obhajoby: 04. 12. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název: Booleovské techniky v Reprezentaci znalostí Autor: Miloš Chromý Katedra: Katedra teoretické matematiky a matematické logiky Vedoucí práce: Doc. RNDr. Ondřej Čepek, Ph.D., Katedra teoretické matem- atiky a matematické ...
Title: Boolean techniques in Knowledge representation Author: Miloš Chromý Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: Doc. RNDr. Ondřej Čepek, Ph.D., Department of Theoretical ...
Title: Boolean techniques in Knowledge representation Author: Miloš Chromý Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: Doc. RNDr. Ondřej Čepek, Ph.D., Department of Theoretical ...
Monte Carlo Techniques in Planning
Monte Carlo techniky v plánování
Rigorózní práce (UZNÁNO)
Vedoucí práce: Barták, Roman
Datum publikování: 2018
Datum obhajoby: 17. 12. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Algoritmus Monte Carlo Tree Search (MCTS) v nedávné době prokázal, že dokáže úspěšně řešit těžké problémy v oblasti optimalizace i v oblasti hraní her. Pomocí tohoto algoritmu byly vyřešeny i některé problémy, které dlouho ...
The Monte Carlo Tree Search (MCTS) algorithm has recently proved to be able to solve difficult problems in the field of optimization as well as game-playing. It has been able to address several problems that no conventional ...
The Monte Carlo Tree Search (MCTS) algorithm has recently proved to be able to solve difficult problems in the field of optimization as well as game-playing. It has been able to address several problems that no conventional ...
Creating Adversarial Examples in Machine Learning
Vytváření matoucích vzorů ve strojovém učení
Rigorózní práce (UZNÁNO)
Vedoucí práce: Pilát, Martin
Datum publikování: 2023
Datum obhajoby: 08. 11. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce zkoumá nepřátelské vzory ve strojovém učení, konkrétně v oboru klasifikace obrazu. Nejmodernější modely hlubokého učení dokáží rozpoznat vzory lépe než člověk. Nicméně pokud k obrazům přidáme vhodně zvolený šum, ...
This thesis examines adversarial examples in machine learning, specifically in the im- age classification domain. State-of-the-art deep learning models are able to recognize patterns better than humans. However, we can ...
This thesis examines adversarial examples in machine learning, specifically in the im- age classification domain. State-of-the-art deep learning models are able to recognize patterns better than humans. However, we can ...
Artificial neural networks for pattern recognition
Rozpoznávání vzorů pomocí neuronových sítí
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: Rozpoznávání vzorů pomocí neuronových sítí Autor: Marek Kukačka Katedra (ústav): Katedra teoretické informatiky a matematické logiky Vedoucí diplomové práce: Doc. RNDr. Iveta Mrázová, CSc., Katedra softwarového ...
Title: Artificial neural networks for pattern recognition Author: Marek Kukačka Department: Katedra teoretické informatiky a matematické logiky Supervisor: Doc. RNDr. Iveta Mrázová, CSc., Katedra softwarového inženýrství ...
Title: Artificial neural networks for pattern recognition Author: Marek Kukačka Department: Katedra teoretické informatiky a matematické logiky Supervisor: Doc. RNDr. Iveta Mrázová, CSc., Katedra softwarového inženýrství ...
Solving Boolean satisfiability problems
Řešení problémů booleovské splnitelnosti
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: V této práci studujeme možnosti rozkladu booleovských formulí do komponent souvislosti. Z tohoto důvodu zavádíme nový pojem - komponentový strom. Popisujeme některé vlastnosti komponentových stromů a možnosti jejich aplikace. ...
In this thesis we study the possibilities of decomposing Boolean formulae into connected components. or this reason, we introduce a new concept - component trees. We describe some of their properties and suggest some ...
In this thesis we study the possibilities of decomposing Boolean formulae into connected components. or this reason, we introduce a new concept - component trees. We describe some of their properties and suggest some ...