Temat: logic representation

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

Wyszukujesz frazę "logic representation" wg kryterium: Temat

Wyświetlanie 1-10 z 30

Zaznacz

Skocz do pozycji: 1.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Słowa kluczowe:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: European Trade Union Confederation at the Crossroad: New Challenges and New Roles
Autorzy:: Kurczewska Urszula
Tematy:: ETUC
trade unions
interest representation
EU
logic of influence
logic of membership; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: European Trade Union Confederation at the Crossroad: New Challenges and New Roles
Autorzy:: Kurczewska, Urszula
Data publikacji:: 2013
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: ETUC
trade unions
interest representation
EU
logic of influence
logic of membership; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Institutional Logics as orchestras’ strategic dilemma
Autorzy:: Andreas Heinen
Ursula Weisenfeld
Data publikacji:: 2015-10-01
Tematy:: orchestra
strategic management
institutional logic
representation
entertainment
contemplation
purism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Computation of extensions of seminormal default theories
Autorzy:: Su, K.
Li, W.
Data publikacji:: 1999
Słowa kluczowe:: reasoning
knowledge representation
default logic
ordered default theory
extension; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Towards Deriving Conclusions from Cause-effect Relations
Autorzy:: Fandinno, J.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
semantics
knowledge representation
performance evaluation
computer algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On the Representation of Action and Agency in the Theory of Normative Positions
Autorzy:: Sergot, M.
Richards, F.
Data publikacji:: 2001
Słowa kluczowe:: deontic logic
normative systems
logic of action
logic of agency
theory of rights
knowledge representation
computer system specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Answer Set Programming Modulo Acyclicity
Autorzy:: Bomanson, J.
Janhunen, T.
Schaub, T.
Gebser, M.
Kaufmann, B.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
knowledge representation
constraint satisfaction
performance evaluation
computer algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Features Reduction Using Logic Minimization Techniques
Autorzy:: Borowik, G.
Łuba, T.
Zydek, D.
Data publikacji:: 2012
Słowa kluczowe:: machine learning
knowledge representation
discernibility function
logic minimization
attribute reduction
complement; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 30

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

Informacja

Wyszukujesz frazę "logic representation" wg kryterium: Temat