Computer Science

Authors and titles for Jul 2020

[1]  arXiv:2007.00003 [pdf, ps, other]

Title: EQUS -- helping to see formulae

Authors: Chris Roast

Comments: 12 Pages, 7 Colour Figures

Journal-ref: Proceedings of the EuSpRIG 2019 Conference "Spreadsheet Risk Management", Browns, Covent Garden, London, pp115-126, ISBN: 978-1-905404-56-8

Subjects: Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[2]  arXiv:2007.00024 [pdf, other]

Title: Data-driven Regularization via Racecar Training for Generalizing Neural Networks

Authors: You Xie, Nils Thuerey

Comments: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[3]  arXiv:2007.00028 [pdf, other]

Title: Gradient Methods Never Overfit On Separable Data

Authors: Ohad Shamir

Comments: Added a short appendix on polynomially-tailed losses; some minor edits

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[4]  arXiv:2007.00033 [pdf, ps, other]

Title: Traceable Policy-Based Signatures and Instantiation from Lattices

Authors: Yanhong Xu, Reihaneh Safavi-Naini, Khoa Nguyen, Huaxiong Wang

Comments: 37 pages,5 figures

Subjects: Cryptography and Security (cs.CR)

[5]  arXiv:2007.00045 [pdf, ps, other]

Title: K-Nearest Neighbour and Support Vector Machine Hybrid Classification

Authors: A. M. Hafiz

Journal-ref: International Journal of Imaging and Robotics, Vol.19, No.4, pp.33-41, CESER Publications (2019)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Machine Learning (stat.ML)

[6]  arXiv:2007.00046 [pdf, ps, other]

Title: Fast Training of Deep Networks with One-Class CNNs

Authors: Abdul Mueed Hafiz, Ghulam Mohiuddin Bhat

Comments: Camera Ready: 2nd International Conference on Cybernetics, Cognition and Machine Learning Applications(ICCCMLA), 2020, India

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Image and Video Processing (eess.IV)

[7]  arXiv:2007.00047 [pdf, ps, other]

Title: A Survey on Instance Segmentation: State of the art

Authors: Abdul Mueed Hafiz, Ghulam Mohiuddin Bhat

Comments: Int J Multimed Info Retr (2020)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Image and Video Processing (eess.IV)

[8]  arXiv:2007.00049 [pdf, other]

Title: OSCaR: Orthogonal Subspace Correction and Rectification of Biases in Word Embeddings

Authors: Sunipa Dev, Tao Li, Jeff M Phillips, Vivek Srikumar

Journal-ref: EMNLP 2021

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[9]  arXiv:2007.00051 [pdf, other]

Title: Extracurricular Learning: Knowledge Transfer Beyond Empirical Distribution

Authors: Hadi Pouransari, Mojan Javaheripi, Vinay Sharma, Oncel Tuzel

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[10]  arXiv:2007.00054 [pdf, other]

Title: Twitter and Census Data Analytics to Explore Socioeconomic Factors for Post-COVID-19 Reopening Sentiment

Authors: Md. Mokhlesur Rahman, G. G. Md. Nawaz Ali, Xue Jun Li, Kamal Chandra Paul, Peter H.J. Chong

Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

[11]  arXiv:2007.00056 [pdf, other]

Title: SParSH-AMG: A library for hybrid CPU-GPU algebraic multigrid and preconditioned iterative methods

Authors: Sashikumaar Ganesan, Manan Shah

Comments: 21 pages, 17 figures

Subjects: Mathematical Software (cs.MS)

[12]  arXiv:2007.00059 [pdf, other]

Title: Autosploit: A Fully Automated Framework for Evaluating the Exploitability of Security Vulnerabilities

Authors: Noam Moscovich, Ron Bitton, Yakov Mallah, Masaki Inokuchi, Tomohiko Yagyu, Meir Kalech, Yuval Elovici, Asaf Shabtai

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[13]  arXiv:2007.00060 [pdf, other]

