Hledat
Zobrazují se záznamy 1-10 z 11
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 ...
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
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 ...
Syllable-based compression of XML
Syllable-based compression of XML
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lánský, Jan
Datum publikování: 2006
Datum obhajoby: 22. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Syllable-based compression achieves sufficient results on small or middle-sized text documents. Since the majority of XML documents are that size, we suppose that the syllable-based method can give good results on XML ...
Slabiková komprese prokazuje dobré výsledky na malých a středně velkých textových dokumentech. Protože většina XML dokumentů je středně velká, domníváme se, že slabiková komprese muůže být vhodná pro XML, zvláště pak pro ...
Slabiková komprese prokazuje dobré výsledky na malých a středně velkých textových dokumentech. Protože většina XML dokumentů je středně velká, domníváme se, že slabiková komprese muůže být vhodná pro XML, zvláště pak pro ...
Zjednodušování polygonálních modelů ve VRML/X3D
Zjednodušování polygonálních modelů ve VRML/X3D
Diplomová práce (OBHÁJENO)
Vedoucí práce: Žára, Jiří
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Potrřba interaktivního zobrazovaní trojrozměrných dat a virtuálních světů se velmi často objevuje v oblasti počítačové grafiky a inženýrství. V mnoha případech je však rozsáhlost scény omezujícím faktorem pro plynulé ...
Interactive visualization of large three-dimensional objects and virtual worlds is an important topic in the field of computer graphics and visualization of engineering structures. In many cases, the number of primitives ...
Interactive visualization of large three-dimensional objects and virtual worlds is an important topic in the field of computer graphics and visualization of engineering structures. In many cases, the number of primitives ...
Extending Java PathFinder with Behavior Protocols
Extending Java PathFinder with Behavior Protocols
Diplomová práce (OBHÁJENO)
Vedoucí práce: Adámek, Jiří
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Komponentově orientované programování, vyuřívající behavior protokoly pro specifikaci chovaní komponent, představuje efektivní přístup k vývoji softwarových aplikací. Jedním z prostředků jak ještě více usnadnit vývoj je i ...
The Component-based programming is an aproach to efficient development of software applications, where Behavior protocol is a formalism used for behavior specification of components. To further ease the development of a ...
The Component-based programming is an aproach to efficient development of software applications, where Behavior protocol is a formalism used for behavior specification of components. To further ease the development of a ...
Recommender System for a Dating Service
Recommender System for a Dating Service
Diplomová práce (OBHÁJENO)
Vedoucí práce: Petříček, Václav
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hlavním cílem diplomové práce je ověřit využitelnost doporučovacích systémů založených na kolaborativním filtrování pro oblast online seznamek. Součástí práce je vlastní implementace několika nejběžnějších algoritmů ...
The aim of the thesis is to research the utility of collaborative filtering based recommender systems in the area of dating services. The practical part of the thesis describesthe actual implementation of several standard ...
The aim of the thesis is to research the utility of collaborative filtering based recommender systems in the area of dating services. The practical part of the thesis describesthe actual implementation of several standard ...