
-
A deep learning method for solving Fokker-Planck equations
The time evolution of the probability distribution of a stochastic diffe...
read it
-
A deep learning based interactive sketching system for fashion images design
In this work, we propose an interactive system to design diverse high-qu...
read it
-
Linear Convergent Decentralized Optimization with Compression
Communication compression has been extensively adopted to speed up large...
read it
-
Towards Better Opioid Antagonists Using Deep Reinforcement Learning
Naloxone, an opioid antagonist, has been widely used to save lives from ...
read it
-
A Fractional-Order Normalized Bouc-Wen Model for Piezoelectric Hysteresis Nonlinearity
This paper presents a new fractional-order normalized Bouc-Wen (BW) (FON...
read it
-
Stationary distributions of persistent ecological systems
We analyze ecological systems that are influenced by random environmenta...
read it
-
Numerical computations of geometric ergodicity for stochastic dynamics
A probabilistic approach of computing geometric rate of convergence of s...
read it
-
Using coupling methods to estimate sample quality for stochastic differential equations
A probabilistic approach for estimating sample qualities for stochastic ...
read it
-
Embracing a mechanized formalization gap
If a code base is so big and complicated that complete mechanical verifi...
read it
-
A Double Residual Compression Algorithm for Efficient Distributed Learning
Large-scale machine learning models are often trained by parallel stocha...
read it
-
Improve variational autoEncoder with auxiliary softmax multiclassifier
As a general-purpose generative model architecture, VAE has been widely ...
read it
-
On linear convergence of two decentralized algorithms
Decentralized algorithms solve multi-agent problems over a connected net...
read it
-
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
We present the first formal verification of a networked server implement...
read it
-
Optimal Transport Classifier: Defending Against Adversarial Attacks by Regularized Deep Embedding
Recent studies have demonstrated the vulnerability of deep convolutional...
read it
-
Image Super-Resolution Using VDSR-ResNeXt and SRCGAN
Over the past decade, many Super Resolution techniques have been develop...
read it
-
Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network
We present a new algorithm to train a robust neural network against adve...
read it
-
Adversarial 3D Human Pose Estimation via Multimodal Depth Supervision
In this paper, a novel deep-learning based framework is proposed to infe...
read it
-
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Good tools can bring mechanical verification to programs written in main...
read it
-
Deep Descriptor Transforming for Image Co-Localization
Reusable model design becomes desirable with the rapid expansion of mach...
read it
-
Sequential Person Recognition in Photo Albums with a Recurrent Network
Recognizing the identities of people in everyday photos is still a very ...
read it
-
Attend in groups: a weakly-supervised deep learning framework for learning from web data
Large-scale datasets have driven the rapid development of deep neural ne...
read it
-
Image Co-localization by Mimicking a Good Detector's Confidence Score Distribution
Given a set of images containing objects from the same category, the tas...
read it
-
Mining Mid-level Visual Patterns with Deep CNN Activations
The purpose of mid-level visual element discovery is to find clusters of...
read it
-
Mid-level Deep Pattern Mining
Mid-level visual element discovery aims to find clusters of image patche...
read it
-
Contextual Hypergraph Modelling for Salient Object Detection
Salient object detection aims to locate objects that capture human atten...
read it
-
Characterness: An Indicator of Text in the Wild
Text in an image provides vital information for interpreting its content...
read it