Title: TDO-CIM: Transparent Detection and Offloading for Computation In-memory

Authors: Kanishkan Vadivel, Lorenzo Chelini, Ali BanaGozar, Gagandeep Singh, Stefano Corda, Roel Jordans, Henk Corporaal

Comments: Full version of DATE2020 publication

Subjects: Hardware Architecture (cs.AR); Emerging Technologies (cs.ET)

[14]  arXiv:2007.00062 [pdf, other]

Title: Deep Feature Space: A Geometrical Perspective

Authors: Ioannis Kansizoglou, Loukas Bampis, Antonios Gasteratos

Comments: Accepted for publication in IEEE Transactions on Pattern Analysis and Machine Intelligence

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computational Geometry (cs.CG); Machine Learning (cs.LG)

[15]  arXiv:2007.00066 [pdf, other]

Title: Preconditioning Markov Chain Monte Carlo Method for Geomechanical Subsidence using multiscale method and machine learning technique

Authors: Maria Vasilyeva, Aleksei Tyrylgin, Donald L. Brown, Anirban Mondal

Subjects: Numerical Analysis (math.NA)

[16]  arXiv:2007.00067 [pdf, other]

Title: Adversarial Mutual Information for Text Generation

Authors: Boyuan Pan, Yazheng Yang, Kaizhao Liang, Bhavya Kailkhura, Zhongming Jin, Xian-Sheng Hua, Deng Cai, Bo Li

Comments: Published at ICML 2020

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Machine Learning (stat.ML)

[17]  arXiv:2007.00072 [pdf, other]

Title: Data Movement Is All You Need: A Case Study on Optimizing Transformers

Authors: Andrei Ivanov, Nikoli Dryden, Tal Ben-Nun, Shigang Li, Torsten Hoefler

Comments: 22 pages, 8 figures; MLSys 2021 camera ready

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[18]  arXiv:2007.00074 [pdf, other]

Title: Deep Geometric Texture Synthesis

Authors: Amir Hertz, Rana Hanocka, Raja Giryes, Daniel Cohen-Or

Comments: SIGGRAPH 2020

Subjects: Graphics (cs.GR); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[19]  arXiv:2007.00075 [pdf, other]

Title: A $C^1$-continuous Trace-Finite-Cell-Method for linear thin shell analysis on implicitly defined surfaces

Authors: Michael Gfrerer

Comments: submitted to Computational Mechanics

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[20]  arXiv:2007.00077 [pdf, other]

Title: Similarity Search for Efficient Active Learning and Search of Rare Concepts

Authors: Cody Coleman, Edward Chou, Julian Katz-Samuels, Sean Culatana, Peter Bailis, Alexander C. Berg, Robert Nowak, Roshan Sumbaly, Matei Zaharia, I. Zeki Yalniz

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)

[21]  arXiv:2007.00080 [pdf, ps, other]

Title: Provably More Efficient Q-Learning in the One-Sided-Feedback/Full-Feedback Settings

Authors: Xiao-Yue Gong, David Simchi-Levi

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[22]  arXiv:2007.00081 [pdf, other]

Title: Continuous-Time Multi-Armed Bandits with Controlled Restarts

Authors: Semih Cayci, Atilla Eryilmaz, R. Srikant

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

[23]  arXiv:2007.00083 [pdf, other]

Title: Using Human Psychophysics to Evaluate Generalization in Scene Text Recognition Models

Authors: Sahar Siddiqui, Elena Sizikova, Gemma Roig, Najib J. Majaj, Denis G. Pelli

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[24]  arXiv:2007.00085 [pdf, other]

Title: Enforcing Almost-Sure Reachability in POMDPs

Authors: Sebastian Junges, Nils Jansen, Sanjit A. Seshia

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Systems and Control (eess.SY)

[25]  arXiv:2007.00088 [pdf, other]

Title: Evaluation of Fairness Trade-offs in Predicting Student Success

