Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Thanh, Tho Quan"'
Large Language Models (LLMs) have recently advanced many applications on software engineering tasks, particularly the potential for code generation. Among contemporary challenges, code generated by LLMs often suffers from inaccuracies and hallucinati
Externí odkaz:
http://arxiv.org/abs/2408.15658
Publikováno v:
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, Vol 10, Iss 2 (2023)
Transforming data into appropriate formats is crucial because it can speed up the training process and enhance the performance of classification algorithms. It is, however, challenging due to the complicated process, resource-intensive and preserved
Externí odkaz:
https://doaj.org/article/2982e23fae67493891e115c3f9e59e5b
Publikováno v:
Online Information Review. 44:1027-1055
PurposeThis paper proposes an approach to identify categorical influencers (i.e. influencers is the person who is active in the targeted categories) in social media channels. Categorical influencers are important for media marketing but to automatica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3193da22036d3a60f202eb5700537378
https://doi.org/10.1108/oir-02-2019-0062
https://doi.org/10.1108/oir-02-2019-0062
Publikováno v:
Expert Systems. 38
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::051a39369c32bdca20f7516c576bf7c2
https://doi.org/10.1111/exsy.12639
https://doi.org/10.1111/exsy.12639
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:
Expert Systems. 36
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a520ce282e2ad13912fe0d6a4fe8506c
https://doi.org/10.1111/exsy.12445
https://doi.org/10.1111/exsy.12445
Publikováno v:
APSEC (2)
Binary code analysis has attracted much attention. The difficulty lies in constructing a Control Flow Graph (CFG), which is dynamically generated and modified, such as mutations. Typical examples are handling dynamic jump instructions, in which desti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aecff4c823af74bf3d73f146bfd9b752
http://hdl.handle.net/10119/12246
http://hdl.handle.net/10119/12246
Publikováno v:
IEEE Transactions on Industrial Informatics. 2:155-164
Customer service support is an important operation for most multinational manufacturing companies. With the advancement of internet technologies, customer services nowadays are supported through web-based systems. More recently, rapid development of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79c05ed7b467cf18ec985247701c7002
https://doi.org/10.1109/tii.2006.873363
https://doi.org/10.1109/tii.2006.873363
Publikováno v:
Control Engineering and Electronics Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc45b88616b2e6924a409a5ffe8bafad
https://doi.org/10.2495/cceee140431
https://doi.org/10.2495/cceee140431
Autor:
Étienne André, Phuong-Nam Mai, Bao-Trung Pham-Duy, Huu-Vu Nguyen, Dinh-Thuan Le, Laure Petrucci, Van-Tinh Nguyen, Thanh-Tho Quan, Yang Liu
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
ATVA
This paper introduces PeCAn, a tool supporting compositional verification of Petri nets. Beyond classical features (such as on-the-fly analysis and synchronisation between multiple Petri nets), PeCAn generates Symbolic Observation Graphs (SOG), and u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed468b02162e60856262d26718d035ff
https://doi.org/10.1007/978-3-319-11936-6_18
https://doi.org/10.1007/978-3-319-11936-6_18