Wszystkie pola: computation tree

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ę "computation tree" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 16

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Extended full computation-tree logics for paraconsistent model checking
Autorzy:: Kamide, Norihiro
Data publikacji:: 2006
Tematy:: Logika temporalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
Autorzy:: Knapik, M.
Penczek, W.
Szreter, M.
Półrola, A.
Data publikacji:: 2010
Słowa kluczowe:: Computation Tree Logic (CTL)
bounded model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Autorzy:: Penczek, W.
Lomuscio, A.
Data publikacji:: 2003
Słowa kluczowe:: Computation Tree Logic Knowledge (CTLK)
modal logic
multi-agent systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Improving the Translation from ECTL to SAT
Autorzy:: Zbrzezny, A.
Data publikacji:: 2008
Słowa kluczowe:: ECTL
Existential Computation Tree Logic ECTL
bounded model checking
translation to SAT; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties
Autorzy:: Woźna-Szcześniak, B.
Szcześniak, I.
Data publikacji:: 2015
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: model czasowy
logika czasowa
drzewo obliczeń
timed models
timed logic
computation tree; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties
Autorzy:: Woźna-Szcześniak, B.
Szcześniak, I.
Data publikacji:: 2015
Słowa kluczowe:: model czasowy
logika czasowa
drzewo obliczeń
timed models
timed logic
computation tree; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formal analysis of destination reachability under given restrictions for multi-path routing in Network on Chip
Autorzy:: Dziurzański, P.
Data publikacji:: 2012
Słowa kluczowe:: sieci wewnątrzukładowe
logika temporalna
drzewo obliczeń
osiągalność stanu
network on chip
NoC
temporal logic
computation tree
state reachability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Evolutionary approach to constrained minimum spanning tree problem - commercial software based application
Autorzy:: Pagacz, A.
Raidl, G.
Zawiślak, S.
Data publikacji:: 2006
Słowa kluczowe:: obliczenia ewolucyjne
algorytm ewolucyjny
minimalne drzewo rozpinające
teoria grafu
evolutionary computation
evolutionary algorithm
EA
minimum spanning tree
MST
graph theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A note on the computation of ordered supported non-dominated solutions in the bi-criteria minimum spanning tree problems
Autorzy:: Silva, C. G.
Cli'maco, J. C. N.
Data publikacji:: 2007
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: minimum spanning tree
supported non-dominated solutions
combinatorial problems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A note on the computation of ordered supported non-dominated solutions in the bi-criteria minimum spanning tree problems
Autorzy:: Silva, Carlos Gomes
Współwytwórcy:: Clímaco, João Carlos Namorado
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 16

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ę "computation tree" wg kryterium: Wszystkie pola