Katedra Inżynierii Wiedzy - Administrative Units - Bridge of Knowledge

Search

Katedra Inżynierii Wiedzy

Filters

total: 143

  • Category
  • Year
  • Options

clear Chosen catalog filters disabled

Catalog Publications

  • Fast Distance Vector Field Extraction for Facial Feature Detection
    Publication

    Praca dotyczy metody lokalizowania cech twarzy z wykorzystaniem wektorowych pól odległości (DVF), zaproponowanej przez Asteriadisa. Zawiera skrótowy opis tej koncepcji oraz prezentuje ulepszenia wprowadzone przez autorów do oryginalnego rozwiązania. Główną zaletą wprowadzonych zmian jest znacznie zredukowana złożoność obliczeniowa algorytmu, jak również zwiększona precyzja wektorowego pola odległości wyznaczanego w wyniku jego...

  • Distributed MIND - A New Processing Model Based on Mobile Interactive Documents

    Obliczenia w trybie zespołowym pozwalają na integrację działań ludzi i agentów systemowych w otwartym środowisku rozproszonym w celu rozwiązywania problemów formułowanych dynamicznie w trakcie pracy systemu. Problemy te najczęściej nie mają charakteru algorytmicznego, tzn. generowane rozwiązania nie mogłyby zostać wyliczone w skończonej liczbie kroków na podstawie danych charakteryzujących uczestników obliczeń. Autorzy proponują...

  • Workflow patterns applicable to virtual knowledge-based organizations

    Workflow is a term specifying how to automate a business process, in whole or part during which documents, information or tasks are passed from one participant to another for action, according to a set of procedural rules. Workflow is therefore directly applicable in virtual knowledge-based organizations, where information is exchanged via electronic documents. In the literature, is presented a complete list of workflow control-flow...

  • Agent System for Managing Distributed Mobile Interactive Documents

    The MIND architecture of distributed mobile interactive document is a new processing model defined for facilitate informed decision-making in non-algorithmic decision-making processes carried out by knowledge-based organizations. The aim of this architecture is to change the static document to mobile agents, which are designed to implement the structure of the organization through autonomous migration between knowledge workers...

  • Modular machine learning system for training object detection algorithms on a supercomputer
    Publication

    - Year 2010

    W pracy zaprezentowano architekturę systemu służącego do tworzenia algorytmów wykorzystujących metodę AdaBoost i służących do wykrywania obiektów (np. twarzy) na obrazach. System został podzielony na wyspecjalizowane moduły w celu umożliwienia łatwej rozbudowy i efektywnego zrównoleglenia implementacji przeznaczonej dla superkomputera. Na przykład, system może być rozszerzony o nowe cechy i algorytmy ich ekstrakcji bez konieczności...

  • Zapytania muzyczne do bibliotek cyfrowych
    Publication

    - Year 2007

    Biblioteki 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...

  • Wizualizacja partytur w środowisku internetu

    W 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...

  • Analiza i estetyzacja ręcznie rysowanych schematów blokowych
    Publication

    - Year 2007

    W 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

  • Model jakości bibliotek cyfrowych

    Biblioteki 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...

  • Otwarty format opisu schematów blokowych

    W 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

  • Rozpoznawanie notacji muzycznej
    Publication

    - Year 2007

    W rozdziale przedstawiono najważniejsze problemy występujące w systemach OMR oraz przykładowe podejścia do ich rozwiązania.

  • Zastosowanie gramatyk grafowych do rozpoznawania i interpretacji diagramów

    W 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

  • Construction of a picewise-linear classifier by applaing discriminant analysis to decision tree induction
    Publication

    - Year 2006

    Artykuł 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...

  • Wykorzystanie xml do reprezentacji cyfrowych dokumentów muzycznych
    Publication

    - Year 2007

    W 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...

  • Biometria - zastosowania, identyfikacja i kierunki dalszego rozwoju
    Publication

    - Year 2007

    Biometria - 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.

  • Interakcyjna wizualizacja terenu rzeczywistego wykorzystująca klaster obliczeniowy

    Przedstawiono 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.

  • Dynamiczna wizualizacja trójwymiarowa środowiska miejskiego w symulacji pojazdów szynowych
    Publication

    - Year 2007

    Artykuł 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.

  • Inteligentny system przetwarzania testów egzaminacyjnych ISTE
    Publication

    - Year 2007

    W pracy opisano koncepcję inteligentnego systemu ISTE służącego do edycji i automatycznej analizy testów egzaminacyjnych

  • Metodologia i techniki programowania
    Publication

    - Year 2008

    Książka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....

  • An implementation of deterministic tree automata minimization
    Publication

    - Year 2007

    Wstę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....

  • Poll Reader - the working prototype of optical mark recognition software
    Publication

    - Year 2007

    Automatyczne 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...

  • Usprawnienie procesu formułowania zapytań dla cyfrowej biblioteki dokumentów muzycznych

    W 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...

  • Querying the digital database of musical documents
    Publication

    W 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...

  • Zastosowanie MusicXML do wymiany danych oraz wizualizacji partytur
    Publication

    - Year 2008

    W 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 rozpoznawania notacji muzycznej do pozyskiwania danych w bibliotekach cyfrowych
    Publication

    - Year 2008

    Biblioteki 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...

  • Progowanie obrazów diagramów

    W 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...

  • Makrogenerator translatorów MC²

    Artykuł 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)....

  • Tworzenie i edycja schematów blokowych

    W 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...

  • Automatyczne odczytywanie napisów z diagnostyką ich ważności
    Publication

    - Year 2007

    Przedstawiono 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...

  • Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
    Publication

    - Year 2008

    We 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...

  • Udostępnianie komponentów edukacyjnych zgodnych z układami nauczania za pośrednictwem rejestru UDDI
    Publication

    - Year 2008

    Rozwó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ą...

  • Klasyfikacja segmentów obrazu na litery i nielitery

    Artykuł przedstawia metody oceny podobieństwa figur do liter opracowane dla potrzeb urządzenia do lokalizacji i odczytu napisów z przeznaczeniem dla osób niewidomych. Ocena dotyczy kształtów segmentów znajdowanych na obrazie zawierającym potencjalny tekst (np. witryna sklepu, drzwi z wizytówką, autobus z numerem linii). Celem tej oceny jest wyodrębnienie segmentów obrazu reprezentujących tekst i przekazanie ich do systemu rozpoznawania...

  • Wizualizacja pomiarów z mobilnego systemu monitoringu zanieczyszczeń powietrza

    Artykuł 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...

  • Moniuszko - interaktywna biblioteka cyfrowa dokumentów muzycznych
    Publication

    - Year 2008

    W pracy przedstawiono wyniki i wnioski z realizacji interaktywnej biblioteki cyfrowej dokumentów muzycznych zrealizowanej w ramach projektu badawczego przez zespół pracowników Politechniki Gdańskiej i Akademii Muzycznej w Gdańsku. W szczeólności przedstawiona została architektura biblioteki Moniuszko, jej funkcjonalność, pierwsze opinie użytkowników oraz kierunki dalszych badań.

  • Automatic evaluation of information credibility in Semantic Web and Knowledge Grid
    Publication

    - Year 2008

    This article presents a novel algorithm for automatic estimation of information credibility. It concerns information collected in Knowledge Grid and Semantic Web. Possibilities to evaluate the credibility of information in such structures are much greater than those available for WWW sites which use natural language. The rating system presented in this paper estimates credibility automatically on the basis of the following metrics:...

  • Letters detection in the photograph
    Publication

    - Year 2008

    Urządzenie do lokalizacji i odczytu napisów z przeznaczeniem dla osób niewidomych może wykorzystywać standardowe systemy rozpoznawania znaków OCR (ang. Optical Character Recognition). Niestety ze względu na złożoność scen w terenie systemy takie nie potrafią analizować zdjęć bezpośrednio. Zdjęcia przed uruchomieniem systemu OCR wymagają przetworzenia polegającego na segmentacji i wyszukaniu segmentów podobnych do liter. Podejście...

  • Charakterystyka środowiska Knowledge Grid

    Zorganizowanie 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...

  • Biblioteki cyfrowe jako złożone przedsięwzięcie informatyczne
    Publication

    - Year 2008

    Biblioteki cyfrowe (BC) zwane 'repozytoriami wiedzy' to złożone systemy informatyczne tworzone przy współpracy informatyków z bibliotekarzami. Dzięki nowoczesnym technologiom służą do przechowywania zarówno zdigitalizowanych, jak i elektronicznych obiektów w dowolnym formacie. Artykuł ten jest częścią badań projektu realizowanego w Bibliotece Muzycznej Dokumentów Muzycznych dotyczącego jakości bibliotek cyfrowych. Model jakości...

  • Perfect hashing tree automata
    Publication

    - Year 2008

    We 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...

    Full text to download in external service

  • Hardware accelerated thin client for virtual reality applications

    Thin client applications often make minimal use of hardware available at the client side. This article focuses on the problem of creating portable thin client application for virtual reality applications, which allows use of client graphics hardware to aid rendering process. Some already available potential solutions are presented and entirely new protocol for client-server communication is presented to allow fast and reliable...

  • Aestheticization of Flowcharts
    Publication

    - Year 2008

    One of the important issues of diagrams is their aesthetics. In this paper a method of its formalization for freehand drawn flowcharts is proposed. In order to formalize the evaluation of flowcharts' aesthetics a criterion consisting of several measures is proposed. Based on this criterion the algorithms for automatic optimization of flowcharts' appearance are proposed.

  • Zaawansowane techniki optymalizacji Pixel Shaderów 2.0
    Publication

    - Year 2008

    Artykuł 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...

  • Efficiency of interactive terrain visualization with a PC-cluster
    Publication

    - Year 2008

    W artykule przedstawiono wyniki jednego z zadań krajowego projektu CLUSTERIX, poświęconego opracowaniu wydajnej aplikacji do interaktywnej wizualizacji terenu z rzeczywistych danych przestrzennych. Szczególną uwagę poświęcono praktycznym aspektom wykorzystania klastrów obliczeniowych w zastosowaniach ściśle graficznych.

    Full text to download in external service

  • Using MusicXML to evaluate accuracy of OMR Systems
    Publication

    - Year 2008

    In 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...

  • Identyfikacja na podstawie pisma i tekstu
    Publication

    - Year 2008

    W pracy zamieszczono opis różnych technik identyfikacji tożsamości na podstawie pisma, tekstu i podpisów. Omówiono algorytmy ekstrakcji cech niezbędne do wykonania operacji rozpoznawania. Opisane systemy biometryczne odgrywają dużą rolę w identyfikacji i weryfikacji osobniczej.

  • GDI+. Nowe możliwości podsystemu graficznego Microsoft Windows
    Publication

    - Year 2008

    W pracy przedstawiono krótką charakterystykę GDI+, podsystemu graficznego dostępnego w nowych wersjach Microsoft Windows. Omówiono najważniejsze ulepszenia wprowadzone w stosunku do oryginalnego GDI oraz problemy techniczne związane ze stosowaniem GDI+, podano również wyniki własnych testów wydajnościowych nowej technologii.

  • Języki formalne, automaty i translatory
    Publication

    - Year 2008

    Książka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...

  • Zastosowanie metod biometrycznych
    Publication

    - Year 2008

    W 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.

  • Interfejs do algorytmu Clustering by Directions ułatwiający formułowanie zapytań w wyszukiwarkach internetowych
    Publication

    - Year 2009

    Rozdział dotyczy tworzenia zapytań w wyszukiwarkach internetowych. Opisuje sposoby wspierania użytkowników wyszukiwarek w formułowaniu zapytań. Ponadto opisuje zasadę działania opracowanego przez autora algorytmu Clustering by Directions. Algorytm ten przeznaczony jest do wskazywania użytkownikom potencjalnych kierunków, w których mogą kontynuować wyszukiwanie. Kierunki są reprezentowane przez wyrazy, które użytkownik może dodawać...

  • Incremental construction of Minimal Tree Automata [online]
    Publication

    - ALGORITHMICA - Year 2009

    We describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections...

    Full text to download in external service