Department of Intelligent Interactive Systems - Administrative Units - Bridge of Knowledge

Search

Department of Intelligent Interactive Systems

Filters

total: 156

  • Category
  • Year
  • Options

clear Chosen catalog filters disabled

Catalog Publications

  • Guido: a musical score recognition system
    Publication

    - Year 2007

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

  • Eye Blink Based Detection of Liveness in Biometric Authentication Systems Using Conditional Random Fields
    Publication

    - Year 2012

    The goal of this paper was to verify whether the conditional random fields are suitable and enough efficient for eye blink detection in user authentication systems based on face recognition with a standard web camera. To evaluate this approach several experiments were carried on using a specially developed test application and video database.

  • Fisher sequential classifiers
    Publication

    W artykule zproponowano wieloklasowe uogólnione kryterium Fishera. zaproponowano trzy warianty sekencyjneg uczenia, które zilustrowano przykładami.

  • A robust detector for distorted music staves
    Publication

    - Year 2005

    .

  • Recognition, understanding and aestheticization of freehand drawing flowcharts
    Publication

    - Year 2007

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

  • Generalized adaptive notch smoothers for real-valued signals and systems

    Systems with quasi-periodically varying coefficients can be tracked using the algorithms known as generalized adaptive notch filters (GANFs). GANF algorithms can be considered an extension, to the system case, of classical adaptive notch filters (ANFs). We show that estimation accuracy of the existing algorithms, as well as their robustness to the choice of design parameters, can be considerably improved by means of compensating...

    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

  • On tracking properties of real-valued generalized adaptive notch filters

    Generalized adaptive notch filters (GANFs) are used for identification/tracking of quasi-periodically varying dynamic systems and can be considered an extension, to the system case, of classical adaptive notch filters. The paper presents results of local performance analysis of a real-valued GANF algorithm, i.e., algorithm designed to track parameters of a real-valued system. This is an extension of the previous work which focused...

    Full text to download in external service

  • Recognition of Hand Drawn Flowcharts
    Publication

    - Year 2013

    In this paper the problem of hand drawn flowcharts recognition is presented. There are described two attitudes to this problem: on-line and off-line. A concept of FCE, a system for recognizing and understanding of freehand drawn on-line flow charts on desktop computer and mobile devices is presented. The first experiments with the FCE system and the planes for future are also described.

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

  • Generalized adaptive notch filters with frequency debiasing for tracking of polynomial phase systems
    Publication

    Generalized adaptive notch filters are used for identification/tracking of quasi-periodically varying dynamic systems and can be considered an extension, to the system case, of classical adaptive notch filters. For general patterns of frequency variation the generalized adaptive notch filtering algorithms yield biased frequency estimates. We show that when system frequencies change slowly in a smooth way, the estimation bias can...

    Full text available to download

  • Conformance testing of parallel languages

    Przedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.

  • Real terrain visualisation with a distributed PC-cluster
    Publication

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

    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

  • A simple model for automated negotiations over collaboration agreements in ebXML
    Publication

    Poważnym ograniczeniem w upowszechnianiu standardu ebXML(elektronicznego obiegu dokumentów)jest możliwość występowania konfliktu pomiędzy partnerami transakcji. W artykule zaproponowano prosty mechanizm umożliwiający rozstrzyganie takich konfliktów w drodze automatycznie realizowanych negocjacji, którego wdrożenie pozwoli znacznie rozszerzyć zakres stosowania standardu ebXML.

  • 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

  • Exploring contexts of use of cultural objects in virtual museums
    Publication

    - Year 2008

    This paper presents a system which facilitates discovering knowledge about cultural objects. The system is based on semantic modeling of a virtual museum which consists of cultural objects placed in a virtual 3D space. The article describes an extension to the concept of cultural objects which includes information on the use of these objects. This extension enables to place objects in an appropriate context in a virtual museum....

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

  • Synteza i analiza wieloetapowego klasyfikatora Fishera.**2002 s. 108, rys.,tab. w rozdz. bibliogr. 92 poz. maszyn. Rozprawa doktorska (08.07.2002) Promotor: doc. dr hab. inż. Witold Malina
    Publication

    - Year 2002

    .

  • Rozpoznawanie drukowanej notacji muzycznej z wykorzystaniem bezkonteksto-wych gramatyk atrybutowych.**2002, 139 s. 65 rys. 9 tab. bibliogr. 170 poz. maszyn. Rozprawa doktorska /15.07.2002/ Wydz. ETI. Promotor: doc. dr hab. inż. W. Malina.
    Publication

    - Year 2002

    .

  • Od projektu do programu
    Publication

    - Year 2002

    Praca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.

  • Środowiska wspierające (narzędzia CASE)
    Publication

    - Year 2002

    Praca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.

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

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

  • Negocjacyjny model weryfikacji wiedzy w wirtualych zespołach roboczych
    Publication

    - Year 2005

    zaproponowano medel interakcji dwukierunkowej oparty na negocjacjach i przeznaczony do rozwiązywania problemów związanych z akwizycją zasobów ludzkich (eksperckich) dla potrzeb rozproszonych systemów decyzyjnych i diagnostycznych, szczególnie systemów zarządzania sytuacjami kryzysowymi. Uzyskane wyniki eksperymentalne potwierdzają adekwatność przyjętego modelu, którego wdrożenie w formie usługi sieciowej jest planowane w przyszłości.

  • Detekcja pięciolinii metodą lokalnego rzutowania
    Publication

    - Year 2005

    W pracy przedstawiono istniejące podejścia do detekcji pięciolinii, będącej podstawowym etapem segmentacji w procesie rozpoznawania notacji muzycznej. Przedstawiony został również własny algorytm detekcji pięciolinii, bazujący na rzutowaniu poziomym w lokalnych oknach, analizie tak powstałych histogramów (rzutów) oraz aproksymacji linii pięciolinii krzywymi drugiego stopnia. Przeprowadzone badania potwierdziły wysoką skuteczność...

  • Model osobistej wirtualnej biblioteki cyfrowej
    Publication

    - Year 2005

    Szybki rozwój Internetu umożliwiający publikowanie i czytanie artykułów online w skali globalnej, uzasadnia tworzenie bibliotek cyfrowych jako repozytoriów wiedzy. Ich rozwój napotyka jednak na liczne bariery natury psychologicznej, organizacyjnej i technologicznej. W artykule przedstawimy propozycje ich przełamania z punktu widzenia doświadczeń Biblioteki Głównej Politechniki Gdańskiej. W szczególności skoncentrujemy się na modelu...

  • Formaty zapisu cyfrowych dokumentów muzycznych
    Publication

    - Year 2005

    W pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki występujących w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę istniejących formatów zapisu danych muzycznych oraz wybrane cyfrowe formaty muzyczne. Przedstawiono również propozycję stworzenia uniwersalnego formatu opisu danych muzycznych w oparciu o istniejący standard MPEG-7.

  • Interaktywna biblioteka cyfrowa dokumentów muzycznych
    Publication

    - Year 2005

    W pracy przedstawiono założenia projektowe i uwarunkowania prawne interaktywnej biblioteki cyfrowej dokumentów muzycznych, realizowanej w ramach projektu badawczego przez zespół pracowników Politechniki Gdańskiej i Akademii Muzycznej w Gdańsku. W pracy przedstawiono pojęcie cyfrowego dokumentu muzycznego oraz jego cykl życia. Określona została również pożądana funkcjonalność biblioteki cyfrowej takich dokumentów, z uwzględnieniem...

  • Modelowanie dróg w interakcyjnym systemie wizualizacji terenu rzeczywistego
    Publication

    Artykuł zawiera dyskusję różnych metod opisu dróg i obiektów o podobnej strukturze (tory kolejowe, linie energetyczne, rzeki, itp.) w interakcyjnych systemach wizualizacji terenu rzeczywistego. Przedstawiono ponadto dwie możliwości integracji dróg z terenem w takich systemach. Wskazano wady i zalety poszczególnych rozwiązań.

  • Simple measure of typewriter prints quality
    Publication

    - Year 2005

    Artykuł przedstawia opracowaną przez autora metodę określania kształtu zaadaptowaną do szacowania jakości znaków uzyskiwanych na maszynie do pisania. Metoda ta bazuje na statystycznej analizie odwzorowania maksymalnego kwadratu (ang. Maximal Square Map) opisanej w szczegółach w artykule. Metodę opracowano celem szacowania jakości komputerowo wspomaganego pozyskiwania informacji z archiwalnych maszynopisów.

  • Interakcyjny system wizualizacji terenu rzeczywistego na podstawie danych GIS
    Publication

    Artykuł przedstawia koncepcję interakcyjnego systemu Wiz3D służącego do wizualizacji terenu rzeczywistego na podstawie danych pochodzących z Geograficznych Systemów Informacyjnych GIS (ang. Geographical Information Systems). Ze względu na złożoność i różnorodność formatów oraz niedokładność przechowywanych danych geograficznych system taki przed generacją obrazu powinien dokonywać konwersji danych z formatów GIS na postać dogodną...

  • Interfejs urządzenia wykrywającego i odczytującego napisy dla osoby niewidomej

    Zadaniem projektowanego urządzenia wykrywającego i odczytującego napisy jest umożliwienie niewidomemu samodzielnego rozpoznawania treści napisów i w konsekwencji wyboru właściwego tramwaju, sklepu, ulicy czy pokoju w urzędzie. Urządzenia takiego nie można sobie oczywiście wyobrazić bez zastosowania nowoczesnych metod przetwarzania i rozpoznawania obrazów. Najlepsze jednak metody nie dadzą oczekiwanych rezultatów, o ile urządzenie...

  • Laboratorium Zanurzonej Wizualizacji Przestrzennej
    Publication

    - Year 2020

    W opracowaniu opisano Laboratorium Zanurzonej Wizualizacji Przestrzennej, jego wyposażenie, potencjał i zastosowania.

    Full text to download in external service

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

  • Ewolucyjny dobór funkcji jądra SVM wspólnego dla zbioru podobnychzadań klasyfikacyjnych
    Publication

    - Year 2005

    Praca przedstawia ewolucyjną metodę kształtowania funkcji jądra wmetodzie SVM wspólnego dla zbioru podobnych zadań klasyfikacyjnych(z tej samej dziedziny) z wykorzystaniem aproksymatora neuronowego.Pokazano możliwość wbudowania funkcji ekstrakcji cech do funkcji jądraSVM za pomocą prostego łączenia aproksymatorów standardowej funkcjijądra i ekstraktora. Opisane zostały również teoretyczne podstawy metodywektorów wspierających (SVM).

  • Integracja Inżynierii oprogramowania, inżynierii dokumentu i inżynierii wiedzy

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

  • Gazetteer compression technique based on substructure recognition
    Publication

    - Year 2006

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

    Full text to download in external service

  • Teoria i praktyka testowania programów
    Publication

    - Year 2006

    Książ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.

  • Modelowanie budynków w interakcyjnym systemie wizualizacji terenu rzeczywistego

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

  • 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

  • Optymalizacja sceny dla potrzeb interakcyjnej wizualizacji terenu rzeczywistego wykorzystująca klaster obliczeniowy

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

  • Estetyzacja schematów blokowych
    Publication

    - Year 2006

    Omówiono potrzebę estetycznego prezentowania obiektów graficznych. Zaprezentowano kryterium pozwalające oceniać poziom estetyki schematu blokowego.

  • Multimedialny interfejs cienkiego klienta dla osób niepełnosprawnych w systemie informacyjnym GDASKON

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

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