default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChenghao Cai
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c12]Zixiao Zhao, Jing Sun, Cheng-Hao Cai, Zhiyuan Wei:
Code Generation Using Self-Interactive Assistant. COMPSAC 2024: 2347-2352- [c11]Xiaojun Xu
, Chenghao Cai, Xiuqi Yang, Zhuofan Xu, Jingjing Hu, Jing Sun:
A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model. Internetware 2024 - 2023
- [j9]Min Lin, Yanyan Xu, Chenghao Cai, Dengfeng Ke, Kaile Su:
A lattice-transformer-graph deep learning model for Chinese named entity recognition. J. Intell. Syst. 32(1) (2023) - [j8]Cheng-Hao Cai, Jing Sun, Gillian Dobbie:
Automatic refactoring of conditions and substitutions for B state transition models. Softw. Pract. Exp. 53(11): 2241-2270 (2023) - 2022
- [j7]Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee:
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34(2): 1-31 (2022) - [j6]Cheng-Hao Cai, Jing Sun, Gillian Dobbie:
B model quality assessments on automated reachability repair with ISO/IEC 25010. Sci. Comput. Program. 214: 102732 (2022) - [c10]Cheng-Hao Cai, Alan Bundy:
Repairing Numerical Equations in Analogically Blended Theories Using Reformation. HLC 2022: 18-23 - 2021
- [j5]Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun:
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176: 114806 (2021) - [c9]Naili Xing, Sai Ho Yeung, Chenghao Cai, Teck Khim Ng, Wei Wang, Kaiyuan Yang, Nan Yang, Meihui Zhang, Gang Chen, Beng Chin Ooi:
SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysis. ACM Multimedia 2021: 1293-1302 - [i9]Naili Xing, Sai Ho Yeung, Chenghao Cai, Teck Khim Ng, Wei Wang, Kaiyuan Yang, Nan Yang, Meihui Zhang, Gang Chen, Beng Chin Ooi:
SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysis. CoRR abs/2108.02572 (2021) - [i8]Dengfeng Ke, Yuxing Lu, Xudong Liu, Yanyan Xu, Jing Sun, Chenghao Cai:
An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures. CoRR abs/2108.03008 (2021) - [i7]Yuanchao Wang, Wenji Du, Chenghao Cai, Yanyan Xu:
Explaining the Attention Mechanism of End-to-End Speech Recognition Using Decision Trees. CoRR abs/2110.03879 (2021) - 2020
- [c8]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) 2020: 369-377 - [c7]Chenghao Cai, Jing Sun, Gillian Dobbie:
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. TASE 2020: 169-176 - [i6]Chenghao Cai, Jing Sun, Gillian Dobbie:
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. CoRR abs/2003.02619 (2020) - [i5]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker. CoRR abs/2005.05520 (2020)
2010 – 2019
- 2019
- [j4]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun:
Trainable back-propagated functional transfer matrices. Appl. Intell. 49(2): 376-395 (2019) - [j3]Chenghao Cai, Jing Sun, Gillian Dobbie:
Automatic B-model repair using model checking and machine learning. Autom. Softw. Eng. 26(3): 653-704 (2019) - [c6]Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee:
Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. APSEC 2019: 260-267 - [c5]Chenghao Cai, Jing Sun, Gillian Dobbie:
Design Model Repair with Formal Verification. ICFEM 2019: 489-492 - 2018
- [c4]Chenghao Cai, Jing Sun, Gillian Dobbie:
B-Repair: Repairing B-Models Using Machine Learning. ICECCS 2018: 31-40 - [i4]Jiang-jian Xie, Chang-qing Ding, Wen-bin Li, Cheng-Hao Cai:
Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks. CoRR abs/1803.01107 (2018) - 2017
- [c3]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
Symbolic manipulation based on deep neural networks and its application to axiom discovery. IJCNN 2017: 2136-2143 - [i3]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks. CoRR abs/1704.07503 (2017) - [i2]Cheng-Hao Cai:
SLDR-DL: A Framework for SLD-Resolution with Deep Learning. CoRR abs/1705.02210 (2017) - [i1]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su, Jing Sun:
Trainable back-propagated functional transfer matrices. CoRR abs/1710.10403 (2017) - 2015
- [j2]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su:
Deep Neural Networks with Multistate Activation Functions. Comput. Intell. Neurosci. 2015: 721367:1-721367:10 (2015) - [j1]Chenghao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su:
A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems. J. Robotics 2015: 797083:1-797083:7 (2015) - [c2]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks. IJCNN 2015: 1-8 - 2014
- [c1]Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su:
Fast Learning of Deep Neural Networks via Singular Value Decomposition. PRICAI 2014: 820-826
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
