Zobrazeno 1 - 10
of 238
pro vyhledávání: '"Michael S. Hsiao"'
Autor:
Fnu Aditi, Michael S. Hsiao
Publikováno v:
2022 IEEE 31st Asian Test Symposium (ATS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::271ada5a4ae0ff73a40e1efc80d1de29
https://doi.org/10.1109/ats56056.2022.00034
https://doi.org/10.1109/ats56056.2022.00034
Autor:
Rahul Krishnamurthy, Michael S. Hsiao
Publikováno v:
2022 Forum on Specification & Design Languages (FDL).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eaf487299a803f823f4469d379f29793
https://doi.org/10.1109/fdl56239.2022.9925659
https://doi.org/10.1109/fdl56239.2022.9925659
Autor:
Yue Zhan, Michael S. Hsiao
Publikováno v:
2022 Fourth International Conference on Transdisciplinary AI (TransAI).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48dbfdb89164c533540257ea02c58c18
https://doi.org/10.1109/transai54797.2022.00012
https://doi.org/10.1109/transai54797.2022.00012
Autor:
Yue Zhan, Michael S. Hsiao
Publikováno v:
AIxIA 2020 – Advances in Artificial Intelligence ISBN: 9783030770907
NL4AI@AI*IA
NL4AI@AI*IA
Natural language programming (NLPr) allows people to program in natural language (NL) for specific domains. It poses great potential since it gives non-experts the ability to develop projects without exhaustive training. However, complex descriptions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e657d0bffc5f5fa3b8b4717aeb6fdbd
https://doi.org/10.1007/978-3-030-77091-4_18
https://doi.org/10.1007/978-3-030-77091-4_18
Autor:
Yue Zhan, Michael S. Hsiao
Publikováno v:
ICAART (1)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8e92a04229a8d2d25a308f76a1a0489
https://doi.org/10.5220/0010388905060515
https://doi.org/10.5220/0010388905060515
Publikováno v:
ITC
We explore contemporary natural language processing (NLP) techniques for converting NL specifications found in design documents directly to an temporal logic-like intermediate representation (IR). Generally, attempts to use NLP for assertion generati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::598fbf4c80ed55ddddf7db6e44265ee4
https://doi.org/10.1109/itc44778.2020.9325264
https://doi.org/10.1109/itc44778.2020.9325264
Autor:
Rahul Krishnamurthy, Michael S. Hsiao
Publikováno v:
ICCD
We propose a framework for extracting natural language assertions from hardware design specification documents. The entire parse tree of each input sentence in a design spec is viewed as a network of words connected to facilitate the creation of sema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5889116b27dcf43cd2a8c057f16a7745
https://doi.org/10.1109/iccd50377.2020.00072
https://doi.org/10.1109/iccd50377.2020.00072
Autor:
Michael S. Hsiao, Yue Zhan
Publikováno v:
2019 IEEE International Conference on Humanized Computing and Communication (HCC).
This paper investigates the effectiveness of multi-label classification (MLC) in classifying controlled natural language sentences that used to write video games. The performance of such multi-label classifying tasks can help us both understand the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::359f0c7b64bd8bee84e8ead697a81738
https://doi.org/10.1109/hcc46620.2019.00016
https://doi.org/10.1109/hcc46620.2019.00016
Autor:
Rahul Krishnamurthy, Michael S. Hsiao
Publikováno v:
Rules and Reasoning ISBN: 9783030310943
RuleML+RR
RuleML+RR
In this paper, we present EASE (Enabling hardware Assertion Synthesis from English) which translates hardware design specifications written in English to a formal assertion language. Existing natural language processing (NLP) tools for hardware verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f1923a932c864f12facba35654cbbb8
https://doi.org/10.1007/978-3-030-31095-0_6
https://doi.org/10.1007/978-3-030-31095-0_6
Autor:
Rahul Krishnamurthy, Michael S. Hsiao
Publikováno v:
ICSC
In this paper, we present a controlled natural language (CNL) framework for automatic processing and generation of assertions from hardware design specification. Current CNL systems have limitations in mapping differently worded sentences with the sa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::266cf3851d6dac97f7453f7992636384
https://doi.org/10.1109/icosc.2019.8665517
https://doi.org/10.1109/icosc.2019.8665517