07-15-2021
|
SMLtoCoq: Automated Generation of Coq Specifications
and Proof Obligations from SML Programs with Contracts
by
Laila El-Beheiry
et al
|
|
|
|
07-14-2021
|
Scalable Evaluation of Multi-Agent Reinforcement
Learning with Melting Pot
by
Joel Z. Leibo
et al
|
|
|
|
07-14-2021
|
Localization Based Sequential Grouping for Continuous
Speech Separation
by
Zhong-Qiu Wang
et al
|
|
|
|
07-13-2021
|
Model-Parallel Model Selection for Deep Learning
Systems
by
Kabir Nagrecha
|
|
|
|
07-15-2021
|
Adelfa: A System for Reasoning about LF Specifications
by
Mary Southern
et al
|
|
|
|
07-15-2021
|
Automating Induction by Reflection
by
Johannes Schoisswohl
et al
|
|
|
|
07-13-2021
|
Why Generalization in RL is Difficult: Epistemic POMDPs
and Implicit Partial Observability
by
Dibya Ghosh
et al
|
|
|
|
07-16-2021
|
When does loss-based prioritization fail?
by
Niel Teng Hu
et al
|
|
|
|
07-15-2021
|
Subnet Replacement: Deployment-stage backdoor attack
against deep neural networks in gray-box setting
by
Xiangyu Qi
et al
|
|
|
|
07-16-2021
|
MS-MDA: Multisource Marginal Distribution Adaptation
for Cross-subject and Cross-session EEG Emotion
Recognition
by
Hao Chen
et al
|
|
|
|
07-16-2021
|
EGC2: Enhanced Graph Classification with Easy Graph
Compression
by
Jinyin Chen
et al
|
|
|
|
07-16-2021
|
Analysing Design Approaches for the Power Consumption
in Cyber-Physical Systems
by
Patrizia Sailer
et al
|
|
|
|
07-13-2021
|
Learning based E2E Energy Efficient in Joint Radio and
NFV Resource Allocation for 5G and Beyond Networks
by
Narges Gholipoor
et al
|
|
|
|
07-13-2021
|
On the Hat Guessing Number of Graphs
by
Noga Alon
et al
|
|
|
|
07-13-2021
|
Motion-Aware Robotic 3D Ultrasound
by
Zhongliang Jiang
et al
|
|
|
|
07-15-2021
|
StyleFusion: A Generative Model for Disentangling
Spatial Segments
by
Omer Kafri
et al
|
|
|
|
07-15-2021
|
From Reddit to Wall Street: The role of committed
minorities in financial collective action
by
Lorenzo Lucchini
et al
|
|
|
|
07-16-2021
|
Versatile modular neural locomotion control with fast
learning
by
Mathias Thor
et al
|
|
|
|
07-16-2021
|
Deep Learning Beam Optimization in Millimeter-Wave
Communication Systems
by
Rafail Ismayilov
et al
|
|
|
|
07-16-2021
|
On Two-Pass Streaming Algorithms for Maximum Bipartite
Matching
by
Christian Konrad
et al
|
|
|
|
07-16-2021
|
Deep Learning Based Hybrid Precoding in Dual-Band
Communication Systems
by
Rafail Ismayilov
et al
|
|
|
|
07-16-2021
|
A Survey of Knowledge Graph Embedding and Their
Applications
by
Shivani Choudhary
et al
|
|
|
|
07-13-2021
|
First-Order Logic with Connectivity Operators
by
Nicole Schrader
et al
|
|
|
|
07-13-2021
|
CentripetalText: An Efficient Text Instance
Representation for Scene Text Detection
by
Tao Sheng
et al
|
|
|
|
07-13-2021
|
A class of APcN power functions over finite fields of
even characteristic
by
Ziran Tu
et al
|
|
|
|
07-13-2021
|
Going Beyond Linear RL: Sample Efficient Neural
Function Approximation
by
Baihe Huang
et al
|
|
|
|
07-13-2021
|
Learned Image Compression with Discretized
Gaussian-Laplacian-Logistic Mixture Model and
Concatenated Residual Modules
by
Haisheng Fu
et al
|
|
|
|
07-15-2021
|
Depth Estimation from Monocular Images and Sparse radar
using Deep Ordinal Regression Network
by
Chen-Chou Lo
et al
|
|
|
|
07-13-2021
|
3D Acoustic-Elastic Coupling with Gravity: The Dynamics
of the 2018 Palu, Sulawesi Earthquake and Tsunami
by
Lukas Krenz
et al
|
|
|
|
07-13-2021
|
Cats, not CAT scans: a study of dataset similarity in
transfer learning for 2D medical image classification
by
Irma van den Brandt
et al
|
|
|
|
07-15-2021
|
On the Importance of Regularisation & Auxiliary
Information in OOD Detection
by
John Mitros
et al
|
|
|
|
07-13-2021
|
Promise Constraint Satisfaction and Width
by
Albert Atserias
et al
|
|
|
|
07-13-2021
|
GREN: Graph-Regularized Embedding Network for
Weakly-Supervised Disease Localization in X-ray images
by
Baolian Qi
et al
|
|
|
|
07-13-2021
|
Calibrated Uncertainty for Molecular Property
Prediction using Ensembles of Message Passing Neural
Networks
by
Jonas Busk
et al
|
|
|
|
07-13-2021
|
Hierarchical Associative Memory
by
Dmitry Krotov
|
|
|
|
07-13-2021
|
Efficient and Reactive Planning for High Speed Robot
Air Hockey
by
Puze Liu
et al
|
|
|
|
07-16-2021
|
A Comparison of Deep Learning Classification Methods on
Small-scale Image Data set: from Converlutional Neural
Networks to Visual Transformers
by
Peng Zhao
et al
|
|
|
|
07-15-2021
|
Applying Declarative Analysis to Software Product Line
Models: An Industrial Study
by
Ramy Shahin
et al
|
|
|
|
07-15-2021
|
Intersectional Bias in Causal Language Models
by
Liam Magee
et al
|
|
|
|
07-15-2021
|
Imitate TheWorld: A Search Engine Simulation Platform
by
Yongqing Gao
et al
|
|
|
|
07-16-2021
|
Self-Supervised Learning Framework for Remote Heart
Rate Estimation Using Spatiotemporal Augmentation
by
Hao Wang
et al
|
|
|
|
07-16-2021
|
Constrained Feedforward Neural Network Training via
Reachability Analysis
by
Long Kiu Chung
et al
|
|
|
|
07-13-2021
|
Oversampling Divide-and-conquer for Response-skewed
Kernel Ridge Regression
by
Jingyi Zhang
et al
|
|
|
|
07-14-2021
|
Multilinear extension of kk-submodular functions
by
Baoxiang Wang
et al
|
|
|
|
07-15-2021
|
A Survey of Perception-Based Visualization Studies by
Task
by
Ghulam Jilani Quadri
et al
|
|
|
|
07-14-2021
|
Federated Self-Training for Semi-Supervised Audio
Recognition
by
Vasileios Tsouvalas
et al
|
|
|
|
07-14-2021
|
Scalable Optimal Transport in High Dimensions for Graph
Distances, Embedding Alignment, and More
by
Johannes Klicpera
et al
|
|
|
|
07-14-2021
|
DULA: A Differentiable Ergonomics Model for Postural
Optimization in Physical HRI
by
Amir Yazdani
et al
|
|
|
|
07-15-2021
|
Online Learning for Recommendations at Grubhub
by
Alex Egg
|
|
|
|
07-13-2021
|
End-to-end Ultrasound Frame to Volume Registration
by
Hengtao Guo
et al
|
|
|
|
07-13-2021
|
Object Tracking and Geo-localization from Street Images
by
Daniel Wilson
et al
|
|
|
|
07-13-2021
|
Robust Learning of Optimal Auctions
by
Wenshuo Guo
et al
|
|
|
|
07-14-2021
|
A Field Guide to Federated Optimization
by
Jianyu Wang
et al
|
|
|
|
07-15-2021
|
An Efficient and Small Convolutional Neural Network for
Pest Recognition -- ExquisiteNet
by
Shi-Yao Zhou
et al
|
|
|
|
07-16-2021
|
Recognizing bird species in diverse soundscapes under
weak supervision
by
Christof Henkel
et al
|
|
|
|
07-15-2021
|
Temporal-aware Language Representation Learning From
Crowdsourced Labels
by
Yang Hao
et al
|
|
|
|
07-13-2021
|
Learning a Discriminant Latent Space with Neural
Discriminant Analysis
by
Mai Lan Ha
et al
|
|
|
|
07-14-2021
|
Multi-Attention Generative Adversarial Network for
Remote Sensing Image Super-Resolution
by
Meng Xu
et al
|
|
|
|
07-14-2021
|
Zeroth and First Order Stochastic Frank-Wolfe
Algorithms for Constrained Optimization
by
Zeeshan Akhtar
et al
|
|
|
|
07-13-2021
|
3D Parametric Wireframe Extraction Based on Distance
Fields
by
Albert Matveev
et al
|
|
|
|
07-14-2021
|
Detection of Abnormal Behavior with Self-Supervised
Gaze Estimation
by
Suneung-Kim
et al
|
|
|
|
07-14-2021
|
The Benchmark Lottery
by
Mostafa Dehghani
et al
|
|
|
|
07-13-2021
|
A Theoretical Framework for Learning from Quantum Data
by
Mohsen Heidari
et al
|
|
|
|
07-13-2021
|
Using BERT Encoding to Tackle the Mad-lib Attack in SMS
Spam Detection
by
Sergio Rojas-Galeano
|
|
|
|
07-16-2021
|
Nearest neighbor Methods and their Applications in
Design of 5G & Beyond Wireless Networks
by
Syed Ali Raza Zaidi
|
|
|
|
07-16-2021
|
MD Simulation of Hundred-Billion-Metal-Atom Cascade
Collision on Sunway Taihulight
by
Genshen Chu
et al
|
|
|
|
07-15-2021
|
Variational Topic Inference for Chest X-Ray Report
Generation
by
Ivona Najdenkoska
et al
|
|
|
|
07-15-2021
|
Sparse Fourier Transform by traversing Cooley-Tukey FFT
computation graphs
by
Karl Bringmann
et al
|
|
|
|
07-15-2021
|
Linear Programming Bounds for Almost-Balanced Binary
Codes
by
Venkatesan Guruswami
et al
|
|
|
|
07-15-2021
|
PC-MLP: Model-based Reinforcement Learning with Policy
Cover Guided Exploration
by
Yuda Song
et al
|
|
|
|
07-16-2021
|
Robust Online Control with Model Misspecification
by
Xinyi Chen
et al
|
|
|
|
07-13-2021
|
Timbre Classification of Musical Instruments with a
Deep Learning Multi-Head Attention-Based Model
by
Carlos Hernandez-Olivan
et al
|
|
|
|
07-13-2021
|
Maintaining CMSO2CMSO2 properties on dynamic structures
with bounded feedback vertex number
by
Konrad Majewski
et al
|
|
|
|
07-15-2021
|
Beyond In-Place Corruption: Insertion and Deletion In
Denoising Probabilistic Models
by
Daniel D. Johnson
et al
|
|
|
|
07-15-2021
|
StyleVideoGAN: A Temporal Generative Model using a
Pretrained StyleGAN
by
Gereon Fox
et al
|
|
|
|
07-15-2021
|
Predicting Daily Trading Volume via Various Hidden
States
by
Shaojun Ma
et al
|
|
|
|
07-16-2021
|
S2TA: Exploiting Structured Sparsity for
Energy-Efficient Mobile CNN Acceleration
by
Zhi-Gang Liu
et al
|
|
|
|
07-13-2021
|
Finite Model Property and Bisimulation for LFD
by
Raoul Koudijs
|
|
|
|
07-13-2021
|
Complexity and Second Moment of the Mathematical Theory
of Communication
by
Hsin-Po Wang
|
|
|
|
07-13-2021
|
Learning to Recommend Items to Wikidata Editors
by
Kholoud AlGhamdi
et al
|
|
|
|
07-13-2021
|
Tourbillon: a Physically Plausible Neural Architecture
by
Mohammadamin Tavakoli
et al
|
|
|
|
07-13-2021
|
TSCAN : Dialog Structure discovery using SCAN
by
Apurba Nath
et al
|
|
|
|
07-16-2021
|
Tracing Halpha Fibrils through Bayesian Deep Learning
by
Haodi Jiang
et al
|
|
|
|
07-16-2021
|
Single Pass Entrywise-Transformed Low Rank
Approximation
by
Yifei Jiang
et al
|
|
|
|
07-14-2021
|
Safer Reinforcement Learning through Transferable
Instinct Networks
by
Djordje Grbic
et al
|
|
|
|
07-14-2021
|
Unsupervised Neural Rendering for Image Hazing
by
Boyun Li
et al
|
|
|
|
07-16-2021
|
Representation Consolidation for Training Expert
Students
by
Zhizhong Li
et al
|
|
|
|
07-13-2021
|
Monotonicity and Noise-Tolerance in Case-Based
Reasoning with Abstract Argumentation (with Appendix)
by
Guilherme Paulino-Passos
et al
|
|
|
|
07-16-2021
|
Testing Surrogate-Based Optimization with the Fortified
Branin-Hoo Extended to Four Dimensions
by
Charles F. Jekel
et al
|
|
|
|
07-16-2021
|
Pilot Study Suggests Online Media Literacy Programming
Reduces Belief in False News in Indonesia
by
Pamela Bilo Thomas
et al
|
|
|
|
07-16-2021
|
CCVS: Context-aware Controllable Video Synthesis
by
Guillaume Le Moing
et al
|
|
|
|
07-16-2021
|
The strong converse exponent of discriminating
infinite-dimensional quantum states
by
Milán Mosonyi
|
|
|
|
07-16-2021
|
Is attention to bounding boxes all you need for
pedestrian action prediction?
by
Lina Achaji
et al
|
|
|
|
07-16-2021
|
A New Robust Multivariate Mode Estimator for
Eye-tracking Calibration
by
Adrien Brilhault
et al
|
|
|
|
07-14-2021
|
STAR: Sparse Transformer-based Action Recognition
by
Feng Shi
et al
|
|
|
|
07-14-2021
|
Entropic Inequality Constraints from ee-separation
Relations in Directed Acyclic Graphs with Hidden
Variables
by
Noam Finkelstein
et al
|
|
|
|
07-15-2021
|
High-level Decisions from a Safe Maneuver Catalog with
Reinforcement Learning for Safe and Cooperative
Automated Merging
by
Danial Kamran
et al
|
|
|
|
07-15-2021
|
Unsupervised Anomaly Instance Segmentation for Baggage
Threat Recognition
by
Taimur Hassan
et al
|
|
|
|
07-15-2021
|
Negative time splitting is stable
by
Dong Li
et al
|
|
|
|
07-15-2021
|
EPTAS for stable allocations in matching games
by
Felipe Garrido-Lucero
et al
|
|
|
|
07-13-2021
|
Region attention and graph embedding network for
occlusion objective class-based micro-expression
recognition
by
Qirong Mao
et al
|
|
|
|
07-15-2021
|
Improving Security in McAdams Coefficient-Based Speaker
Anonymization by Watermarking Method
by
Candy Olivia Mawalim
et al
|
|
|
|
07-15-2021
|
TAPEX: Table Pre-training via Learning a Neural SQL
Executor
by
Qian Liu
et al
|
|
|
|
07-15-2021
|
Geometric Value Iteration: Dynamic Error-Aware KL
Regularization for Reinforcement Learning
by
Toshinori Kitamura
et al
|
|
|
|
07-13-2021
|
A Configurable Multilingual Model is All You Need to
Recognize All Languages
by
Long Zhou
et al
|
|
|
|
07-13-2021
|
GA and ILS for optimizing the size of NFA models
by
Frédéric Lardeux
et al
|
|
|
|
07-13-2021
|
Potential singularity of the 3D Euler equations in the
interior domain
by
Thomas Y. Hou
|
|
|
|
07-14-2021
|
Support Constrained Generator Matrices and the
Generalized Hamming Weights
by
Hao Chen
|
|
|
|
07-14-2021
|
Applying the Case Difference Heuristic to Learn
Adaptations from Deep Network Features
by
Xiaomeng Ye
et al
|
|
|
|
07-14-2021
|
Dynamic Event Camera Calibration
by
Kun Huang
et al
|
|
|
|
07-13-2021
|
Domain-Irrelevant Representation Learning for
Unsupervised Domain Generalization
by
Xingxuan Zhang
et al
|
|
|
|
07-16-2021
|
Wasserstein Distances, Geodesics and Barycenters of
Merge Trees
by
Mathieu Pont
et al
|
|
|
|