Hledat
Zobrazují se záznamy 1-6 z 6
Globální podmínky s cenou
Global Constraints with Cost
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
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 ...
Efektivní algoritmy oveřování cílů v počítačových hrách
Effective Algorithms for Verifying Goals in Computer Games
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá neuniformními metodami prohledávání stromů her dvou hráčů s úplnou informací. Konkrétně je zkoumána neuniformita založená na hrozbách realizovaná v podobě algoritmů lambda search a dual-lambda search. ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
Topologicky různé ultrafiltry
Topologically distinct ultrafilters
Diplomová práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2007
Datum obhajoby: 01. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Rozpoznávání strukturovaných zvuků pomocí synchronizace v neutronové síti
Recognition of structured noises by neural network synchronization
Diplomová práce (OBHÁJENO)
Vedoucí práce: Maršálek, Petr
Datum publikování: 2007
Datum obhajoby: 05. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This work studies the phenomenon of sound recognition through spiking neuron network synchronization. The input layer res on specifi c features in the input sound, which resemble syllable. The neurons in the middle layer ...
Tato práce studuje fenomén rozpoznávání zvuků pomocí synchronizace v neuronové síti neuronů s akčním potenciálem. Používá vstupní vrstvu pro rozpoznávání příznaků v krátkém zvuku, který odpovídá slabice. Prostřední vrstva ...
Tato práce studuje fenomén rozpoznávání zvuků pomocí synchronizace v neuronové síti neuronů s akčním potenciálem. Používá vstupní vrstvu pro rozpoznávání příznaků v krátkém zvuku, který odpovídá slabice. Prostřední vrstva ...
Limitní ultramocnina a neregulární univerzum
Limit ultrapower and non-regular universe
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 20. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Je navrženo zobecnění limitní ultramocniny tak, aby poskytlo charakterizaci (standardně omezených částí) elementárních rošíření universa teorie množin; speciálně je aplikovatelná na modely nestandardní teorie množin. Důraz ...
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter and a partition system. This construction provides a complete characterization of the internal universe in models of nonstandard ...
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter and a partition system. This construction provides a complete characterization of the internal universe in models of nonstandard ...