Wszystkie pola: computation tree

Skocz do pozycji: 1.

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

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

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

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

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

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

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

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

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

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

Informacja

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