• Automatická extrakce dat z webových stránek 

      Gold, Otto (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Datum obhajoby: 18. 9. 2006
      V této práci jsem se zaměřil na stále rostoucí význam automatického zpracování webových stránek. Náplní práce je návrh a implementace programového nástroje, který stránky zpracovává. Úkolem tohoto nástroje je oddělit data, ...
    • Combining temporal logic and behavior protocols 

      Mandys, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Datum obhajoby: 22. 5. 2006
      In 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 ...
    • Extending Java PathFinder with Behavior Protocols 

      Plšek, Aleš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Datum obhajoby: 11. 9. 2006
      Komponentově orientované programování, vyuřívající behavior protokoly pro specifikaci chovaní komponent, představuje efektivní přístup k vývoji softwarových aplikací. Jedním z prostředků jak ještě více usnadnit vývoj je i ...
    • Simulace bitvy robotů 

      Matyska, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Datum obhajoby: 31. 1. 2008
      V této práci se budu nejprve zabývat obecným pohledem na agenty, jakožto obecné objekty vědeckého zkoumání. Z jednoho druhu agentů jsou zkonkretizováním vytvořeni a implementováni roboti v mém sofwarovém projektu. Stejně ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: dspace (at) is.cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV