
Deep Descriptor Transforming for Image CoLocalization
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 weaklysupervised deep learning framework for learning from web data
Largescale datasets have driven the rapid development of deep neural ne...
read it

Image Colocalization 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 Midlevel Visual Patterns with Deep CNN Activations
The purpose of midlevel visual element discovery is to find clusters of...
read it

Midlevel Deep Pattern Mining
Midlevel 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

Ready, Set, Verify! Applying hstocoq to realworld Haskell code
Good tools can bring mechanical verification to programs written in main...
read it

Adversarial 3D Human Pose Estimation via Multimodal Depth Supervision
In this paper, a novel deeplearning based framework is proposed to infe...
read it

Image SuperResolution Using VDSRResNeXt and SRCGAN
Over the past decade, many Super Resolution techniques have been develop...
read it

AdvBNN: Improved Adversarial Defense through Robust Bayesian Neural Network
We present a new algorithm to train a robust neural network against adve...
read it

Optimal Transport Classifier: Defending Against Adversarial Attacks by Regularized Deep Embedding
Recent studies have demonstrated the vulnerability of deep convolutional...
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

On linear convergence of two decentralized algorithms
Decentralized algorithms solve multiagent problems over a connected net...
read it

Improve variational autoEncoder with auxiliary softmax multiclassifier
As a generalpurpose generative model architecture, VAE has been widely ...
read it

A Double Residual Compression Algorithm for Efficient Distributed Learning
Largescale machine learning models are often trained by parallel stocha...
read it

Using coupling methods to estimate sample quality for stochastic differential equations
A probabilistic approach for estimating sample qualities for stochastic ...
read it

Numerical computations of geometric ergodicity for stochastic dynamics
A probabilistic approach of computing geometric rate of convergence of s...
read it

Stationary distributions of persistent ecological systems
We analyze ecological systems that are influenced by random environmenta...
read it

A FractionalOrder Normalized BoucWen Model for Piezoelectric Hysteresis Nonlinearity
This paper presents a new fractionalorder normalized BoucWen (BW) (FON...
read it

Embracing a mechanized formalization gap
If a code base is so big and complicated that complete mechanical verifi...
read it