|
|
Simulace konečných převodníků
Micenková, Barbora ; Kolář, Dušan (oponent) ; Lukáš, Roman (vedoucí práce)
K rychlému překladu mezi strojovým kódem a assemblerem za účelem simulace je možné použít speciální abstraktní model - tzv. párový konečný automat. Jeho vnitřní uspořádání nás přivádí k problematice konečných převodníků. Vzhledem k tomu, že simulace deterministických převodníků je efektivnější, musíme se procesem determinizace zabývat. Existující algoritmy jsou bohužel aplikovatelné pouze na převodníky provádějící překlad konečných jazyků, zatímco my na vstupu očekáváme obecně nekonečný jazyk. Proto je nutné nalézt způsob, jak rychle rozpoznat, je-li převodník na vstupu determinizovatelný. V této bakalářské práci jsou shrnuty doposud publikované poznatky z oblasti determinizace konečných převodníků a rovněž navržen nový algoritmus determinizace převodníků provádějících překlad obecně nekonečných jazyků. Nedeterminizovatelné převodníky na vstupu jsou detekovány.
|
|
|
Verification of Authenticity of Stamps in Documents
Micenková, Barbora ; Španěl, Michal (oponent) ; Herout, Adam (vedoucí práce)
Classical ink stamps and seals used for authentication of a document content have become relatively easy to forge by the scan & print technique since the technology is available to general public. For environments where a huge volume of documents is processed, an automatic system for verification of authenticity of stamps is being developed in the scope of this master's thesis. The process of stamp authenticity verification naturally must be preceded by the phase of stamp detection and segmentation - a difficult task of Document Image Analysis (DIA). In this master's thesis, a novel method for detection and verification of stamps in color document images is proposed. It involves a full segmentation of the page to identify candidate solutions, extraction of features, and further classification of the candidates by means of support vector machines. The evaluation has shown that the algorithm is capable of differentiating stamps from other color objects in the document such as logos or text and also genuine stamps from copied ones.
|
|
|
Simulace konečných převodníků
Micenková, Barbora ; Kolář, Dušan (oponent) ; Lukáš, Roman (vedoucí práce)
K rychlému překladu mezi strojovým kódem a assemblerem za účelem simulace je možné použít speciální abstraktní model - tzv. párový konečný automat. Jeho vnitřní uspořádání nás přivádí k problematice konečných převodníků. Vzhledem k tomu, že simulace deterministických převodníků je efektivnější, musíme se procesem determinizace zabývat. Existující algoritmy jsou bohužel aplikovatelné pouze na převodníky provádějící překlad konečných jazyků, zatímco my na vstupu očekáváme obecně nekonečný jazyk. Proto je nutné nalézt způsob, jak rychle rozpoznat, je-li převodník na vstupu determinizovatelný. V této bakalářské práci jsou shrnuty doposud publikované poznatky z oblasti determinizace konečných převodníků a rovněž navržen nový algoritmus determinizace převodníků provádějících překlad obecně nekonečných jazyků. Nedeterminizovatelné převodníky na vstupu jsou detekovány.
|
|
|
Verification of Authenticity of Stamps in Documents
Micenková, Barbora ; Španěl, Michal (oponent) ; Herout, Adam (vedoucí práce)
Classical ink stamps and seals used for authentication of a document content have become relatively easy to forge by the scan & print technique since the technology is available to general public. For environments where a huge volume of documents is processed, an automatic system for verification of authenticity of stamps is being developed in the scope of this master's thesis. The process of stamp authenticity verification naturally must be preceded by the phase of stamp detection and segmentation - a difficult task of Document Image Analysis (DIA). In this master's thesis, a novel method for detection and verification of stamps in color document images is proposed. It involves a full segmentation of the page to identify candidate solutions, extraction of features, and further classification of the candidates by means of support vector machines. The evaluation has shown that the algorithm is capable of differentiating stamps from other color objects in the document such as logos or text and also genuine stamps from copied ones.
|
host ::
RSS.