Hledat
Zobrazují se záznamy 1-10 z 60
Methods for precise local affine frame constructions on MSERs
Metody pro přesnou konstrukci lokálních afinních rámců na MSER
Rigorózní práce (UZNÁNO)
Datum publikování: 2014
Datum obhajoby: 01. 12. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Detekce příznaků a hledání korespondencí je jeden ze základních problémů v mnohých aplikacích počítačového vidění. V této práci navrhujeme novou metodu pro zlepšení opakovatelnosti a přesnosti lokálních afinních rámců ...
Feature detection and matching is a fundamental problem in many applications in computer vision. We propose a novel approach that improves repeatability and precision of Local Affine Frames (LAFs) constructed on discretized ...
Feature detection and matching is a fundamental problem in many applications in computer vision. We propose a novel approach that improves repeatability and precision of Local Affine Frames (LAFs) constructed on discretized ...
Distributed Behavior Protocol Checker
Distributed Behavior Protocol Checker
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 02. 04. 2011
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 ...
Parallel Processing and Software Performance
Paralelní zpracování a výkonnost Software
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 14. 03. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zaměřuje na vliv sdílení vybraných prostředků, především paměťových cache, na výkon software na moderních procesorových architekturách. V práci je navrhnut framework pro spouštění experimentů, které vyhodnocují ...
The thesis focuses on the effects of resource sharing on software performance for selected resources of modern processor architectures, especially shared memory caches. The thesis introduces a framework for conducting ...
The thesis focuses on the effects of resource sharing on software performance for selected resources of modern processor architectures, especially shared memory caches. The thesis introduces a framework for conducting ...
Generating implementation from system requirements
Generování implementace ze systémových požadavků
Rigorózní práce (UZNÁNO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2010
Datum obhajoby: 30. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Designing a software system starts with writing the system requirements. Typically, these requirements are expressed in UML and contain use cases and domain model. A use case is a sequence of tasks which have to be done ...
Vytváření softwarového systému začíná sepsáním systémových požadavků. Obyčejně jsou tyto požadavky zapsány pomocí UML a obsahují mimo jiné use casy a domain model. Use case je sekvence úloh, které je potřeba udělat k ...
Vytváření softwarového systému začíná sepsáním systémových požadavků. Obyčejně jsou tyto požadavky zapsány pomocí UML a obsahují mimo jiné use casy a domain model. Use case je sekvence úloh, které je potřeba udělat k ...
Multimedia Grid
Multimedia Grid
Multimedia Grid
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 14. 03. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce popisuje současné možnosti a problémy videokonferenčních systémů se zaměřením na volně dostupné technologie určené pro group-to-group komunikaci. Úvod práce obsahuje popis vybraných komerčních i volně dostupných ...
The thesis describes the possibilities and issues of existing videoconferencing systems. We focus on open-source solutions for group-to-group communication especially the AccessGrid technology that utilizes the multicast ...
The thesis describes the possibilities and issues of existing videoconferencing systems. We focus on open-source solutions for group-to-group communication especially the AccessGrid technology that utilizes the multicast ...
Syllable-Based Compression
Syllable-Based Compression
Rigorózní práce (UZNÁNO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2010
Datum obhajoby: 25. 06. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Classic textual compression methods work over the alphabet of characters or alphabet of words. For languages with rich morphology as well as for compression of smaller files it can be advantageous to use an alphabet of ...
Using Metric Indexes For Effective and Efficient Multimedia Exploration
Metrické indexování, Multimediální explorace, PM-Strom, Cut-region
Rigorózní práce (UZNÁNO)
Vedoucí práce: Lokoč, Jakub
Datum publikování: 2017
Datum obhajoby: 25. 05. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Exponenciální růst multimediálních dat představuje výzvu pro explorační systémy s podporou efektivního uspořádání a získávání dat. V této práci se zaměřujeme na procházení velkých kolekcí v případech, kdy nelze přesně ...
The exponential growth of multimedia data challenges effectiveness and efficiency of the state-of-the- art retrieval techniques. In this thesis, we focus on browsing of large datasets using exploration approaches where ...
The exponential growth of multimedia data challenges effectiveness and efficiency of the state-of-the- art retrieval techniques. In this thesis, we focus on browsing of large datasets using exploration approaches where ...
Read-Copy-Update for OpenSolaris
Read-Copy-Update for OpenSolaris
Rigorózní práce (UZNÁNO)
Datum publikování: 2013
Datum obhajoby: 12. 02. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Read-Copy-Update pro OpenSolaris Autor: Andrej Podzimek Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí práce: Mgr. Martin Děcký e-mail vedoucího: decky@d3s.mff.cuni.cz Abstrakt: Cílem práce ...
Thesis Title: Read-Copy-Update for OpenSolaris Author: Andrej Podzimek Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Martin Děcký Supervisor's e-mail: decky@d3s.mff.cuni.cz Abstract: The ...
Thesis Title: Read-Copy-Update for OpenSolaris Author: Andrej Podzimek Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Martin Děcký Supervisor's e-mail: decky@d3s.mff.cuni.cz Abstract: The ...
Similarity Search in Protein Structure Databases
Podobnostní vyhledávání v databázích proteinových struktur
Rigorózní práce (UZNÁNO)
Datum publikování: 2013
Datum obhajoby: 20. 11. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Proteiny patří mezi nejdůležitějších biopolymery, nebot' v organismu zastáva- jí nejrůznější životně důležité funkce. Jejich funkční rozmanitost je umožněna především jejich velkou strukturní rozmanitostí. Navíc se ukazuje, ...
Proteins are one of the most important biopolymers having a wide range of functions in living organisms. Their huge functional diversity is achieved by their ability to fold into various 3D structures. Moreover, it has ...
Proteins are one of the most important biopolymers having a wide range of functions in living organisms. Their huge functional diversity is achieved by their ability to fold into various 3D structures. Moreover, it has ...
Vyhledávací stroj pro matematiku
Vyhledávací stroj pro matematiku
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 29. 06. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Názov práce: Vyhledávací stroj pro matematiku Autor: Jozef Mišutka Katedra: Katedra softwarového inženýrství Vedúci diplomovej práce: RNDr. Leo Galamboš, Ph.D. E-mail vedúceho: leo.galambos@mff.cuni.cz Abstrakt: Vyhľadávacie ...
Title: Mathematical search engine Author: Jozef Mišutka Department: Department of Software Engineering Supervisor: RNDr. Leo Galamboš, Ph.D. Supervisor's e-mail address: leo.galambos@mff.cuni.cz Abstract: The WWW is dominated ...
Title: Mathematical search engine Author: Jozef Mišutka Department: Department of Software Engineering Supervisor: RNDr. Leo Galamboš, Ph.D. Supervisor's e-mail address: leo.galambos@mff.cuni.cz Abstract: The WWW is dominated ...