Wszystkie pola: computation tree

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

Skocz do pozycji: 11.

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
Słowa kluczowe:: minimum spanning tree
supported non-dominated solutions
combinatorial problems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Individuals' genealogy and the population diversity
Autorzy:: Adamski, K.
Arabas, J.
Bartnik, Ł.
Chrustowski, A.
Jamróz, K.
Wardziński, R.
Data publikacji:: 2006
Słowa kluczowe:: algorytm ewolucyjny
różnorodność populacji
drzewo genealogiczne
pochodzenie osób
obliczenia ewolucyjne
evolutionary algorithm
EA
genotype diversity
population diversity
genealogy tree
genealogy of individuals
evolutionary computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: An efficient approach for view selection for data warehouse using tree mining and evolutionary computation
Autorzy:: Thakare, A.
Deshpande, P.
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: database management systems
data warehousing and data mining
query optimization
graph mining
algorithms for parallel computing
evolutionary computations
genetic algorithms; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Multiscale computation of different plan curvature forms to enhance the prediction of soil properties in a low-relief watershed
Autorzy:: Khanifar, Javad
Khademalrasoul, Ataallah
Data publikacji:: 2024
Słowa kluczowe:: geomorphometry
soil penetration resistance
soil moisture
regression tree
plan curvature
neighborhood size
geomorfometria
odporność gleby na przenikanie
wilgotność gleby
drzewo regresji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Zastosowanie logicznych algorytmów minimalizacyjnych do komputerowego wspomagania wyznaczania rangi ważności parametrów w układach automatyki i sterowania
Autorzy:: Partyka, M. A.
Tiszbierek, A.
Data publikacji:: 2015
Słowa kluczowe:: algorytm Quine'a-McCluskeya
algorytm minimalizacji indywidualnych funkcji logicznych
ranga ważności zmiennych decyzyjnych
decyzyjne wielowartościowe drzewa logiczne
Quine-McCluskey algorithm
decision variable
logical tree; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: An efficient approach for view selection for data warehouse using tree mining and evolutionary computation
Autorzy:: Thakare, A.
Deshpande, P.
Data publikacji:: 2018
Słowa kluczowe:: database management systems
data warehousing and data mining
query optimization
graph mining
algorithms for parallel computing
evolutionary computations
genetic algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computation tree" wg kryterium: Wszystkie pola