Authors: Hansol Lee, René F. Kizilcec

Comments: FATED (Fairness, Accountability, and Transparency in Educational Data) Workshop at EDM 2020

Subjects: Computers and Society (cs.CY); Machine Learning (cs.LG)

[26]  arXiv:2007.00090 [pdf, ps, other]

Title: Scattered one-counter languges have rank less than $ω^2$

Authors: Szabolcs Ivan

Subjects: Formal Languages and Automata Theory (cs.FL)

[27]  arXiv:2007.00094 [pdf, other]

Title: Efficient parallel 3D computation of the compressible Euler equations with an invariant-domain preserving second-order finite-element scheme

Authors: Matthias Maier, Martin Kronbichler

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[28]  arXiv:2007.00095 [pdf, other]

Title: Deep Learning for Vision-based Prediction: A Survey

Authors: Amir Rasouli

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Robotics (cs.RO)

[29]  arXiv:2007.00100 [pdf, other]

Title: Robust Multi-Agent Task Assignment in Failure-Prone and Adversarial Environments

Authors: Russell Schwartz (1), Pratap Tokekar (1) ((1) University of Maryland, College Park)

Comments: 6 pages, 3 figures, 3 algorithms; submitted to the Workshop on Heterogeneous Multi-Robot Task Allocation and Coordination (RSS 2020)

Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA)

[30]  arXiv:2007.00101 [pdf, other]

Title: Traffic Delay Reduction at Highway Diverges Using an Advance Warning System Based on a Probabilistic Prediction Model

Authors: Goodarz Mehr, Azim Eskandarian

Comments: Removed IET formatting. arXiv admin note: substantial text overlap with arXiv:2007.14232

Journal-ref: Journal of Transportation Engineering, Part A: Systems Vol. 147, Issue 9 (September 2021)

Subjects: Systems and Control (eess.SY)

[31]  arXiv:2007.00102 [pdf, ps, other]

Title: Verification of indefinite-horizon POMDPs

Authors: Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Comments: Technical report for ATVA 2020 paper with the same title

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[32]  arXiv:2007.00104 [pdf, other]

Title: The Meshing of the Sky: Delivering Ubiquitous Connectivity to Ground Internet of Things

Authors: Laila Abouzaid, Essaid Sabir, Halima Elbiaze, Ahmed Errami, Othmane Benhmammouch

Subjects: Networking and Internet Architecture (cs.NI)

[33]  arXiv:2007.00111 [pdf, ps, other]

Title: An Approach to Regular Separability in Vector Addition Systems

Authors: Wojciech Czerwiński, Georg Zetzsche

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[34]  arXiv:2007.00112 [pdf, other]

Title: Robustness to Transformations Across Categories: Is Robustness To Transformations Driven by Invariant Neural Representations?

Authors: Hojin Jang, Syed Suleman Abbas Zaidi, Xavier Boix, Neeraj Prasad, Sharon Gilad-Gutnick, Shlomit Ben-Ami, Pawan Sinha

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[35]  arXiv:2007.00113 [pdf, other]

Title: Long-term Pedestrian Trajectory Prediction using Mutable Intention Filter and Warp LSTM

Authors: Zhe Huang, Aamir Hasan, Kazuki Shin, Ruohua Li, Katherine Driggs-Campbell

Comments: Accepted by RA-L Special Issue on Long-Term Human Motion Prediction

Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV)

[36]  arXiv:2007.00114 [pdf, other]

Title: FathomNet: An underwater image training database for ocean exploration and discovery

Authors: Océane Boulais, Ben Woodward, Brian Schlining, Lonny Lundsten, Kevin Barnard, Katy Croff Bell, Kakani Katija

Comments: 8 pages, 6 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Databases (cs.DB)

[37]  arXiv:2007.00119 [pdf, other]

Title: Graph Neural Networks Including Sparse Interpretability

