Browsing katedra počítačů by Issue Date
Now showing items 1-20 of 2042
-
A Restarted Strategy for Efficient Subsumption Testing
(2008)We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distributions as a function of the problem instance ... -
Fast Estimation of First Order Clause Coverage through Randomization and Maximum Likelihood
(2008)In inductive logic programming, µ-subsumption is a widely used coveragetest. Unfortunately, testing µ-subsumption is NP-complete, which represents a crucial efficiency bottleneck for many relational learners. In this ... -
Block-Wise Construction of Acyclic Relational Features with Monotone Irreducibility and Relevancy Properties
(2009)We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which preserve the monotonicity of frequency, our ... -
Gaussian Logic for Predictive Classification
(2011)We describe a statistical relational learning framework called Gaussian Logic capable to work efficiently with combinations of relational and numerical data. The framework assumes that, for a fixed relational structure, ... -
Evoluční algoritmy pro JCOOL
; Supervisor: Drchal Jan; Opponent: Kordík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Správa vzdáleného souborového systému přes webový prohlížeč
; Supervisor: Černý Tomáš; Opponent: Flouri Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Editor modulu RefactoringNG
; Supervisor: Troníček Zdeněk; Opponent: Daněček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Integrace vybraných modulů projektu FAKE-GAME do softwaru RapidMiner
; Supervisor: Pilný Aleš; Opponent: Kordík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Efektivní LU řešič rozsáhlých řídkých soustav lineárních rovnic
; Supervisor: Šimeček Ivan; Opponent: Kessl Robert
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Vyhodnocení XPath dotazů s použitím zásobníkového automatu
; Supervisor: Janoušek Jan; Opponent: Poliak Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
E - škola
; Supervisor: Mannová Božena; Opponent: Bloch Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Krizový informační systém
; Supervisor: Maléř Jakub; Opponent: Daněček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
3D rekonstrukce objektů ze stránek pro sdílení fotografií
; Supervisor: Sedláček David; Opponent: Ghais Kamil
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Systém správy uživatelských požadavků
; Supervisor: Havlík Jan; Opponent: Novotný Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Minimalizace DNF logických funkcí založená na ternárních stromech
; Supervisor: Fišer Petr; Opponent: Schmidt Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Integrované prostředí pro vývoj v technologii DOJO Toolkit
; Supervisor: Šimeček Ivan; Opponent: Schmidt Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Modulární systém pro simulaci grafových algoritmů
; Supervisor: Šimeček Ivan; Opponent: Chludil Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Analýza, návrh a implementace informačního systému pro CRM
; Supervisor: Semrád Josef; Opponent: Krbálek Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Simulace chování plovoucích objektů
; Supervisor: Felkel Petr; Opponent: Nejedlý Vladimír
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14) -
Mapa internetu
; Supervisor: Medvecký Michal; Opponent: Macejko Peter
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)