Search results for: automaty pseudominimalne - Bridge of Knowledge

Search

Search results for: automaty pseudominimalne

Search results for: automaty pseudominimalne

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

  • A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata

    Publication

    We describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...

    Full text to download in external service

  • Incremental and pseudo-incremental construction of pseudo-minimal automata.

    Publication

    - Year 2006

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

    Full text to download in external service

  • Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata

    Publication

    - Year 2005

    Przedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....

  • Les transducteurs à sorties variables

    Publication

    - Year 2006

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

    Full text to download in external service

  • Optimization of Automata

    Publication

    - Year 2014

    This book is conceived as an effort to gather all algorithms and methods developed by the author of the book that concern three aspects of optimization of automata: incrementality, hashing and compression. Some related algorithms and methods are given as well when they are needed to complete the picture.

  • The Effectiveness of Semi-Automated and Fully Automatic Segmentation for Inferior Alveolar Canal Localization on CBCT Scans: A Systematic Review

    Publication
    • J. Issa
    • R. Olszewski
    • M. Dyszkiewicz-Konwińska

    - International Journal of Environmental Research and Public Health - Year 2022

    Full text to download in external service

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

  • Preserving Trees in Automata

    Publication

    - Year 2015

    We present a method to store additional information in a minimal automaton so that it is possible to compute a corresponding tree node number for a state. The number can then be used to retrieve additional information. The method works for minimal (and any other) deterministic acyclic finite state automata (DFAs). We also show how to compute the inverse mapping.

    Full text to download in external service

  • Automaty jako narzędzia w przetwarzaniu języka

    Publication

    - Year 2011

    Rozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.

  • 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

  • A new library for construction of automata

    Publication

    - Year 2017

    We present a new library of functions that construct minimal, acyclic, deterministic, finite-state automata in the same format as the author's fsa package, and also accepted by the author's fadd library of functions that use finite-state automata as dictionaries in natural language processing.

  • Katedra Automatyki.

    Przedstawiono zarys historii oraz działalności naukowo-badawczej i dydaktycznej Katedry Automatyki Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej.

  • Katedra Automatyki.

    Publication

    - Year 2004

    Informacja o Katedrze Automatyki WEiA PG.

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

  • Smaller Representation of Finite State Automata

    Publication

    This paper is a follow-up to Jan Daciuk's experiments on space-effcient finite state automata representation that can be used directly for traversals in main memory. We investigate several techniques of reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve a gain of around 20-30%...

    Full text to download in external service

  • Smaller representation of finite state automata

    Publication

    - THEORETICAL COMPUTER SCIENCE - Year 2012

    This paper is a follow-up to Jan Daciuk's experiments on space-efficient finite state automata representation that can be used directly for traversals in main memory (Daciuk, 2000)[4]. We investigate several techniques for reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve...

    Full text available to download

  • Incremental construction of finite-state automata

    Publication

    - Year 2013

    Rozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.

    Full text to download in external service

  • Building a Nest by an Automaton

    Publication

    - Year 2019

    A robot modeled as a deterministic finite automaton has to build a structure from material available to it. The robot navigates in the infinite oriented grid $Z x Z$. Some cells of the grid are full (contain a brick) and others are empty. The subgraph of the grid induced by full cells, called the {\em field}, is initially connected. The (Manhattan) distance between the farthest cells of the field is called its {\em span}. The robot...

    Full text to download in external service

  • Dynamic Perfect hashing with finite-state automata

    Publication

    - Year 2005

    Minimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....

  • Finite automata for compact representation of tuple dictionaries.

    Publication

    - THEORETICAL COMPUTER SCIENCE - Year 2004

    Opisane zostaje uogólnienie struktury danych - słownika, zwane słownikiem n-tek. Słownik n-tek przedstawia odwzorowanie n-tek łańcuchów znaków na pewne wartości. Motywacją dla powstania tej struktury danych są praktyczne zastosowania w przetwarzaniu języka i mowy, w których obszerne słowniki n-tek używane są do przedstawiania modeli języka. Przedstawiona zostaje technika oszczędnej reprezentacji słowników n-tek. Ta technika...

    Full text available to download

  • Complexity of weak acceptonic conditions in tree automata

    Publication

    - INFORMATION PROCESSING LETTERS - Year 2002

    Rozważano złożoność problemu pustości dla automatów na drzewach ze słabymi warunkami akceptowalności. Rozważano także translacje pomiędzy słabymi i silnymi warunkami akceptowalności.

  • 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

  • Natural language dictionaries implemented as finite automata

    Publication

    - Year 2010

    Rozdział przedstawia wykorzystanie automatów skończonych jako słowników języka naturalnego. Podane są podstawy teoretyczne. Omówione są zastosowania: realizacja doskonałej funkcji mieszającej, analizy i syntezy morfologicznej, poprawiania pisowni i dopisywania znaków diakrytycznych, wydobywanie informacji. Podano algorytmy tworzenia automatów oraz omówiono sposoby reprezentacji automatów z uwzględnieniem kompresji.

    Full text to download in external service

  • Application of a cellular automata model to granular flow

    Publication

    Przedstawiono wyniki modelowania przepływów granulowanych przy zastosowaniu automatu komórkowego. Obliczenia wykonano dla silosów ze wstawkami i ścianką szczelną. Przyjęto różne schematy propagacji ziaren.

    Full text available to download

  • Uniwersalny automat do układania rozkładów zajęć.

    Publication
    • T. Witkowski

    - Year 2004

    W atrykule został opsany uniwersalny automat do układania rozkładów zajęć, dzięki któremu można tworzyć harmonogramy nawet w złożonych sytuacjach. Podany jest również wynik testów dla rzeczywistych danych.Opracowany program jest w pełni funkcjonalną aplikacją demonstrujacą mozliwości algorytmu. Program jest rozwijany i ulepszany.

  • Finite automata for compact representation of language models in NLP

    Publication

    Przedstawiona zostaje technika reprezentacji modeli języka w przetwarzaniu języka naturalnego wymagająca mało pamięci. Po krótkim omówieniu przyczyn poszukiwania oszczędnej reprezentacji takich modeli języka, pokazane jest, jak automaty skończone mogą być użyte w tym celu. Technika może być postrzegana jako zastosowanie i rozszerzenie doskonałej funkcji mieszającej z wykorzystaniem automatów skończonych. Pierwsze doświadczenia...

  • Analysis of elementary cellular automata using the theory of conflict

    The paper contains decomposition of elementary cellular automata (ECA in short) to subsystems that are defined according to a new theory called theory of conflict (ToC in short). The decomposition is a completely new approach to analysis of ECA and complex systems in general.

  • Automatic Tracking with PTZ Cameras

    Publication

    - Year 2009

  • Struktura informacyjna systemu automatyki

    Publication

    - Year 2005

    W złożonym obiekcie sterowania takim jak oczyszczalnia ścieków, znajduje się wiele rozmaitych informacji: dane dotyczące wielkości procesowych pochodzące z pomiarów, dane technologiczne określające wymogi stawiane systemowi automatyki, dane sterujące urządzeniami realizującymi algorytmy sterowania, stany poszczególnych urządzeń w systemie, informacje o pogodzie, o zakłóceniach pracy ekonomiczne itp.

  • Rozmyta adaptacyjna automatyka ociążająca

    Publication

    - Year 2003

    ...

  • Automated network control and supervision

    Przedstawiono ogólne problemy związane z postępem w zakresie integracji systemów informatycznych w elektroenergetyce. Podano zasady budowy struktury systemów sterowania i nadzoru.

  • State of the Art of Automated Buses

    Publication
    • J. Ainsalu
    • V. Arffman
    • M. Bellone
    • M. Ellner
    • T. Haapamäki
    • N. Haavisto
    • E. Josefson
    • A. Ismailogullari
    • E. Pilli-sihvola
    • O. Madland... and 13 others

    - Sustainability - Year 2018

    Urban transportation in the next few decades will shift worldwide towards electrification and automation, with the final aim of increasing energy efficiency and safety for passengers. Such a big change requires strong collaboration and efforts among public administration, research and stakeholders in developing, testing and promoting these technologies in the public transportation. Working in this direction, this work provides...

    Full text available to download

  • Automatic tagging of musical files

    Publication

    - Year 2011

    Celem niniejszej pracy jest zbadanie możliwości automatycznego tagowania utworów muzycznych z wykorzystaniem systemu śledzenia punktu fiksacji wzroku użytkownika. Badania przeprowadzono z udziałem dwudziestu osób o różnym doświadczeniu muzycznym. Zadaniem badanej osoby było wskazanie odpowiedzi na pytania zawarte w ankiecie internetowej, która pozwala na określenie cech utworów muzycznych, takich jak: tempo, dynamika, gatunek....

  • Śmiech w ogrodzie, czyli o tym jak automaty rozśmieszały ogrodowych gości

    Publication

    - Year 2005

    Artykuł przywołuje historię automatów hydraulicznych umieszczanych w ogrodach w celu rozśmieszania gości. Przeprowadza czytelnika poprzez zawiłości związane z ich budową i analizuje reakcje jakie wywoływały u bywalców ogrodów od Starożytności poprzez Średniowiecze i Renesans aż do XVIII wieku.

  • Two-dimensional rotation-symmetric number-conserving cellular automata

    Publication

    - Year 2021

  • Extension of selected ADFA construction algorithms to the case of cyclic automata.

    Publication

    - Year 2004

    W niedawnym artykule Rafael Carrasco i Mikel Forcada przedstawiają przyrostowy algorytm dodawania słów do minimalnego, acyklicznego automatu skończonego. Ten algorytm jest uogólnieniem przyrostowego algorytmu tworzenia acyklicznych deterministycznych automatów skończonych (ADFAs). Przedstawiamy podobne uogólnienia dwóch innych algorytmów tworzenia ADFAs. Chociaż te ougólnienia zostały już opublikowane w maju i czerwcu 2004 r.,...

  • The method of quantitative automatic metallographic analysis

    Publication
    • N. Martyushev
    • V. Skeeba

    - Journal of Physics : Conference Series - Year 2017

    Full text to download in external service

  • Automatic feature extraction for linear systems.

    Publication

    - Year 2004

    Praca przedstawia eksperymenty pokazujące istnienie uniwersalnego ekstraktora cech dla ograniczonego obszaru w przestrzeni parametrów systemu liniowego. System liniowy pobudzony był szumem o rozkładzie normalnym na wejściu. Zastosowano ewolucyjne metody poszukiwania ekstraktora w oparciu o jakość klasyfikacji sygnałów w dziedzinie cech wydobytych przez ekstraktor.

  • Automatic evaluation of sound separation quality

    Publication

    W publikacji tej opisano problem oceny efektywności algorytmów separacji dźwięków muzycznych. Standardowa procedure służąca do takiej oceny nie istnieje. Najbardziej uzasadnionym podejściem wydają się być odsłuchowe testy subiektywne. Niemniej, aby taka ocena była wartościowa, niezbędna jest porządna walidacja statystyczna wyników, co oznacza iż grupa ekspertów powinna być duża oraz właściwości akustyczne pomieszczenia. Ponadto...

  • Automatic classification of singing voice quality

    Publication

    - Year 2005

    W artykule przedstawiono zagadnienia związane z automatyczną klasyfikacją jakości i rodzajów głosów śpiewaczych. Na potrzebę takiej klasyfikacji stworzono bazę głosów śpiewaczych, w której dokonano parametryzacji nagrań samogłosech śpiewanych przez różnych wokalistów (zarówno profesjonalistów jak i amatorów) na różnych wysokościach i z różną głośnością. W celu ograniczenia wymiaru wektora opisu zastosowano statystykę Behrensa Fishera...

  • Automatic retrieval of musical rhythmic patterns.

    Publication

    - Year 2005

    Obecnie stosowane technologie pozwalają na wyszukiwanie muzyki w zasobach Internetowych w oparciu o reprezentację melodyczną. W referacie przedstawiono problemy związane z wyszukiwaniem cech rytmicznych utworów muzycznych i pokazano stosowane metody umożliwiające automatyczne określanie rytmu.

  • Wybrane aktualne zagadnienia automatyki turbin.

    Dokonano przeglądu problematyki automatyki turbin, nawiązując do sytuacji w polskim przemyśle i elektroenergetyce. Na tym tle przedstawiono niektóre wyniki badań dotyczących sterowania tzw. układów kombinowanych turbina gazowa turbina parowa oraz tłokowy silnik spalinowy turbina gazowa, których zastosowanie rozwinęło się w ostatnich latach.

  • Automated CAD of coupled resonator filters

    Gradientowa metoda optymalizacji wraz z nową definicją funkcji celu opartą na rozkładzie biegunów oraz zer funkcji transmitancji obwodu, została zastosowana do pełnofalowej syntezy filtrów falowodowych pasmowo-przepustowych. Ekstrakcja biegunów wykonywana jest w oparciu metodę Cauchyłego. Przestawiona technika pozwana na znalezienie wymiarów geometrycznych struktur filtrujących o zadanej topologii bez konieczności wcześniejszej...

  • System for automatic singing voice recognition

    W artykule przedstawiono system automatycznego rozpoznawania jakości i typu głosu śpiewaczego. Przedstawiono bazę danych oraz zaimplementowane parametry. Algorytmem decyzyjnym jest algorytm sztucznych sieci neuronowych. Wytrenowany system decyzyjny osiąga skuteczność ok. 90% w obydwu kategoriach rozpoznawania. Dodatkowo wykazano przy pomocy metod statystycznych, że wyniki działania systemu automatycznej oceny jakości technicznej...

  • Automatic sound recognition for security purposes

    Publication

    - Year 2008

    In the paper an automatic sound recognition system is presented. It forms a part of a bigger security system developed in order to monitor outdoor places for non-typical audio-visual events. The analyzed audio signal is being recorded from a microphone mounted in an outdoor place thus a non stationary noise of a significant energy is present in it. In the paper an especially designed algorithm for outdoor noise reduction is presented,...

  • Text classifiers for automatic articles categorization

    Publication

    The article concerns the problem of automatic classification of textual content. We present selected methods for generation of documents representation and we evaluate them in classification tasks. The experiments have been performed on Wikipedia articles classified automatically to their categories made by Wikipedia editors.

  • Improving automatic surveillance by sound analysis

    Publication

    An automatic surveillance system, based on event detection in the video image can be improved by implementing algorithms for audio analysis. Dangerous or illegal actions are often connected with distinctive sound events like screams or sudden bursts of energy. A method for detection and classification of alarming sound events is presented. Detection is based on the observation of sudden changes in sound level in distinctive sub-bands...

  • Towards automatic classification of Wikipedia content

    Artykuł opisuje podejście do automatycznej klasyfikacji artykułów w Wikipedii. Przeanalizowane zostały reprezentacje tekstu bazujące na treści dokumentu i wzajemnych powiązaniach. Przedstawiono rezultaty zastosowania klasyfikatora SVM.

  • Automatic audio-visual threat detection

    Publication

    - Year 2010

    The concept, practical realization and application of a system for detection and classification of hazardous situations based on multimodal sound and vision analysis are presented. The device consists of new kind multichannel miniature sound intensity sensors, digital Pan Tilt Zoom and fixed cameras and a bundle of signal processing algorithms. The simultaneous analysis of multimodal signals can significantly improve the accuracy...