Search Results for author:
Found 6 papers, 1 papers with code
A Survey on Deep Learning for Theorem Proving
Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in mathematical language to rigorous derivations in formal systems.
Exploit CAM by itself: Complementary Learning System for Weakly Supervised Semantic Segmentation
Motivated by this simple but effective learning pattern, we propose a General-Specific Learning Mechanism (GSLM) to explicitly drive a coarse-grained CAM to a fine-grained pseudo mask.
Identification and classification of exfoliated graphene flakes from microscopy images using a hierarchical deep convolutional neural network
Currently, identification and classification of exfoliated graphene flakes are conducted by human via inspecting the optical microscope images.
Face Deblurring Based on Separable Normalization and Adaptive Denormalization
Face deblurring aims to restore a clear face image from a blurred input image with more explicit structure and facial details.
Domain Embedded Multi-model Generative Adversarial Networks for Image-based Face Inpainting
We firstly represent only face regions using the latent variable as the domain knowledge and combine it with the non-face parts textures to generate high-quality face images with plausible contents.
Training Multiscale-CNN for Large Microscopy Image Classification in One Hour
In this work, we train a multi-scale convolutional neural network (M-CNN) to classify large biomedical images for high content screening in one hour.