Authors: Chris Lin, Gerald J. Sun, Krishna C. Bulusu, Jonathan R. Dry, Marylens Hernandez

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[38]  arXiv:2007.00125 [pdf, other]

Title: Situation Calculus by Term Rewriting

Authors: David A. Plaisted

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[39]  arXiv:2007.00127 [pdf, other]

Title: Identifying Packet Loss and Reordering Packets in Keyed UDP Transmissions

Authors: Fábio Machado Gil, Nuno M. Garcia, Bárbara Matos, Nuno Pombo, Rossitza Goleva, Ciprian Dobre

Comments: 5 pages, 4 figures

Subjects: Networking and Internet Architecture (cs.NI)

[40]  arXiv:2007.00144 [pdf, other]

Title: A Sequential Self Teaching Approach for Improving Generalization in Sound Event Recognition

Authors: Anurag Kumar, Vamsi Krishna Ithapu

Comments: Accepted International Conference on Machine Learning $\textbf{(ICML) 2020}$. 14 pages

Subjects: Sound (cs.SD); Machine Learning (cs.LG); Audio and Speech Processing (eess.AS)

[41]  arXiv:2007.00145 [pdf, other]

Title: Modality-Agnostic Attention Fusion for visual search with text feedback

Authors: Eric Dodds, Jack Culpepper, Simao Herdade, Yang Zhang, Kofi Boakye

Comments: 14 pages, 8 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Machine Learning (cs.LG)

[42]  arXiv:2007.00146 [pdf, other]

Title: Generating Adversarial Examples with an Optimized Quality

Authors: Aminollah Khormali, DaeHun Nyang, David Mohaisen

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[43]  arXiv:2007.00147 [pdf, other]

Title: Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications

Authors: Eric Wong, Tim Schneider, Joerg Schmitt, Frank R. Schmidt, J. Zico Kolter

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[44]  arXiv:2007.00148 [pdf, ps, other]

Title: Dynamic Regret of Policy Optimization in Non-stationary Environments

Authors: Yingjie Fei, Zhuoran Yang, Zhaoran Wang, Qiaomin Xie

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

[45]  arXiv:2007.00151 [pdf, other]

Title: Early-Learning Regularization Prevents Memorization of Noisy Labels

Authors: Sheng Liu, Jonathan Niles-Weed, Narges Razavian, Carlos Fernandez-Granda

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)

[46]  arXiv:2007.00155 [pdf, other]

Title: Semi-supervised Sequential Generative Models

Authors: Michael Teng, Tuan Anh Le, Adam Scibior, Frank Wood

Comments: Accepted to Uncertainty in Artificial Intelligence 2020

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[47]  arXiv:2007.00156 [pdf, other]

Title: Enabling Compute-Communication Overlap in Distributed Deep Learning Training Platforms

Authors: Saeed Rashidi, Matthew Denton, Srinivas Sridharan, Sudarshan Srinivasan, Amoghavarsha Suresh, Jade Ni, Tushar Krishna

Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC)

[48]  arXiv:2007.00161 [pdf, other]

Title: Directional Primitives for Uncertainty-Aware Motion Estimation in Urban Environments

Authors: Ransalu Senanayake, Maneekwan Toyungyernsub, Mingyu Wang, Mykel J. Kochenderfer, Mac Schwager

Comments: The 23rd IEEE International Conference on Intelligent Transportation Systems. September, 2020

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Applications (stat.AP)

[49]  arXiv:2007.00163 [pdf, other]

Title: Identifying Causal-Effect Inference Failure with Uncertainty-Aware Models

Authors: Andrew Jesson, Sören Mindermann, Uri Shalit, Yarin Gal

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[50]  arXiv:2007.00164 [pdf, other]

Title: Online Domain Adaptation for Occupancy Mapping

Authors: Anthony Tompkins, Ransalu Senanayake, Fabio Ramos

Comments: Robotics: Science and Systems (RSS) 2020 conference

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Robotics (cs.RO)