Wyniki wyszukiwania dla: JĘZYKI FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (3)

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

  • Emotions in Human-Computer Interaction Research Group (EMORG)

    * rozpoznawanie emocji użytkownika (ang. emotion elicitation) * reprezentację informacji o emocjach użytkownika (ang. emotion representation/ affect modelling) i zarządzanie nimi * ekspresję emocji lub reakcję na emocje przez programy np. przez wirtualne postaci (ang. affect expression) * wybrane zastosowania to badanie użyteczności oprogramowania rozszerzone o aspekty emocjonalne * badania wzorców behawioralnych w połączeniu...

  • Inteligentne Systemy Interaktywne

    Naturalne interfejsy, umożliwiające inteligentną interakcję człowiek-maszyna z możliwością oddziaływania na możliwie wszystkie zmysły człowieka równocześnie i bez potrzeby jego wcześniejszego szkolenia w zakresie używania typowych urządzeń zewnętrznych komputera, w tym z wykorzystaniem metod automatycznego rozpoznawania i syntezy mowy, biometrii, proaktywnych (samo-wykonywalnych) dokumentów elektronicznych, rozpoznawania emocji...

  • Zespół Katedry Sztuk Wizualnych

    Potencjał Badawczy

    Przedmiotem aktywności Katedry Sztuk Wizualnych jest działalność w zakresie sztuk pięknych i projektowania wspomaganego cyfrowo.

Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (1)

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

Pozostałe wyniki Pokaż wszystkie wyniki (5)

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

  • Języki formalne, automaty i translatory

    Publikacja

    - Rok 2008

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

  • Języki i gramatyki formalne

    Publikacja

    - Rok 2011

    Rozdział 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.

  • Complexity of weak acceptonic conditions in tree automata

    Publikacja

    - INFORMATION PROCESSING LETTERS - Rok 2002

    Rozważano złożoność problemu pustości dla automatów na drzewach ze słabymi warunkami akceptowalności. Rozważano także translacje pomiędzy słabymi i silnymi warunkami akceptowalności.

  • Grimm Grass 1 (Słówka Grimmów)

    Publikacja

    - Rok 2020

    Krzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...

  • Grimm Grass 2 (Słówka Grimmów)

    Publikacja

    - Rok 2020

    Krzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...