Hledat
Zobrazují se záznamy 1-10 z 13
Lelkova hypotéza
Lelkova hypotéza
Diplomová práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Lelek's conjecture which states that metric continua with span zero are chainable has been one of the most widely investigated problems in continuum theory over the past 40 years. We broaden our field of interest to ...
Lelkova hypotéza, která říká, že metrická kontinua se spanem nula jsou chainable, je jedním z nejvíce studovaných problémů v teorii kontinuí. V této práci formulujeme Lelkovu domněnku pro nemetrická kontinua a dokážeme, ...
Lelkova hypotéza, která říká, že metrická kontinua se spanem nula jsou chainable, je jedním z nejvíce studovaných problémů v teorii kontinuí. V této práci formulujeme Lelkovu domněnku pro nemetrická kontinua a dokážeme, ...
Using Machine Learning Techniques to Analyze and Recognize Complex Patterns of Student E-Discussions
Analýza a rozeznávání komplexních interakcí v e-diskusích studentů pomocí technik strojového učení
Diplomová práce (OBHÁJENO)
Vedoucí práce: McLaren, Bruce M.
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Visuální diskuse je formou debaty, ve které se příspěvky zapisují do grafických tvarů a propojují se s ostatními na základě jejich vztahů. Pro moderování několika současně probíhajících diskusí je důležité nasměrovat učitele ...
Visual e-discussion is a form of debate in that contributions are written into graphical shapes and linked to one another according to their relationship. In order to moderate several simultaneous e-discussions effectively, ...
Visual e-discussion is a form of debate in that contributions are written into graphical shapes and linked to one another according to their relationship. In order to moderate several simultaneous e-discussions effectively, ...
Temporal networks
Temporal networks
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Integrace plánování rozvrhování vyžaduje hledání nových přístupů problému rozvrhování. Rozvrhovací systém musí být schopen poskytnout užitečné informace plánovači, aby se zabránilo vytvářní neuskutečnitelných plánů. Pro ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...
Prostředí pro vytváření umělých hráčů Texas Hold'em pokru
Prostředí pro vytváření umělých hráčů Texas Hold'em pokru
Diplomová práce (OBHÁJENO)
Vedoucí práce: Majerech, Vladan
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hold'em poker, kartová hra s neúplnou, niekedy dokonca klamlivou informáciou, bude v priebehu niekol'kých rokov pravdepodobne pokorená počítačovými programami. Toto môže predstavovat' vel'ké nebezpečenstvo pre celé odvetvie ...
Hold 'em poker, a card game with incomplete, sometimes even misleading information, is probably going to be mastered by computer programs within a few years. This might be a big issue for the on-line poker gaming industry. ...
Hold 'em poker, a card game with incomplete, sometimes even misleading information, is probably going to be mastered by computer programs within a few years. This might be a big issue for the on-line poker gaming industry. ...
AI Planning with Time and Resource Constraints
Plánování s omezenými zdroji a časem
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Automatizované plánování hraje bezesporu klíčovou roli v mnoha oblastech lidského zájmu, kde složité a proměnlivé úlohy vyžadují efektivní řešení a omezení možných chyb. Další motivací pro výzkum plánování je zachycení ...
Automated planning plays an important role in many fields of human interest, where complex and changing tasks involve demanding efficiency and error-avoidance requirements. Research in planning is also motivated by capturing ...
Automated planning plays an important role in many fields of human interest, where complex and changing tasks involve demanding efficiency and error-avoidance requirements. Research in planning is also motivated by capturing ...
Methods of MCTS and the game Arimaa
MCTS techniky ve hře Arimaa
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Arimaa je strategická hra vytvořená za účelem být obzvláště těžká pro počítače. Většina existujících programů hrajících hru Arimaa je založena na ověřených postupech z problematiky počítačových šachů obzvláště pak na ...
Game of Arimaa is an artificially created strategic board game with the purpose to be difficult for computers. A vast majority of introduced computer engines for Arimaa are based on successful approaches from chess, namely ...
Game of Arimaa is an artificially created strategic board game with the purpose to be difficult for computers. A vast majority of introduced computer engines for Arimaa are based on successful approaches from chess, namely ...
Data and Ontologies
Data a ontologie
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V centru sémantického webu stojí pojem ontologie. Ačkoliv jsou ontologie zkoumány už od dob Aristotela, stále toho zbýva mnoho k prozkoumání. Existuje velké množství úvodních textů do sémantického webu a jeho technologií, ...
In the core of current semantic web efforts is the notion of ontology. Although ontologies have been explored since times of the Greek philosopher Aristotle already there is still much to learn in this area. There are many ...
In the core of current semantic web efforts is the notion of ontology. Although ontologies have been explored since times of the Greek philosopher Aristotle already there is still much to learn in this area. There are many ...
Compiling Planning Problems
Kompilácia plánovacích problémo
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Napriek tomu, že techniky splňovania podmienok (SP) sú častým spôsobom riešenia rozvrhovacích problémov, v plánovaní sa stále vyskytujú iba zriedka. Na riešenie plánovacích problémov bolo síce vyskúšaných niekol'ko rôznych ...
Constraint satisfaction techniques are used frequently for solving scheduling problems, but they are still seldom in AI planning. There exist several attempts to apply constraint satisfaction for solving AI planning problems, ...
Constraint satisfaction techniques are used frequently for solving scheduling problems, but they are still seldom in AI planning. There exist several attempts to apply constraint satisfaction for solving AI planning problems, ...
Constraint satisfaction for HW/SW verification
Použití programování s omezujícími podmínkami pro verifikaci HW/SW
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint ...
Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním ...
Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním ...
Automated Theorem Proving using the Tableaux method
Automatické dokazování vět s použitím tableaux metod
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci studujeme tableaux kalkul a podobné metody. Nejprve zavádíme obvyklé pojmy a poté představujeme tableaux kalkul pro logiku prvního řádu. Dále představujeme automatický dokazovač vět autorů Beckert a Possega ...
In this paper we are studying the Tableaux Calculus a related methods. We adopt basic notions and present the tableaux calculus for the First-Order Logic. Then we present the Beckert and Possega [5] prover. We extend this ...
In this paper we are studying the Tableaux Calculus a related methods. We adopt basic notions and present the tableaux calculus for the First-Order Logic. Then we present the Beckert and Possega [5] prover. We extend this ...