We stand with Ukraine

We stand with Ukraine

Chenghao Cai

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024

A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Code Generation Using Self-Interactive Assistant.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Automatic refactoring of conditions and substitutions for B state transition models.

[BibT_eX]

[DOI]

,

,

Softw. Pract. Exp., November, 2023

A lattice-transformer-graph deep learning model for Chinese named entity recognition.

[BibT_eX]

[DOI]

,

,

,

,

J. Intell. Syst., 2023

2022

B model quality assessments on automated reachability repair with ISO/IEC 25010.

[BibT_eX]

[DOI]

,

,

Sci. Comput. Program., 2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Scott Uk-Jin Lee

Formal Aspects Comput., 2022

Repairing Numerical Equations in Analogically Blended Theories Using Reformation.

[BibT_eX]

[DOI]

,

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

2021

Silas: A high-performance machine learning foundation for logical reasoning and verification.

[BibT_eX]

[DOI]

,

,

,

,

,

Seyedali Mirjalili

,

Expert Syst. Appl., 2021

Explaining the Attention Mechanism of End-to-End Speech Recognition Using Decision Trees.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2021

An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures.

[BibT_eX]

[DOI]

,

,

,

,

,

CoRR, 2021

SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysis.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

,

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

2020

N-PAT: A Nested Model-Checker.

[BibT_eX]

[DOI]

,

,

,

,

,

Brendan P. Mahony

,

CoRR, 2020

Measuring the Quality of B Abstract Machines with ISO/IEC 25010.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

N-PAT: A Nested Model-Checker - (System Description).

[BibT_eX]

[DOI]

,

,

,

,

,

Brendan P. Mahony

,

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Automatic B-model repair using model checking and machine learning.

[BibT_eX]

[DOI]

,

,

Autom. Softw. Eng., 2019

Trainable back-propagated functional transfer matrices.

[BibT_eX]

[DOI]

,

,

,

,

Appl. Intell., 2019

Design Model Repair with Formal Verification.

[BibT_eX]

[DOI]

,

,

Proceedings of the Formal Methods and Software Engineering, 2019

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment.

[BibT_eX]

[DOI]

,

,

,

Scott Uk-Jin Lee

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks.

[BibT_eX]

[DOI]

,

Chang-qing Ding

,

,

CoRR, 2018

B-Repair: Repairing B-Models Using Machine Learning.

[BibT_eX]

[DOI]

,

,

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2017

SLDR-DL: A Framework for SLD-Resolution with Deep Learning.

[BibT_eX]

[DOI]

CoRR, 2017

Symbolic manipulation based on deep neural networks and its application to axiom discovery.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

2015

A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems.

[BibT_eX]

[DOI]

,

,

,

J. Robotics, 2015

Deep Neural Networks with Multistate Activation Functions.

[BibT_eX]

[DOI]

,

,

,

Comput. Intell. Neurosci., 2015

A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

2014

Fast Learning of Deep Neural Networks via Singular Value Decomposition.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Loading...