Wszystkie pola: logic representation

Skocz do pozycji: 1.

Tytuł:: Logic Programming Representation of the Compound Term Composition Algebra
Autorzy:: Analyti, A.
Pachoulakis, I.
Data publikacji:: 2006
Słowa kluczowe:: faceted taxonomies
Logic Programming (LP)
computational complexity
application; 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
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: 3.

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: 4.

Tytuł:: MIMO LOGIKY REPREZENTÁCIE. PROBLÉM NEREPREZENTOVATEĽNÉHO VO FILOZOFII OBRAZU J. RANCIERA
Beyond the logic of representation: The problem of the unrepresentable in the philosphy of image of J. Ranciere
Autorzy:: Fišerová Michaela
Tematy:: PHILOSOPHY OF IMAGE
POLITICAL PHILOSOPHY
RANCIERE J.
UNREPRESENTABLE
VISUALITY
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties
Autorzy:: Regulski, K.
Wilk-Kołodziejczyk, D.
Rojek, B.
Kluska-Nawarecka, S.
Adrian, W. T.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: foundry production
computer aided foundry
application of information technologies
ADI
ALSV
rule based XTT format
odlewnia
odlewy
komputerowe wspomaganie odlewni
zastosowanie technologii informatycznych; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
Autorzy:: Gentilini, P.
Martelli, M.
Rosolini, G.
Data publikacji:: 2015
Słowa kluczowe:: constructivism in logic
higher order logic
intuitionistic logic
constructive paraconsistent logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties
Autorzy:: Regulski, K.
Wilk-Kołodziejczyk, D.
Rojek, B.
Kluska-Nawarecka, S.
Adrian, W. T.
Data publikacji:: 2016
Słowa kluczowe:: foundry production
computer aided foundry
application of information technologies
ADI
ALSV
rule based XTT format
odlewnia
odlewy
komputerowe wspomaganie odlewni
zastosowanie technologii informatycznych; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: 1st order nonstationary measurement system
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Autorzy:: Eiter, T.
Erdem, E.
Faber, W.
Senko, J.
Data publikacji:: 2007
Słowa kluczowe:: knowledge representation
reasoning about actions
logic-based planning
explanations
execution monitoring
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic representation" wg kryterium: Wszystkie pola