Kvalifikační práce
Procházet dle
Poslední příspěvky
Zobrazují se záznamy 11251-11260 z 11325
-
Min-max haldy
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006The object of the diploma thesis is detailed description of doublended priority queues. Heap data structure is commonly used as their base. Simultaneously we are trying to uncover behavior of these data structures while ... -
Combining temporal logic and behavior protocols
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006In 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 ... -
Chování konfiguračních a směrovacích mechanismů v ad-hoc sítích
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Datum obhajoby: 22. 5. 2006Technologies of local and personal wireless networks allows building ad-hoc networks which don't require prepared infrastructure of optical or metalic wiring. Besides mechanisms of channel sharing and mechanisms of ... -
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 ...
RSS 1.0