Hledat
Zobrazují se záznamy 1-10 z 19
On-line learning in real-time environments
On-line learning in real-time environments
Diplomová práce (OBHÁJENO)
Vedoucí práce: Spier, Emmet
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá vývojem nového algoritmu pro zpětnovazební učení (reinforcement learning), nazvaného StimulusActionReward Network (krátce SARN). Cílem je vyvinout algoritmus pro nasazení v reálném prostředí. To klade na ...
In this work, a novel reinforcement learning algorithm, Stimulus Action Reward Network (SARN), is developed. It is targeted for application in real-time domainswhere the inputs are usually continuous and adaptation must ...
In this work, a novel reinforcement learning algorithm, Stimulus Action Reward Network (SARN), is developed. It is targeted for application in real-time domainswhere the inputs are usually continuous and adaptation must ...
Automatické třídění pošty pro IMAP servery
Automatické třídění pošty pro IMAP servery
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2006
Datum obhajoby: 18. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jelikož množství přijatých e-mailových zpráv rapidně stoupá, jsou uživatelé nuceni třídit je do několika kategorií. V předkládané práci představujeme nástroj, nazvaný Apofis, který pomáhá uživatelům automatizovat jejich ...
Number of received e-mail messages is growing explosively which forces users to classify them into several categories. In the presented work we introduce a tool called Apofis, which helps users to automate their routine ...
Number of received e-mail messages is growing explosively which forces users to classify them into several categories. In the presented work we introduce a tool called Apofis, which helps users to automate their routine ...
XPath,XSLT, XQuery: Formal Approach
XPath,XSLT, XQuery: Formal Approach
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2006
Datum obhajoby: 21. 04. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Performance in Software Development Cycle: Regression Benchmarking
Performance in Software Development Cycle: Regression Benchmarking
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The development cycle of large software is necessarily prone to introducing software errors that are hard to find and fix. Automated regular testing (regression testing) is a popular method used to reduce the cost of finding ...
Combining temporal logic and behavior protocols
Combining temporal logic and behavior protocols
Diplomová práce (OBHÁJENO)
Vedoucí práce: Adámek, Jiří
Datum publikování: 2006
Datum obhajoby: 22. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis we consider one of the weaknesses of temporal logic - the fact that the temporal formulas specifying complex properties are hard to read. We introduce new temporal logic "BP-CTL", that originate ...
V této diplomové práci se zabýváme jednou ze slabin temporální logiky - obtížnou čitelností temporálních formulí popisujících komplexní vlastnosti. Představíme novou temporální logiku "BP-CTL", která vychází z ...
V této diplomové práci se zabýváme jednou ze slabin temporální logiky - obtížnou čitelností temporálních formulí popisujících komplexní vlastnosti. Představíme novou temporální logiku "BP-CTL", která vychází z ...
Distributed Behavior Protocol Checker
Distributed Behavior Protocol Checker
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Dynamika živých organismů
Dynamika živých organismů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pelikán, Josef
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Počítačová animace artikulovaných postav je jedna z nejzajzajímavějších a nejvíce se rozvíjejících oblastí moderní počítačové grafiky. Cílem této práce je seznámit čtenáře s teorií simulace tuhých těles s omezeními, která ...
The computer animation of articulated figures is one of the most interesting and the most developing areas of the modern computer graphics. The goal of this thesis is to get the reader acquainted with the theory of constrained ...
The computer animation of articulated figures is one of the most interesting and the most developing areas of the modern computer graphics. The goal of this thesis is to get the reader acquainted with the theory of constrained ...
Unicode Compiler-Compiler
Unicode Compiler-Compiler
Diplomová práce (OBHÁJENO)
Vedoucí práce: Galamboš, Leo
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Principles of Kind Parsing
Principles of Kind Parsing
Dizertační práce (OBHÁJENO)
Vedoucí práce: Král, Jaroslav
Datum publikování: 2006
Datum obhajoby: 20. 12. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Using XML technologies to apply design patterns
Using XML technologies to apply design patterns
Diplomová práce (NEOBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přestože moderní styl programování vyžaduje široké nasazení návrhových vzoru, programovací jazyky nenabízejí pohodlné prostředky k jejich efektivní aplikaci. Cílem této práce je ukázat v praxi, že zapojení moderní XML ...
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML ...
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML ...