Wyszukiwarka
Katedra Inżynierii Wiedzy
Publikacje
Filtry
wszystkich: 143
Katalog Publikacji
Rok 2005
-
Real terrain visualisation with a distributed PC-cluster
PublikacjaJednym z zadań aplikacyjnych ogólnopolskiego projektu CLUSTERIX było opracowanie i wdrożenie metody interaktywnej wizualizacji terenu rzeczywistego z danych przestrzennych systemów GIS. Przedstawione wyniki osiągnięte w tym zadaniu wskazują na duży potencjał wykorzystania opracowanego modelu wizualizacji 3D dla potrzeb systemów zarządzania kryzysowego.
-
Aktywne modele kształtu i ich biometryczne zastosowania = Active shape models and their biometric applications
PublikacjaAktywne modele kształtu zostały zaproponowane w latach 90 XX wieku jako uniwersalna metoda lokalizowania i rozpoznawania obiektów. Koncepcje teoretyczne, na których metoda ta została oparta, wydają się obiecujące, jednak ich praktyczna wartość nie została jeszcze do końca zweryfikowana. Autorzy niniejszej pracy przeprowadzili testy aktywnych modeli kształtu za pomocą własnego systemu lokalizacji obiektów, szczególną uwagę zwracając...
Rok 2006
-
Teoria i praktyka testowania programów
PublikacjaKsiążka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.
-
Prototypowy system analizy ruchu obiektów
PublikacjaZaprezentowano system automatycznej analizy ruchu SARO, który umożliwia identyfikowanie poruszających się obiektów, określanie ich lokalizacji oraz wyznaczanie kierunku i prędkości ruchu. Przedstawiono pokrótce podstawy teoretyczne zaimplementowanych metod analizy ruchu, podano także wyniki eksperymentów przeprowadzonych przy użyciu systemu SARO.
-
Optymalizacja sceny dla potrzeb interakcyjnej wizualizacji terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublikacjaInterakcyjny system Wiz3D przeznaczony do wizualizacji terenu rzeczywistego na podstawie danych pochodzących z Geograficznych Systemów Informacyjnych (GIS) wymaga dużych mocy obliczeniowych na etapie upraszczania sceny służącego płynnej generacji kolejnych kadrów animacji. W związku z tym zaplanowano realizację tego etapu przez klaster obliczeniowy. Aby osiągnąć jak najkrótszy czas wykonania należy zadbać o równomierne obciążenie...
-
Multimedialny interfejs cienkiego klienta dla osób niepełnosprawnych w systemie informacyjnym GDASKON
PublikacjaPo krótkiej dyskusji wymagań stawianych interfejsom przeznaczonym dla ludzi niepełnosprawnych artykuł przedstawia przykładowy interfejs zaprojektowany dla osób o różnym rodzaju niesprawności i zrealizowany dla telefonów komórkowych i palmtopów z przeznaczeniem do zdalnego korzystania z systemu informacyjnego GDASKON, służącego do znajdowania trasy między dwoma punktami w terenie. Zastosowane rozwiązanie polega na odpowiedniej adaptacji...
-
MPEG-7 jako format zapisu cyfrowych dokumentów muzycznych
PublikacjaW pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę formatu MPEG7. Pokazano możliwości wynikające z zastosowania MPEG7 do cyfrowej reprezentacji dokumentów muzycznych. Zwrócono uwagę na możliwość rozszerzania standardu w celu dopasowania go do przechowywania dokumentów muzycznych zawierających pełną informację muzyczną.
-
Modelowanie budynków w interakcyjnym systemie wizualizacji terenu rzeczywistego
PublikacjaArtykuł zawiera dyskusję różnych metod opisu i prezentacji budynków w interakcyjnych systemach wizualizacji terenu rzeczywistego. Jest on wynikiem doświadczeń zebranych podczas realizacji systemu Wiz3D przeznaczonego do interakcyjnej wizualizacji terenu rzeczywistego na podstawie danych GIS. Przedstawiono wady i zalety poszczególnych rozwiązań.
-
Model jakości bibliotek cyfrowych
PublikacjaBiblioteki cyfrowe zyskują z dnia na dzień coraz większą popularność, zarówno wśród osób poszukujących, jak i udostępniających informację. Twórcy bibliotek cyfrowych, mają do zaoferowania użytkownikom coraz to bardziej zaawansowane narzędzia przeznaczone do tworzenia, przeglądania i wyszukiwania dokumentów elektronicznych. Na przestrzeni ostatnich lat ustalony został kanon podstawowych funkcji, które powinna spełniać każda biblioteka...
-
Les transducteurs à sorties variables
PublikacjaW przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...
-
Intelligent system for editing and analysis of examination documents
PublikacjaOpisano ogólną koncepcję systemu IATE - systemu do edycji i automatycznej analizy testów egzaminacyjnych. Edytor systemu umożliwia generację 4 typów testów o dowolnej liczbie pytań (do 8 stron tekstu), różnej formie udzielania odpowiedzi oraz możliwością tworzenia wariantów testu. Bardziej szczegółowo opisano wybrane fragmenty systemu: analizę nagłówka testu, edycję i organizację segmentu tworzenia wariantów testu oraz organizację...
-
Integracja Inżynierii oprogramowania, inżynierii dokumentu i inżynierii wiedzy
PublikacjaW artykule przedstawiono postępy w nowej dziedzinie inżynierii dokumentu, umożliwiające reprezentowanie i przetwarzanie informacji w postaci czytelnej równocześnie dla człowieka i komputera. Jest to nowe wyzwanie dla zmian w tradycyjnie pojmowanym cyklu życia produktu informatycznego, gdyż procesy i produkty oprogramowania stają się w sposób naturalny realizacją ludzkich przedsięwzięć.
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublikacjaAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
Gazetteer compression technique based on substructure recognition
PublikacjaAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Estetyzacja schematów blokowych
PublikacjaOmówiono potrzebę estetycznego prezentowania obiektów graficznych. Zaprezentowano kryterium pozwalające oceniać poziom estetyki schematu blokowego.
-
Cyfrowa biblioteka dokumentów muzycznych
PublikacjaW pracy przedstawiono główny cel projektu badawczego Moniuszko, będacego projektem i realizacją interaktywnej biblioteki cyfrowej dokumentów muzycznych. W pracy przedstawiono również koncepcję cyfrowego dokumentu muzycznego, a także wskazano standard MPEG-7, jako najlepiej spełniający wymogi opisu tych dokumentów. Zaproponowano rozszerzenie tego standardu o możliwość pełnego opisu bibliograficznego dokumentu muzycznego, a także...
-
Construction of a picewise-linear classifier by applaing discriminant analysis to decision tree induction
PublikacjaArtykuł prezentuje metodę konstrukcji drzew decyzyjnych. W odróżnieniu od większości popularnych algorytmów, które wybierają pojedyncze cechy do budowy reguł decyzyjnych w węzłach drzewa, ta metoda łączy wszystkie cechy. Używa ona wieloklasowego kryterium Fishera do wydzielenia nowych cech, które są liniowa kombinacją cech pierwotnych. Takie drzewa mogą aproksymować złożone regiony decyzyjne używając mniejszej liczby węzłów w porównaniu...
-
Charakterystyka środowiska Knowledge Grid
PublikacjaZorganizowanie wiedzy zgromadzonej w Internecie to współcześnie ważne zagadnienie badawcze. Artykuł opisuje środowisko Knowledge Grid i mechanizmy jego działania. Wiedza przechowywana w Knowledge Grid może zostać zorganizowana w trójwymiarową strukturę. Opracowany został również Knowledge Grid Operating Language, który jest językiem służącym do operowania na danych udostępnianych w tym środowisku. Za jego pomocą możliwe jest umieszczenia...
-
Ankietyzacja elektroniczna uczelni artystycznych
PublikacjaW pracy dokonano analizy istniejących podejść do problemu ankietyzacji. Przedstawiono problem ankietyzacji elektronicznej wyższych uczelni artystycznych pod kątem raportowania działalności twórczej ich pracowników naukowych, artystycznych i dydaktycznych. W pracy podkreślono specyfikę tych uczelni, zarówno pod kątem prowadzonej w nich działalności twórczej jak i socjotechnicznych problemów jej ankietyzacji. Przedstawiono również...
Rok 2007
-
Zastosowanie gramatyk grafowych do rozpoznawania i interpretacji diagramów
PublikacjaW pracy przedstawiono formalizm gramatyk grafowych oraz jego wykorzystanie do rozpoznawania i interpretacji złożonych dwuwymiarowych struktur. Podano przykład zastosowania gramatyki grafowej do interpretacji schematów blokowych, formułując specyficzne dla nich reguły produkcji. Pokazano też możliwość zastosowania gramatyk grafowych do wspomagania procesu rozpoznawania oraz interpretacji partytur muzycznych
-
Zapytania muzyczne do bibliotek cyfrowych
PublikacjaBiblioteki cyfrowe dokumentów muzycznych umożliwiają przechowywanie różnorodnej, multimedialnej informacji muzycznej. Oprócz opisu bibliograficznego obejmować ona może również dane w postaci nagrań dźwiękowych i wideo, obrazów partytur oraz partytur w postaci cyfrowej.W celu efektywnego wyszukiwania danych muzycznych należy stosować zapytania muzyczne. W rozdziale przedstawiono specyfikę cyfrowych bibliotek muzycznych oraz metody...
-
Wykorzystanie xml do reprezentacji cyfrowych dokumentów muzycznych
PublikacjaW bibliotekach cyfrowych dokumentów muzycznych potrzebny jest format pozwalający na wymianę danych różnego typu związanych z dokumentem muzycznym. Otwarty format XML posiada wiele zalet, które pozwalają na zastosowanie go w tej bibliotece. W rozdziale zwrócono uwagę na możliwość wykorzystania formatów MPEG-7, MARCXML oraz MusicXML do opisania różnorodnych aspektów muzyki. Połączenie wszystkich informacji związanych z dokumentem...
-
Wizualizacja partytur w środowisku internetu
PublikacjaW pracy przedstawiono problematykę wizualizacji notacji muzycznej w środowisku internetowym. Omówione zostały najważniejsze metody publikacji partytur w postaci obrazów rastrowych i wektorowych. Przedstawiono znacznikowy format opisu notacji muzycznej - MusicXML oraz format prezentacji grafiki wektorowej - SVG. Wskazano również potrzebę stworzenia i przedstawiono koncepcję oraz pierwsze testy biblioteki służącej wizualizacji partytur...
-
Usprawnienie procesu formułowania zapytań dla cyfrowej biblioteki dokumentów muzycznych
PublikacjaW pracy przedstawiono program Melody Explorer, służący jako interfejs użytkownika dla multimedialnej bazy danych (biblioteki cyfrowej)dokumentów muzycznych. Zadaniem programu jest m.in. zamiana danych wprowadzanych przez użytkownika w formie akustycznej (takiej jak śpiew, nucenie, gra na instrumencie) na zapis symboliczny w postaci notacji muzycznej. W pracy omówiono doświadczenia z dotychczasowej eksploatacji programu, zaproponowano...
-
Rozpoznawanie notacji muzycznej
PublikacjaW rozdziale przedstawiono najważniejsze problemy występujące w systemach OMR oraz przykładowe podejścia do ich rozwiązania.
-
Recognition, understanding and aestheticization of freehand drawing flowcharts
PublikacjaIn this paper a concept of FCA, a system for recognizing, understanding and aestheticization of freehand drawing flow charts is described. The system is based on a proposed by the author FlowGram graph grammar describing flow charts drawing. An open format FlowChartML for flow charts description is also proposed. The aestheticization criterion is formulated that allows for automatic beautification of flow charts. First experiments...
-
Querying the digital database of musical documents
PublikacjaW rozdziale zaprezentowano program Melody Explorer służący do formułowania zapytań dla bazy danych dokumentów muzycznych. Przedstawiono problemy związane z konwersją informacji wprowadzanych przez użytkownika na zapis nutowy. Zaproponowano ulepszenia istniejących rozwiązań mające na celu poprawę dokładności i stabilności systemu. Oprócz cyfrowego zapisu dźwięku również podany przez użytkownika rytm melodii wykorzystywany jest do...
-
Practical evaluation of the basic concepts for face localization
PublikacjaPomimo tego, że w literaturze zaproponowano wiele metod lokalizacji twarzy, a związane z nimi koncepcje teoretyczne wydają się bardzo interesujące, ich praktyczna przydatność musi dopiero zostać zweryfikowana. Ponadto, chociaż opisywane w publikacjach rozwiązania stają się coraz bardziej skomplikowane, to opierają się one wciąż na bradzo prostych pomysłach, takich jak mapy krawędzi. Dlatego też głównym celem pracy nie było zaproponowanie...
-
Poll Reader - the working prototype of optical mark recognition software
PublikacjaAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Otwarty format opisu schematów blokowych
PublikacjaW pracy zaprezentowano problem opisu zinterpretowanych rysunków wektorowych. Przedstawiono wybrane formaty do opisu rysunków wektorowych i różnorodnych struktur. Zaproponowano otwarty format FlowChartML do opisu schematów blokowych. Format ten, oparty na metajęzyku XML, pozwala nie tylko na zapis informacji o poszczególnych figurach schematu oraz ich połączeniach, ale również informacji o zinterpretowanej strukturze schematu blokowego
-
Makrogenerator translatorów MC²
PublikacjaArtykuł prezentuje stworzony przez autorów makrogenerator translatorów MC². Makrogenerator ten po otrzymaniu definicji języka staje się translatorem tego języka. Język definiuje się podając jego składnię (produkcje gramatyki zapisane w notacji BNF) oraz znaczenie poszczególnych konstrukcji składniowych tj. opis przekształceń tekstu odpowiadającego danej konstrukcji składniowej na tekst w pewnym języku bazowym (makrodefinicje)....
-
Interakcyjna wizualizacja terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublikacjaPrzedstawiono wynik jednego z zadań projektu celowego Clusterix w postaci Systemu wizualizacji trójwymiarowej terenu z punktu widzenia dynamicznego obserwatora. Opisano podstawową archtekturę systemu oraz dokonano oceny jej wydajności na przykładzie konkretnych danych satelitarnych z programu SRTM dla rejonu Gdańska.
-
Inteligentny system przetwarzania testów egzaminacyjnych ISTE
PublikacjaW pracy opisano koncepcję inteligentnego systemu ISTE służącego do edycji i automatycznej analizy testów egzaminacyjnych
-
Guido: a musical score recognition system
PublikacjaThis paper presents an optical music recognition system Guido that can automatically recognize the main musical symbols of music scores that were scanned or taken by a digital camera. The application is based on object model of musical notation and uses linguistic approach for symbol interpretation and error correction. The system offers musical editor with a partially automatic error correction.
-
Dynamiczna wizualizacja trójwymiarowa środowiska miejskiego w symulacji pojazdów szynowych
PublikacjaArtykuł opisuje koncepcje użycia dynamicznej wizualizacji trójwymiarowej w symulatorze miejskich pojazdów szynowych. Zaproponowano atrybuty obiektywizujące ocenę wizualizacji. Opisano przetestowane prototypy symulatorów: model kabiny 1:1 oraz stanowisko wirtualnej rzeczywistości.
-
Biometria - zastosowania, identyfikacja i kierunki dalszego rozwoju
PublikacjaBiometria - naturalna forma identyfikacji. W rozdziale zamieszczono opis różnych technik identyfikacji, takich jak rozpoznawanie dłoni, odcisków palców, twarzy, głosu i innych. Omówiono stosowane techniki ekstrakcji cech odpowiednich organów i kierunku dalszych badań nad poprawą własności systemów biometrycznych, które mają zasadnicze znaczenie w identyfikacji i weryfikacji osobniczej, oraz sposobów zwiększenia ich skuteczności.
-
Automatyczne odczytywanie napisów z diagnostyką ich ważności
PublikacjaPrzedstawiono koncepcję urządzenia wykrywającego i odczytującego napisy z przeznaczeniem dla osoby niewidomej. Zaprezentowano problemy jakie pojawiają się przy konstruowaniu takiego urządzenia i sposoby ich przezwyciężenia. Przedyskutowano ponadto schemat funkcjonalny oprogramowania sterującego takim urządzeniem. Dodatkowo opisano metodę badania podobieństwa figury do litery lub cyfry opartą na odwzorowaniu maksymalnego kwadratu...
-
Analiza i estetyzacja ręcznie rysowanych schematów blokowych
PublikacjaW artykule opisano koncepcję systemu do rozpoznawania, analizy i estetyzacji ręcznie rysowanych schematów blokowych. Rozumienie struktury rysunków schematów opiera się na zaproponowanej gramatyce grafowej FlowGram. Sformułowane kryterium oceny estetyki schematów blokowych pozwala na ich estetyzację. Pokazano również pierwsze eksperymenty z aplikacją realizującą zaproponowane koncepcje
-
An implementation of deterministic tree automata minimization
PublikacjaWstępujący, deterministyczny, skończony automat drzewiasty (DTA) może być używany jako struktura danych do przechowywania zbiorów nieuporządkowanych drzew bez narzuconej liczby poddrzew. Takie automaty są zwykle rzadsze niż automaty działające na napisach i dlatego należy zwrócić szczególną uwagę na ich wydajną minimalizację. W dostępnej literaturze jest jednak ciężko znaleźć proste i szczegółowe opisy procedury minimalizacji....
Rok 2008
-
Zastosowanie rozpoznawania notacji muzycznej do pozyskiwania danych w bibliotekach cyfrowych
PublikacjaBiblioteki cyfrowe dokumentów muzycznych umożliwiają przechowywanie różnorodnej, multimedialnej informacji muzycznej. Oprócz opisu bibliograficznego obejmować ona może również dane w postaci nagrań dźwiękowych i wideo, obrazów partytur oraz partytur w postaci cyfrowej. W związku z potrzebą efektywnego pozyskiwania zawartości multimedialnej biblioteki cyfrowej oraz automatycznego indeksowania przechowywanych multimediów, należy...
-
Zastosowanie MusicXML do wymiany danych oraz wizualizacji partytur
PublikacjaW rozdziale przedstawiono krótki opis standardu MusicXML. Pokazano możliwość jego zastosowania do wymiany danych pomiędzy bazą danych cyfrowych dokumentów muzycznych, a innymi aplikacjami czy bibliotekami. Zwrócono uwagę na problem wizualizacji wydobytych z bazy danych partytur cyfrowych w formacie MusicXML. Wskazano możliwość wykorzystania XML-owego standardu grafiki wektorowej SVG do wizualizacji partytur w środowisku internetu....
-
Zastosowanie metod biometrycznych
PublikacjaW pracy przedstawiono opis różnych technik identyfikacji na podstawie obrazów. Omówiono własności biometrycznych systemów identyfikacji, sposoby zwiększania ich skuteczności i kierunki dalszego rozwoju.
-
Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
PublikacjaArtykuł ma na celu przedstawienie wybranych technik optymalizacji kodu pixel shaderów w wersji 2.0. Omówiona została specyfika programowania Pixel Shaderów 2.0 oraz przedstawiony został język programowania niskopoziomowego, którego znajomość jest przydatna w procesie optymalizacji kodu pixel shaderów. Nastepnie na przykładzie Pixel Shadera realizującego efekt Screen Space Ambient Occlusion pokazane zostały wybrane metody optymalizacji...
-
Wizualizacja pomiarów z mobilnego systemu monitoringu zanieczyszczeń powietrza
PublikacjaArtykuł stanowi omówienie różnych możliwych podejść do wizualizacji pomiarów wykonywanych przez urządzenie zainstalowane na poruszającym się po mieście pojeździe. Jest on podsumowaniem nadzorowanych przez autora studenckich prac projektowych, których celem było rozpoznanie możliwości wizualizacyjnych współczesnych technologii dla potrzeb grantu badawczego pt. Mobilny system ekspertowy do badania i analizy zanieczyszczeń powietrza...
-
Using MusicXML to evaluate accuracy of OMR Systems
PublikacjaIn this paper a methodology for automatic accuracy evaluation in optical music recognition (OMR) applications is proposed. Presented approach assumes using ground truth images together with digital music scores describing their content. The automatic evaluation algorithm measures differences between the tested score and the reference one, both stored in MusicXML format. Some preliminary test results of this approach are presented...
-
Udostępnianie komponentów edukacyjnych zgodnych z układami nauczania za pośrednictwem rejestru UDDI
PublikacjaRozwój Internetu łączy się z rozwojem i rozpowszechnianiem mechanizmów nauczania na odległość. Sposób uczenia, w którym uczący zdobywa wiedzę dzięki mechanizmom Internetowym, nazywany jest e-learningiem. Dane edukacyjne to nie tylko zapisane informacje, które uczący mógłby przeczytać lub obejrzeć, to również interaktywne ćwiczenia oraz testy. Zestawy materiałów są odpowiednio dobierane do poziomu wiedzy osoby uczącej się. Jedną...
-
Tworzenie i edycja schematów blokowych
PublikacjaW artykule scharakteryzowano programy, pozwalające na tworzenie schematów blokowych, przedstawiając ich zalety i wady. Zaprezentowano stworzony edytor schematów blokowych - iESB, pozwalający na tworzenie schematów zarówno z prostych figur, jak również predefiniowanych struktur składniowych występujących na schematach. Oprócz standardowych opcji charakterystycznych dla wielu edytorów, stworzona aplikacja pozwala na określenie estetyki...
-
Progowanie obrazów diagramów
PublikacjaW artykule pokazano krótki przegląd istniejących metod progowania obrazu. Zwrócono uwagę na ich zalety i wady. Opisano problemy występujące podczas progowania obrazów. Ponieważ dostępne metody okazały się niewystarczające dla obrazów schematów blokowych oraz nut, w szczególności pozyskanych aparatem cyfrowym, zaproponowano nowy algorytm progowania lokalnego z progiem wyznaczonym w oparciu o detekcję krawędzi. Pokazano wyniki pierwszych...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublikacjaWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...
-
Perfect hashing tree automata
PublikacjaWe present an algorithm that computes a function that assigns consecutive integers to trees recognized by a deterministic, acyclic, finite-state, bottom-up tree automaton. Such function is called minimal perfect hashing. It can be used to identify trees recognized by the automaton. Its value may be seen as an index in some other data structures. We also present an algorithm for inverted hashing.Przedstawiamy algorytm, który oblicza...