Zobrazeno 1 - 10
of 1 685
pro vyhledávání: '"computation tree logic"'
Publikováno v:
IEEE Access, Vol 11, Pp 2478-2487 (2023)
Recently, probabilistic Kripke structures have been used to represent uncertain systems; nevertheless, important transition costs were ignored in earlier studies, making it impossible to model some uncertain systems with costs. To compensate for the
Externí odkaz:
https://doaj.org/article/0c22ffbfc9be46cb8a770f10cecb7c91
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xiling Luo
Publikováno v:
Mathematics, Vol 11, Iss 16, p 3484 (2023)
Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks. Homophily, which means similarity breeds association
Externí odkaz:
https://doaj.org/article/d6ba0c9707604b1a95809cab5539eca8
Autor:
Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Aamir Naeem, Muhammad Kashif, Wasi Haider Butt
Publikováno v:
IEEE Access, Vol 8, Pp 104407-104431 (2020)
The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical. Assertion Based Verification (ABV) is
Externí odkaz:
https://doaj.org/article/e3286aac4042452f86908b745096c840
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kamide, Norihiro
Publikováno v:
Data Technologies and Applications, 2018, Vol. 52, Issue 4, pp. 539-563.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/DTA-01-2018-0002
Publikováno v:
Entropy, Vol 24, Iss 9, p 1183 (2022)
In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a fuzzy decision process computation tree logic model checking method with cost. Firstly, we introduce a fuzzy decision process model with co
Externí odkaz:
https://doaj.org/article/4bb411c609d34474ae46a130c6b4e4ae