Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 11391-11400 z 11462
-
Model Checking and Reduction of Behavior Protocols
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Behavior protocol is a formalism used for behavior specification of software components. In a regular-expression like syntax, admissible sequences of method invocations are specified abstracting from components' ... -
Alternativní vyhledávač systému EGOTHOR
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Nowadays, it is necessary to process huge amount of information what is reflected by actual trends in informatics. The objective of the thesis is to give the theoretical analysis and implementation of processing and searching ... -
Dotazování nad RDF daty
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006The RDF is one of the basic technologies of the Semantic Web. It is a language describing resources on the web. It de nes the format and semantics of such data but does not provide query capabilities. The aim of this thesis ... -
Nefotorealistické zobrazování v reálném čase
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006The goal of this thesis is to examine non-photorealistic rendering (NPR) methods with respect to their application in real-time rendering and to utilize the features of modern programmable graphics processing units (GPUs) ... -
Interaktivní víceuživatelské virtuální prostředí
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006The thesis proposes an extensive new system for virtual world hosting and management. The system is designed to o er real-time 3D graphical representation of the virtual world, to communicate and exchange data over a public ... -
Syllable-based compression of XML
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Syllable-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 ... -
Metadata management for Fractal component model
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006A metadata management is one of the key features of modern component based systems. The most contemporary used standard for metadata management is OMG Meta Object Facilities (MOF). Having the metadata in a MOF-based ... -
Chromatické stromy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Red-black trees are the binary search trees that guarantee logarithmic complexity also in the worst case. In order to speed up the response time of the operations and to allow a high degree of concurrency in parallel ... -
Automatické přiřazování významu - "Sense-tagging"
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006 -
Záření v modelech s kosmologickou konstantou
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 18. 5. 2006Title: Gravitational ji.t'ld of gyratons on various background spacetrm.es Author: Hcdvika Kadlecovd Department: Institute of Theoretical Ph.ys-i.es Supervisor: doc. Pavel Krtous. Ph.D. Supervisor's e-mail address: ...
RSS 1.0