• Detekce, sledování a extrakce biometrických údajů pomocí kamery pro využití v maloobchodě 

      Autor: Lukáš Brchl; Vedoucí práce: Jiřina Marcel; Oponent práce: Starý Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-07)
      Tato práce se zabývá návrhem frameworku, který slouží k analýze video sekvencí z RGB kamery. Framework využívá technik sledování osob a následné extrakce biometrických dat. Biometrická data jsou sbírána za účelem využití ...
    • DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest 

      Autor: Martin Čapek; Vedoucí práce: Surynek Pavel; Oponent práce: Starý Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
      Multiagentní hledání cest (MAPF) se často kopiluje do výrokové splnitelnosti (SAT) a je dále vyřešeno existujícím SAT řešičem. V této práci jsme přišli s novým kompilačním schématem DPLL(MAPF), který používá těsnou inegraci ...