Wyszukiwarka
Katedra Inteligentnych Systemów Interaktywnych
Publikacje
Filtry
wszystkich: 156
Katalog Publikacji
-
Guido: a musical score recognition system
PublikacjaThis paper presents an optical music recognition system Guido that can automatically recognize the main musical symbols of music scores that were scanned or taken by a digital camera. The application is based on object model of musical notation and uses linguistic approach for symbol interpretation and error correction. The system offers musical editor with a partially automatic error correction.
-
Eye Blink Based Detection of Liveness in Biometric Authentication Systems Using Conditional Random Fields
PublikacjaThe 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
PublikacjaW artykule zproponowano wieloklasowe uogólnione kryterium Fishera. zaproponowano trzy warianty sekencyjneg uczenia, które zilustrowano przykładami.
-
A robust detector for distorted music staves
Publikacja.
-
Recognition, understanding and aestheticization of freehand drawing flowcharts
PublikacjaIn this paper a concept of FCA, a system for recognizing, understanding and aestheticization of freehand drawing flow charts is described. The system is based on a proposed by the author FlowGram graph grammar describing flow charts drawing. An open format FlowChartML for flow charts description is also proposed. The aestheticization criterion is formulated that allows for automatic beautification of flow charts. First experiments...
-
Generalized adaptive notch smoothers for real-valued signals and systems
PublikacjaSystems 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
PublikacjaThis 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
PublikacjaGeneralized 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
PublikacjaIn 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.
-
Generalized adaptive notch filters with frequency debiasing for tracking of polynomial phase systems
PublikacjaGeneralized 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...
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublikacjaPrzedstawione 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....
-
A simple model for automated negotiations over collaboration agreements in ebXML
PublikacjaPoważ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.
-
Natural language dictionaries implemented as finite automata
PublikacjaRozdział 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.
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono 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
PublikacjaJednym z zadań aplikacyjnych ogólnopolskiego projektu CLUSTERIX było opracowanie i wdrożenie metody interaktywnej wizualizacji terenu rzeczywistego z danych przestrzennych systemów GIS. Przedstawione wyniki osiągnięte w tym zadaniu wskazują na duży potencjał wykorzystania opracowanego modelu wizualizacji 3D dla potrzeb systemów zarządzania kryzysowego.
-
Exploring contexts of use of cultural objects in virtual museums
PublikacjaThis 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....
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublikacjaAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublikacjaWe 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...
-
Automatyczne konstruowanie ekstraktorów cech w problemach klasyfikacji
PublikacjaW pracy zaproponowano i zbadano ideę automatycznego tworzenia ekstraktora cech. Ekstraktor taki uzyskiwany jest na drodze uczenia, metodami ewolucyjnymi wykorzystującymi zbiory uczące pochodzące z innych problemów klasyfikacyjnych, w określonym sensie podobnych do problemu rozpatrywanego. Uzyskiwany w ten sposób ekstraktor powinien poprawiać uogólnianie klasyfikatora uczonego niewielką liczbą przykładów z zadania rozpatrywanego,...
-
Metody formułowania ontologicznych zapytań
PublikacjaArtykuł dotyczy problemu wydobywania danych wyrażonych w postaci ontologii opisanej językiem Web Ontology Language. Dane takie mogą być wydobywane przy użyciu ontologicznych zapytań. Artykuł przedstawia rodzaje języków umożliwiających formułowanie tego rodzaju zapytań. Ontologiczne zapytania mogą być formułowane przez użytkowników podobnie jak zapytania w wyszukiwarkach internetowych tworzone w celu znajdowania stron internetowych....
-
Akademia ETI
PublikacjaArtykuł omawia rozpoczętą w 2008 r. współpracę Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej z liceami ogólnokształcącymi Gdańska. Głównym jej celem jest podniesienie poziomu kształcenia uczniów szkół średnich (potencjalnych przyszłych studentów wydziału) oraz umożliwienie rozwoju ich kompetencji w zakresie ICT. Współpraca ta polega przede wszystkim na prowadzeniu przez nauczycieli akademickich zajęć...
-
Immersive 3D visualization laboratory concept
PublikacjaArtykuł opisuje koncepcję realizowanego na Politechnice Gdańskiej urządzenia do marszu przez świat wirtualny. Będzie ono miało postać przezroczystej sfery obrotowej, którą użytkownik umieszczony w środku będzie obracał własnymi krokami (na wzór chomika biegnącego w kołowrotku). Sfera będzie umieszczona wewnątrz sześcianu zbudowanego z ekranów, na których będzie wyświetlany obraz stereoskopowy przedstawiający świat wirtualny z punktu...
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublikacjaObliczenia 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ą...
-
Projekt laboratorium zanurzonej wizualizacji przestrzennej
PublikacjaArtykuł prezentuje koncepcję urządzenia pozwalającego na nieograniczony terytorialnie spacer po zadanym świecie wirtualnym, które ma zostać zrealizowane na Politechnice Gdańskiej do końca 2013 roku w specjalnie zbudowanym pawilonie. Urządzenie to będzie symulować autonomiczne przemieszczanie się wewnątrz sceny generowanej komputerowo. Wrażenie samodzielnego ruchu uzyskane zostanie poprzez zastosowanie mechanizmu pozwalającego na...
-
Stanowisko demonstracyjne rzeczywistości rozszerzonej
PublikacjaArtykuł przedstawia zrealizowany w Katedrze Inżynierii Wiedzy Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej prototyp eksperymentalnego stanowiska składającego się z komputera PC współpracującego z kamerą i przeznaczonego do eksperymentów z rzeczywistością rozszerzoną (ang. augmented reality). Podstawą tego systemu jest specjalnie stworzone oprogramowanie lokalizujące na obrazie z kamery w czasie rzeczywistym...
-
Workflow patterns applicable to virtual knowledge-based organizations
PublikacjaWorkflow 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...
-
Lokalizacja i rozpoznawanie tablic rejestracyjnych na zdjęciach z fotoradarów
PublikacjaArtykuł opisuje stworzoną na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej aplikację do lokalizacji i rozpoznawania numerów rejestracyjnych pojazdów samochodowych na potrzeby realizowanego na tym wydziale Radiowego systemu monitorowania i akwizycji danych z urządzeń radarowych RSMAD. Na tle dzisiaj funkcjonujących w kraju rozwiązań system RSMAD wyróżnia się automatyzacją procesu przekazywania danych...
-
Agent System for Managing Distributed Mobile Interactive Documents
PublikacjaThe 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
PublikacjaW 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...
-
Multiple frequency tracker with improved tracking Capabilities
PublikacjaW pracy zaproponowano prostą modyfikację znanego z literatury wieloczęstotliwościowego adaptacyjnego filtra wycinającego, prowadzącą do istotnej poprawy jego charakterystyk nadążania.
-
Ankietyzacja elektroniczna uczelni artystycznych
PublikacjaW pracy dokonano analizy istniejących podejść do problemu ankietyzacji. Przedstawiono problem ankietyzacji elektronicznej wyższych uczelni artystycznych pod kątem raportowania działalności twórczej ich pracowników naukowych, artystycznych i dydaktycznych. W pracy podkreślono specyfikę tych uczelni, zarówno pod kątem prowadzonej w nich działalności twórczej jak i socjotechnicznych problemów jej ankietyzacji. Przedstawiono również...
-
MPEG-7 jako format zapisu cyfrowych dokumentów muzycznych
PublikacjaW pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę formatu MPEG7. Pokazano możliwości wynikające z zastosowania MPEG7 do cyfrowej reprezentacji dokumentów muzycznych. Zwrócono uwagę na możliwość rozszerzania standardu w celu dopasowania go do przechowywania dokumentów muzycznych zawierających pełną informację muzyczną.
-
Cyfrowa biblioteka dokumentów muzycznych
PublikacjaW pracy przedstawiono główny cel projektu badawczego Moniuszko, będacego projektem i realizacją interaktywnej biblioteki cyfrowej dokumentów muzycznych. W pracy przedstawiono również koncepcję cyfrowego dokumentu muzycznego, a także wskazano standard MPEG-7, jako najlepiej spełniający wymogi opisu tych dokumentów. Zaproponowano rozszerzenie tego standardu o możliwość pełnego opisu bibliograficznego dokumentu muzycznego, a także...
-
Przetwarzanie języka naturalnego
PublikacjaRozdział opisuje przetwarzanie języka naturalnego z podziałem na warstwy przetwarzania. Omawia też zagadnienie jakości przetwarzania na przykładzie poprawiania błędów i optymalizacji reguł.
-
Projektowanie gier komputerowych z wykorzystaniem Unreal Development Kit
PublikacjaW pracy przedstawiono pakiet narzędziowy Unreal Development Kit (UDK) umożliwiający tworzenie gier w oparciu o silnik Unreal Engine 3 (UE3). Silnik ten umożliwia tworzenie wieloplatformowych, zaawansowanych graficznie gier praktycznie dowolnego typu. UDK jest zasadniczo kompletnym środowiskiem wytwarzania gier oferując rozmaite narzędzia modelowania poziomów, w tym: edytor brył geometrycznych, siatek obiektów i terenu, bibliotekę...
-
Języki i gramatyki formalne
PublikacjaRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Stosowanie metryk wiarygodności danych w celu integracji usług sieciowych
PublikacjaArtykuł poświęcony jest problemowi sprzeczności danych występujących w wyniku korzystania z usług sieciowych. Sprzeczności te uniemożliwiają poprawne przetwarzanie danych i powodują błędy w działaniu aplikacji opierających się na integracji usług sieciowych. W artykule przedstawiona jest metoda rozwiązania problemu sprzeczności opierająca się na identyfikowaniu niewiarygodnych źródeł danych i wykluczaniu danych podawanych przez...
-
Symulacja chodu i biegu w świecie wirtualnym
PublikacjaPierwsza część referatu prezentuje różne techniki symulacji chodu i biegu wraz z omówieniem ich zalet i wad. Najlepszym rozwiązaniem wydaje się tu obrotowa sfera z człowiekiem w środku wzorowana na kołowrotku dla chomika. Takie urządzenie umieszczone wraz z zawierającą je instalacją typu CAVE powstanie do końca 2013 r. na terenie Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej jako tzw. Laboratorium Zanurzonej...
-
Automaty jako narzędzia w przetwarzaniu języka
PublikacjaRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Selekcja i ekstrakcja cech
PublikacjaW rozdziale omówiono sposób przedstawiania danych w postaci wektorów cech, które stanowią zbiory uczące np. w zadaniach klasyfikacji lub grupowania. Opisano metody generowania podzbiorów cech (metodę podziału i ograniczeń, metody sekwencyjne) oraz oceny jakości tych podzbiorów. Zaprezentowano wybrane algorytmy ekstrakcji cech (analizę głównych składowych, wielowymiarowe skalowanie, liniową analizę dyskryminacyjną).
-
Web Services Integration with Regard to the Metrics of Data Believability
PublikacjaThe paper is concerned with estimating the believability of data acquired from web services. In the paper, a new method for believability estimation is introduced. The method is designed for integrating web services. The believability estimation is based on the following metrics: quantity, reputation, approval, independence, traceability, maturity, authority and objectivity. In the method, data trustworthiness is determined by...
-
Metody wspomagania wyszukiwania informacji
PublikacjaWyszukiwanie informacji analizowane może być z perspektywy użytkownika i w kontekście tego, jakie czynności może on podjąć, aby odnaleźć interesujące go informacje bez wsparcia ze strony analizatora języka. Użytkownicy stosują wyszukiwarki internetowe, jednak często nie są świadomi pełnego zakresu ich możliwości. Wyszukiwanie za pomocą wyszukiwarek polega na wprowadzaniu zapytań w polu tekstowym. Opracowane zostały liczne metody...
-
Algorytmy klasyfikacji i uczenia w rozpoznawaniu treści
PublikacjaZadanie klasyfikacji treści może zostać podzielone na dwa etapy: ekstrakcji cech istotnych dla podziału na klasy oraz etapu klasyfikacji na podstawie cech wyznaczonych w poprzednim etapie. Dzięki takiemu podziałowi, możliwe jest użycie w drugim etapie standardowych algorytmów budowy (uczenia) klasyfikatorów, takich klasyfikator bayesowski, drzewa decyzyjne, sztuczne sieci neuronowe czy metoda wektorów wspierających (SVM). Przy...
-
Metody rozwiązywania problemu zapisu norm prawnych w postaci ontologii OWL
PublikacjaArtykuł dotyczy problemu zapisu norm prawnych w postaci umożliwiającej systemom komputerowym automatyczne przetwarzanie treści tych norm i ich interpretowanie. Artykuł przedstawia możliwości wykorzystania komputerów do podawania bieżącego stanu prawnego oraz pełnienia funkcji doradczej. W artykule opisana jest realizacja tego zagadnienia opierająca się na zapisie norm prawnych w postaci ontologii wyrażonych w języku OWL. Zapis...
-
Metody wyszukiwania informacji oparte na wyznaczaniu kierunków
PublikacjaRozprawa doktorska poświęcona jest nowej, oryginalnej metodzie klasteryzacji kierunkowej przeznaczonej do wyszukiwania informacji. Metoda ma zastosowanie w przypadku, gdy przeprowadzane jest wyszukiwanie za pomocą zapytań. Mogą to być zarówno zapytania wprowadzane w polu tekstowym wyszukiwarki internetowej, jak i zapytania stosowane podczas wydobywania danych zawartych w sieci semantycznej. Metoda służy do przeprowadzania interaktywnego...
-
Incremental construction of finite-state automata
PublikacjaRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Agent System for Managing Distributed Mobile Interactive Documents in Knowledge-Based Organizations
PublikacjaThe MIND architecture of distributed mobile interactive document is a new processing model defined to facilitate obtaining a proper solution in knowledge processes carried out by knowledge-based organizations. Such organizations have an established structure that defines document templates and knowledge process. The aim of the MIND architecture is to change the static document to mobile agents, which are designed to implement the...
-
Metody i zastosowania modelowania tkanki ludzkiej
PublikacjaArtykuł opisuje możliwości, jakie daje medycynie modelowanie tkanki ludzkiej z wykorzystaniem rzeczywistości wirtualnej i rozszerzonej. Przedstawia on ponadto trzy propozycje zastosowania w praktyce lekarskiej modelowania gruczołu piersiowego. Propozycje te są wynikiem uzgodnień zespołu medyczno-informatycznego (autorów artykułu) i zostały zaplanowane jako realizowane oraz wdrażane w czasie następującym po publikacji artykułu....
-
Analiza odręcznych schematów blokowych z oceną ich estetyki
PublikacjaKsiążka dotyczy problematyki rozpoznawania, analizy i estetyzacji ręcznie rysowanych diagramów. W szczególności skupiono się na schematach blokowych. W książce poruszono trzy główne grupy zagadnień: przetwarzania wstępnego, segmentacji i rozpoznawania obrazów, automatycznej analizy i interpretacji schematów z wykorzystaniem podejścia lingwistycznego i formalizmu gramatyk grafowych oraz zagadnienia związane z oceną estetyki prezentowania...
-
Igrzyska Akademii ETI : Konkurs dla młodych talentów informatycznych, potencjalnych studentów WETI
PublikacjaSprawozdanie z pierwszych Igrzysk Akademii ETI, które odbyły się 21 stycznia 2012 r.