research
∙
08/06/2021
An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures
With the rapid development of neural network architectures and speech pr...
share
research
∙
05/12/2020
N-PAT: A Nested Model-Checker
N-PAT is a new model-checking tool that supports the verification of nes...
research
∙
03/04/2020
Measuring the Quality of B Abstract Machines with ISO/IEC 25010
The B method has facilitated the development of software by specifying t...
research
∙
03/03/2018
Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks
Based on the transfer learning, we design a bird species identification ...
research
∙
10/28/2017
Trainable back-propagated functional transfer matrices
Connections between nodes of fully connected neural networks are usually...
research
∙
05/05/2017
SLDR-DL: A Framework for SLD-Resolution with Deep Learning
This paper introduces an SLD-resolution technique based on deep learning...
research
∙
04/25/2017