Search
Katedra Inżynierii Wiedzy
Publications
Filters
total: 143
Catalog Publications
-
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...
-
Identyfikacja na podstawie pisma i tekstu
PublicationW 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
PublicationW 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
PublicationKsiąż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
PublicationW 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
PublicationRozdział 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]
PublicationWe 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...
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublicationArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...
-
Using similar classification tasks in feature extractor learning
PublicationThe article presents and experimentally verify the idea of automatic construction of feature extractors in classification problems. The extractors are created by genetic programming techniques using classification examples taken from other problems then the problem under consideration.
-
Otwarta architektura dokumentu wspierającego podejmowanie decyzji w organizacjach opartych na wiedzy
PublicationPodejmowanie decyzji w organizacjach opartych na wiedzy związane jest z koniecznością współpracy specjalistów w warunkach niepełnej wiedzy iniekompletnej informacji bądź w sytuacjach konfliktowych. Otwarta architektura dokumentu zapewniająca zautomatyzowany obieg dokumentów między pracownikami wiedzy ułatwia i usprawnia dostęp do potrzebnych informacji. Ich interakcja z systemem przetwarzania rozproszonego zapewniającym sprawny...
-
Równoważność klasyfikatorów binarnych
PublicationTematem wielu prac dotyczących zagadnienia klasyfikacji jest porównanie różnych powszechnie znanych klasyfikatorów pod względem przydatności w konkretnych zastosowaniach.W artykule pokazana zostanie równoważność klasyfikatorów funkcji boolowskich ze względu na średnią liczbę błędów generalizacji,zaproponowane zostanie kryterium podobieństwa klasyfikatorów oparte o współczynnik korelacji oraz przedstawiony zostanie wpływzłożoności...
-
Ontology clustering by directions algorithm to expand ontology queries
PublicationThis paper concerns formulating ontology queries. It describes existing languages in which ontologies can be queried. It focuses on languages which are intended to be easily understood by users who are willing to retrieve information from ontologies. Such a language can be, for example, a type of controlled natural language (CNL). In this paper a novel algorithm called Ontology Clustering by Directions is presented. The algorithm...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublicationWe 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...
-
Kopalnia pomysłów - wzorce dla projektowania gier komputerowych
PublicationReferat omawia ideę wzorców dla projektowania gier komputerowych. Przedstawiona jest w nim geneza ich powstania, omówienie ich typowych elementów i konkretny przykład takiego wzorca. Podane są sposoby na tworzenie nowych wzorców, wdrażanie ich na etapie projektowania i zarządzanie nimi, a także plusy i minusy stosowania takiego podejścia do tworzenia gier komputerowych.
-
Rendering planet w czasie rzeczywistym
PublicationArtykuł ten ma za cel przedstawić techniki dynamicznego tworzenia i renderowania planet. Opisuje on sposoby, dzięki którym można z dowolnym stopniem dokładności przedstawiać powierzchnię planety w czasie rzeczywistym, używając do tego celu takich technik, jak megateksturing, dynamiczny poziom dokładności i inne.
-
Automatyczne konstruowanie ekstraktorów cech w problemach klasyfikacji
PublicationW 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,...
-
Automatyzacja procesu analizy odręcznych schematów blokowych i oceny ich estetyki
PublicationW pracy przedstawiono problem konwersji ręcznie tworzonych rysunków technicznych na postać cyfrową. Skupiono się na odręcznie rysowanych schematach blokowych, ich analizie i estetycznej prezentacji. Zaprezentowano problemy wstępnego przetwarzania i segmentacji rysunków odręcznych i podano propozycje ich rozwiązania. Do celów analizy schematów blokowych zaproponowano algorytmy rozpoznawania elementów schematu. Podczas interpretacji...
-
Proces rozwoju dokumentu petycji elektronicznej wykorzystujący algorytm genetyczny
PublicationW oparciu o opracowaną przez siebie wcześniej koncepcję hybrydowej architektury systemu petycji elektronicznej, autor zaproponował wykorzystanie algorytmu genetycznego do sterowania procesu edycji dokumentu przez wielkie grupy obywateli (100 tysięcy i więcej). Z przeprowadzonych badań symulacyjnych wynika, że możliwe jest osiągnięcie wersji dokumentu spełniającego kryterium liczby zwolenników (podpisów obywateli) w niewielkiej...
-
Aktywne modele kształtu i ich biometryczne zastosowania = Active shape models and their biometric applications
PublicationAktywne modele kształtu zostały zaproponowane w latach 90 XX wieku jako uniwersalna metoda lokalizowania i rozpoznawania obiektów. Koncepcje teoretyczne, na których metoda ta została oparta, wydają się obiecujące, jednak ich praktyczna wartość nie została jeszcze do końca zweryfikowana. Autorzy niniejszej pracy przeprowadzili testy aktywnych modeli kształtu za pomocą własnego systemu lokalizacji obiektów, szczególną uwagę zwracając...
-
Prototypowy system analizy ruchu obiektów
PublicationZaprezentowano system automatycznej analizy ruchu SARO, który umożliwia identyfikowanie poruszających się obiektów, określanie ich lokalizacji oraz wyznaczanie kierunku i prędkości ruchu. Przedstawiono pokrótce podstawy teoretyczne zaimplementowanych metod analizy ruchu, podano także wyniki eksperymentów przeprowadzonych przy użyciu systemu SARO.
-
Intelligent system for editing and analysis of examination documents
PublicationOpisano ogólną koncepcję systemu IATE - systemu do edycji i automatycznej analizy testów egzaminacyjnych. Edytor systemu umożliwia generację 4 typów testów o dowolnej liczbie pytań (do 8 stron tekstu), różnej formie udzielania odpowiedzi oraz możliwością tworzenia wariantów testu. Bardziej szczegółowo opisano wybrane fragmenty systemu: analizę nagłówka testu, edycję i organizację segmentu tworzenia wariantów testu oraz organizację...
-
Ankietyzacja elektroniczna uczelni artystycznych
PublicationW 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
PublicationW 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
PublicationW 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...
-
Zapytania muzyczne do bibliotek 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 celu efektywnego wyszukiwania danych muzycznych należy stosować zapytania muzyczne. W rozdziale przedstawiono specyfikę cyfrowych bibliotek muzycznych oraz metody...
-
Wizualizacja partytur w środowisku internetu
PublicationW 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
PublicationW 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
PublicationBiblioteki 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
PublicationW 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
PublicationW 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
PublicationW 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
PublicationArtykuł 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
PublicationW 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
PublicationBiometria - 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
PublicationPrzedstawiono 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
PublicationArtykuł 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
PublicationW pracy opisano koncepcję inteligentnego systemu ISTE służącego do edycji i automatycznej analizy testów egzaminacyjnych
-
Metodologia i techniki programowania
PublicationKsiąż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
PublicationWstę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
PublicationAutomatyczne 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
PublicationW 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
PublicationW 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
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....