Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Dobrowolski, G." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Cluo: web-scale text mining system for open source intelligence purposes
    Autorzy:
    Maciołek, P.
    Dobrowolski, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/305361.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    text mining
    big data
    OSINT
    natural language processing
    monitoring
    Opis:
    The amount of textual information published on the Internet is considered to be in billions of web pages, blog posts, comments, social media updates and others. Analyzing such quantities of data requires high level of distribution – both data and computing. This is especially true in case of complex algorithms, often used in text mining tasks. The paper presents a prototype implementation of CLUO – an Open Source Intelligence (OSINT) system, which extracts and analyzes significant quantities of openly available information.
    Źródło:
    Computer Science; 2013, 14 (1); 45-62
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model checking processes specified in join-calculus algebra
    Autorzy:
    Maludziński, S.
    Dobrowolski, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/305715.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    join-calculus
    model checking
    formal methods
    automatic software verification
    Opis:
    This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra, with its operational semantics defined by a chemical abstract machine, serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, allowing for the examination of more complex systems. The described model checker is a proof of concept for the utilization of new methodologies of formal system specification and verification in software engineering practice.
    Źródło:
    Computer Science; 2014, 15 (1); 61-74
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A proposition of knowledge management methodology for the purpose of reasoning with the use of an upper-ontology
    Propozycja metodologii do zarządzania wiedzą na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu
    Autorzy:
    Szymański, K.
    Dobrowolski, G.
    Koźlak, J.
    Zygmunt, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/305694.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    ontologia
    zarządzanie wiedzą
    integracja ontologii
    ontologia wyższego poziomu
    wnioskowanie
    ontology
    knowledge management
    ontology integration
    upper ontology
    reasoning
    Opis:
    This article describes a proposition of knowledge organization for the purpose of reasoning using an upper-ontology. It presents a model of integrated ontologies architecture which consists of a domain ontologies layer with instances, a shared upper-ontology layer with additional rules and a layer of ontologies mapping concrete domain ontologies with the upper-ontology. Thanks to the upper-ontology, new facts were concluded from domain ontologies during the reasoning process. A practical realization proposition is given as well. It is based on some popular Semantic Web technologies and tools, such as OWL, SWRL, nRQL, Protege and Racer.
    Artykuł przedstawia propozycję organizacji wiedzy na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu. Prezentuje model architektury zintegrowanych ontologii, składający się z ontologii domenowych z instancjami, współdzielonej ontologii wyższego poziomu z dodatkowymi regułami oraz z warstwy ontologii mapujących. Dzięki wiedzy wyższego poziomu uzyskano nowe fakty podczas wnioskowania. Zaprezentowano rownież propozycje praktycznej realizacji omawianego podejścia przy użyciu popularnych narzędzi i technologii dla Semantic Web, takich jak OWL, SWRL, nRQL, Protege i Racer.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 117-133
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Web pages content analysis using browser-based volunteer computing
    Autorzy:
    Turek, W.
    Nawarecki, E.
    Dobrowolski, G.
    Krupa, T.
    Majewski, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/305311.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    volunteer computing
    text processing
    web crawling
    Opis:
    Existing solutions to the problem of finding valuable information on the Web suffers from several limitations like simplified query languages, out-of-date in- formation or arbitrary results sorting. In this paper a different approach to this problem is described. It is based on the idea of distributed processing of Web pages content. To provide sufficient performance, the idea of browser-based volunteer computing is utilized, which requires the implementation of text processing algorithms in JavaScript. In this paper the architecture of Web pages content analysis system is presented, details concerning the implementation of the system and the text processing algorithms are described and test results are provided.
    Źródło:
    Computer Science; 2013, 14 (2); 215-230
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies