Zobrazeno 1 - 10
of 691
pro vyhledávání: '"He Jifeng"'
Decentralized learning has become crucial for collaborative model training in environments where data privacy and trust are paramount. In web-based applications, clients are liberated from traditional fixed network topologies, enabling the establishm
Externí odkaz:
http://arxiv.org/abs/2410.11378
Autor:
Joseph Fewsmith, Nancy Hearst
Publikováno v:
Mao's Road to Power ISBN: 9781315719436
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17740d5a7674418261043a9325d78b3b
https://doi.org/10.4324/9781315719436-204
https://doi.org/10.4324/9781315719436-204
Autor:
Feng, Jincao, Miao, Weikai, Zheng, Hanyue, Huang, Yihao, Li, Jianwen, Wang, Zheng, Su, Ting, Gu, Bin, Pu, Geguang, Yang, Mengfei, He, Jifeng
Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The industrial engineers are suffering from the lack of automated engineering m
Externí odkaz:
http://arxiv.org/abs/2306.01260
Publikováno v:
In Knowledge-Based Systems 4 November 2024 303
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.
Publikováno v:
In Transportation Research Part C September 2023 154
Publikováno v:
Journal of Coastal Research, 2020 Jul 01, 42-47.
Externí odkaz:
https://www.jstor.org/stable/48639946
Autor:
Jonathan P. Bowen
Publikováno v:
Theories of Programming and Formal Methods ISBN: 9783642396977
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
Scholarly advance depends on the interaction of researchers in a large number of overlapping communities in different disciplines (mathematics, computer science, etc.) and fields within these disciplines (e.g., algebra, formal methods, etc.). Now tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b46090fe9414867461a219c8d881056d
https://doi.org/10.1007/978-3-642-39698-4_4
https://doi.org/10.1007/978-3-642-39698-4_4
We consider here Linear Temporal Logic (LTL) formulas interpreted over \emph{finite} traces. We denote this logic by LTLf. The existing approach for LTLf satisfiability checking is based on a reduction to standard LTL satisfiability checking. We desc
Externí odkaz:
http://arxiv.org/abs/1403.1666