Publications
Filters
total: 156
Catalog Publications
-
Guido: a musical score recognition system
PublicationThis 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
PublicationThe 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
PublicationW 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.
-
Recognition, understanding and aestheticization of freehand drawing flowcharts
PublicationIn 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
PublicationSystems 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...
-
Smaller representation of finite state automata
PublicationThis 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...
-
On tracking properties of real-valued generalized adaptive notch filters
PublicationGeneralized 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...
-
Recognition of Hand Drawn Flowcharts
PublicationIn 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
PublicationPrzedstawione 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
PublicationGeneralized 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...
-
Conformance testing of parallel languages
PublicationPrzedstawiono 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
PublicationJednym 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.
-
Natural language dictionaries implemented as finite automata
PublicationRozdział 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.
-
A simple model for automated negotiations over collaboration agreements in ebXML
PublicationPoważ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.
PublicationAutomaty 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.
-
Exploring contexts of use of cultural objects in virtual museums
PublicationThis 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.
PublicationW 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.
-
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.
-
Od projektu do programu
PublicationPraca 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)
PublicationPraca 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.
PublicationPraca 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
PublicationMinimalna 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
Publicationzaproponowano 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
PublicationW 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
PublicationSzybki 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
PublicationW 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
PublicationW 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
PublicationArtykuł 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
PublicationArtykuł 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
PublicationArtykuł 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
PublicationZadaniem 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
PublicationW opracowaniu opisano Laboratorium Zanurzonej Wizualizacji Przestrzennej, jego wyposażenie, potencjał i zastosowania.
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublicationObliczenia 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
PublicationWorkflow 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
PublicationPraca 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
PublicationW 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
PublicationAutomaty 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...
-
Teoria i praktyka testowania programów
PublicationKsiąż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
PublicationArtykuł 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
PublicationW 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...
-
Optymalizacja sceny dla potrzeb interakcyjnej wizualizacji terenu rzeczywistego wykorzystująca klaster obliczeniowy
PublicationInterakcyjny 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
PublicationOmó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
PublicationPo 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
PublicationW 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
PublicationBiblioteki 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
PublicationW 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²
PublicationArtykuł 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
PublicationW 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...