Wyniki wyszukiwania dla: GRAMATYKI FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: GRAMATYKI FORMALNE

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

Wyniki wyszukiwania dla: GRAMATYKI 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...

  • Katedra Siłowni Morskich i Lądowych

    Katedra prowadzi prace badawcze dotyczące projektowania siłowni okrętowych oraz ich systemów. Działalność ta obejmuje: projektowania siłowni okrętowych z uwzględnieniem niezawodności, diagnostyki i bezpieczeństwa ich funkcjonowania oraz decyzyjnego sterowania procesem eksploatacji okrętowych silników spalinowych z uwzględnieniem wybranych kryteriów optymalizacji.

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

Wyniki wyszukiwania dla: GRAMATYKI FORMALNE

Pozostałe wyniki Pokaż wszystkie wyniki (621)

Wyniki wyszukiwania dla: GRAMATYKI FORMALNE

  • 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.

  • Wymagania formalne

    Publikacja

    - Rok 2011

    Formalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy

  • 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...

  • Zastosowanie gramatyk grafowych do rozpoznawania i interpretacji diagramów

    W 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

  • Formalne przejawy procesów transformacji w architekturze współczesnej

    Publikacja

    - Rok 2004

    W referacie przedstawiono aspekty podejścia topologicznego w projektowaniu architektonicznym. Omówiono wybrane tendencje i teorie panujące na badanym polu tema-tycznym, na tle podstaw alternatywnych geometrii w dobie CAAD, podstaw filozoficznych i uwarunkowań cywilizacyjnych.