Computer Science

Authors and titles for May 2018

[1951] arXiv:1805.07155 [pdf, other]

Title: Partial Cartesian Graph Product

Moez A. AbdelGawad

Comments: 7 pages

Subjects: Programming Languages (cs.PL); Combinatorics (math.CO)

[1952] arXiv:1805.07159 [pdf, other]

Title: Low-Cost Recurrent Neural Network Expected Performance Evaluation

Andrés Camero, Jamal Toutouh, Enrique Alba

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

[1953] arXiv:1805.07166 [pdf, other]

Title: The Thermodynamics of Network Coding, and an Algorithmic Refinement of the Principle of Maximum Entropy

Hector Zenil, Narsis A. Kiani, Jesper Tegnér

Comments: 30 pages

Journal-ref: Entropy, 21(6), 560, 2019

Subjects: Information Theory (cs.IT)

[1954] arXiv:1805.07170 [pdf, other]

Title: Recurrent knowledge distillation

Silvia L. Pintea, Yue Liu, Jan C. van Gemert

Comments: International Conference on Image Processing (ICIP), 2018

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

[1955] arXiv:1805.07171 [pdf, other]

Title: On-board Range-based Relative Localization for Micro Aerial Vehicles in indoor Leader-Follower Flight

Steven van der Helm, Kimberly N. McGuire, Mario Coppola, Guido C.H.E. de Croon

Comments: Submitted to Autonomous Robots (Special Issue on "Multi-Robot and Multi-Agent Systems") on 30 April 2018. Summary video available at: this https URL

Subjects: Robotics (cs.RO)

[1956] arXiv:1805.07176 [pdf, other]

Title: Proofs and Programs about Open Terms

Francisco Ferreira Ruiz

Comments: PhD thesis, McGill Univ (2017)

Subjects: Programming Languages (cs.PL)

[1957] arXiv:1805.07180 [pdf, other]

Title: Approximate Model Counting by Partial Knowledge Compilation

Yong Lai

Subjects: Artificial Intelligence (cs.AI)

[1958] arXiv:1805.07182 [pdf, other]

Title: Cellular-Enabled UAV Communication: A Connectivity-Constrained Trajectory Optimization Perspective

Shuowen Zhang, Yong Zeng, Rui Zhang

Comments: Invited paper, submitted for publication, 55 pages, 11 figures

Subjects: Information Theory (cs.IT); Systems and Control (eess.SY)

[1959] arXiv:1805.07190 [pdf, other]

Title: Private Information Retrieval using Product-Matrix Minimum Storage Regenerating Codes

Chatdanai Dorkson, Siaw-Lynn Ng

Subjects: Information Theory (cs.IT)

[1960] arXiv:1805.07193 [pdf, other]

Title: The EuroCity Persons Dataset: A Novel Benchmark for Object Detection

Markus Braun, Sebastian Krebs, Fabian Flohr, Dariu M. Gavrila

Comments: Submitted to IEEE Trans. on Pattern Analysis and Machine Intelligence

Journal-ref: Published in IEEE Trans. on Pattern Analysis and Machine Intelligence, 2019

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

[1961] arXiv:1805.07195 [pdf, other]

Title: The remote_build Tool

Christian Sternagel

Comments: Accepted at Isabelle Workshop 2018

Subjects: Logic in Computer Science (cs.LO)

[1962] arXiv:1805.07196 [pdf, other]

Title: Supervisory Control of Probabilistic Discrete Event Systems under Partial Observation

Weilin Deng, Jingkai Yang, Daowen Qiu

Comments: 36 pages, comments are welcome

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

[1963] arXiv:1805.07208 [pdf, other]

Title: EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey

Subjects: Programming Languages (cs.PL)

[1964] arXiv:1805.07209 [pdf, other]

Title: Deterministic Distributed Ruling Sets of Line Graphs

Fabian Kuhn, Yannic Maus, Simon Weidner

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[1965] arXiv:1805.07211 [pdf, other]

Title: Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann

Subjects: Logic in Computer Science (cs.LO)

[1966] arXiv:1805.07216 [pdf, other]

Title: Numerical analysis of the weakly nonlinear Boussinesq system with a freely moving body on the bottom

Krisztian Benyo (IMB, UB)

Comments: 27 pages, 42 images

Subjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)

[1967] arXiv:1805.07220 [pdf, other]

Title: Memoryless Exact Solutions for Deterministic MDPs with Sparse Rewards

Joshua R. Bertram, Peng Wei

Comments: Submitted to NIPS 2018. arXiv admin note: text overlap with arXiv:1805.02785

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

[1968] arXiv:1805.07222 [pdf, other]

Title: Deep Reinforcement Learning based Resource Allocation for V2V Communications

Hao Ye, Geoffrey Ye Li, Biing-Hwang Fred Juang

Comments: arXiv admin note: text overlap with arXiv:1711.00968

Subjects: Information Theory (cs.IT)

[1969] arXiv:1805.07231 [pdf, other]

Title: A Study on Dialog Act Recognition using Character-Level Tokenization

Eugénio Ribeiro, Ricardo Ribeiro, David Martins de Matos

Comments: 11 pages, 2 figures, 4 tables, AIMSA 2018

Subjects: Computation and Language (cs.CL)

[1970] arXiv:1805.07232 [pdf, other]

Title: Fast approximation of centrality and distances in hyperbolic graphs

Victor Chepoi, Feodor F. Dragan, Michel Habib, Yann Vaxès, Hend Al-Rasheed

Comments: arXiv admin note: text overlap with arXiv:1506.01799 by other authors

Subjects: Data Structures and Algorithms (cs.DS)

[1971] arXiv:1805.07233 [pdf, other]

Title: Interpretable Parallel Recurrent Neural Networks with Convolutional Attentions for Multi-Modality Activity Modeling

Kaixuan Chen, Lina Yao, Xianzhi Wang, Dalin Zhang, Tao Gu, Zhiwen Yu, Zheng Yang

Comments: arXiv admin note: substantial text overlap with arXiv:1711.07661

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[1972] arXiv:1805.07239 [pdf, other]

Title: Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Alexander Semenov, Ilya Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (March 2, 2020) lmcs:4525

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)

[1973] arXiv:1805.07249 [pdf, other]

Title: Dynamic learning rate using Mutual Information

Shrihari Vasudevan

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

[1974] arXiv:1805.07252 [pdf, other]

Title: Learning and Inferring Movement with Deep Generative Model

Mingxuan Jing, Xiaojian Ma, Fuchun Sun, Huaping Liu

Comments: Mingxuan Jing and Xiaojian Ma contributed equally to this work

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

[1975] arXiv:1805.07253 [pdf, other]

Title: Recognition of Activities from Eye Gaze and Egocentric Video

Anjith George, Aurobinda Routray

Comments: 7 pages, 9 figures

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

[1976] arXiv:1805.07256 [pdf, other]

Title: Safety of human-robot interaction through tactile sensors and peripersonal space representations

Petr Švarný, Matěj Hoffmann

Subjects: Robotics (cs.RO)

[1977] arXiv:1805.07258 [pdf, other]

Title: Neural Network Compression using Transform Coding and Clustering

Thorsten Laude, Yannick Richter, Jörn Ostermann

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

[1978] arXiv:1805.07263 [pdf, other]

Title: Robot self-calibration using multiple kinematic chains -- a simulation study on the iCub humanoid robot

Karla Stepanova, Tomas Pajdla, Matej Hoffmann

Comments: 8 pages; 8 figures; substantially revised version compared to previous - all data and results are new

Journal-ref: IEEE Robotics and Automation Letters 4(2), 1900-1907 (2019)

Subjects: Robotics (cs.RO)

[1979] arXiv:1805.07264 [pdf, other]

Title: Convergence of a Semi-Discrete Numerical Method for a Class of Nonlocal Nonlinear Wave Equations

H. A. Erbay, S. Erbay, A. Erkip

Comments: 29 pages, to appear in ESAIM: Mathematical Modelling and Numerical Analysis

Journal-ref: ESAIM: Mathematical Modelling and Numerical Analysis 52, 803-826 (2018)

Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

[1980] arXiv:1805.07269 [pdf, other]

Title: Parallelizing Bisection Root-Finding: A Case for Accelerating Serial Algorithms in Multicore Substrates

Mohammad Bakhshalipour, Hamid Sarbazi-Azad

Comments: 5 pages, 7 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[1981] arXiv:1805.07274 [pdf, other]

Title: Language Expansion In Text-Based Games

Ghulam Ahmed Ansari, Sagar J P, Sarath Chandar, Balaraman Ravindran

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1511.06295 by other authors

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

[1982] arXiv:1805.07277 [pdf, other]

Title: XOGAN: One-to-Many Unsupervised Image-to-Image Translation

Yongqi Zhang

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

[1983] arXiv:1805.07281 [pdf, other]

Title: An Unsupervised Approach to Solving Inverse Problems using Generative Adversarial Networks

Rushil Anirudh, Jayaraman J. Thiagarajan, Bhavya Kailkhura, Timo Bremer

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

[1984] arXiv:1805.07290 [pdf, other]

Title: Learning 3D Shape Completion under Weak Supervision

David Stutz, Andreas Geiger

Journal-ref: David Stutz, Andreas Geiger. Learning 3D Shape Completion under Weak Supervision. International Journal of Computer Vision (2018)

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

[1985] arXiv:1805.07291 [pdf, other]

Title: Stop memorizing: A data-dependent regularization framework for intrinsic pattern learning

Wei Zhu, Qiang Qiu, Bao Wang, Jianfeng Lu, Guillermo Sapiro, Ingrid Daubechies

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

[1986] arXiv:1805.07294 [pdf, other]

Title: Distributed Computation in Node-Capacitated Networks

John Augustine, Mohsen Ghaffari, Robert Gmyr, Kristian Hinnenthal, Fabian Kuhn, Jason Li, Christian Scheideler

Comments: This is the full version of a paper that appears at SPAA 2019

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[1987] arXiv:1805.07295 [pdf, other]

Title: Cross-domain attribute representation based on convolutional neural network

Guohui Zhang, Gaoyuan Liang, Fang Su, Fanxin Qu, Jing-Yan Wang

Comments: arXiv admin note: substantial text overlap with arXiv:1803.09733

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

[1988] arXiv:1805.07296 [pdf, other]

Title: Quadrature Strategies for Constructing Polynomial Approximations

Pranay Seshadri, Gianluca Iaccarino, Tiziano Ghisu

Subjects: Numerical Analysis (math.NA)

[1989] arXiv:1805.07297 [pdf, other]

Title: General solutions for nonlinear differential equations: a rule-based self-learning approach using deep reinforcement learning

Shiyin Wei, Xiaowei Jin, Hui Li

Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)

[1990] arXiv:1805.07317 [pdf, other]

Title: Efficient Exploration of Gradient Space for Online Learning to Rank

Huazheng Wang, Ramsey Langley, Sonwoo Kim, Eric McCord-Snook, Hongning Wang

Comments: To appear on SIGIR '18: The 41st International ACM SIGIR Conference on Research & Development in Information Retrieval

Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG)

[1991] arXiv:1805.07319 [pdf, other]

Title: Mixup-Based Acoustic Scene Classification Using Multi-Channel Convolutional Neural Network

Kele Xu, Dawei Feng, Haibo Mi, Boqing Zhu, Dezhi Wang, Lilun Zhang, Hengxing Cai, Shuwen Liu

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

[1992] arXiv:1805.07324 [pdf, other]

Title: GANE: A Generative Adversarial Network Embedding

Huiting Hong, Xin Li, Mingzhong Wang

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

[1993] arXiv:1805.07331 [pdf, other]

Title: Positive and Unlabeled Learning through Negative Selection and Imbalance-aware Classification

Marco Frasca, Nicolò Cesa-Bianchi

Subjects: Machine Learning (cs.LG); Quantitative Methods (q-bio.QM); Machine Learning (stat.ML)

[1994] arXiv:1805.07333 [pdf, other]

Title: Optimal Power Control for Fading Channels with Arbitrary Input Distributions and Delay-Sensitive Traffic

Gozde Ozcan, M. Cenk Gursoy

Comments: to appear in IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[1995] arXiv:1805.07339 [pdf, other]

Title: Scanner: Efficient Video Analysis at Scale

Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian

Comments: 14 pages, 14 figuers

Subjects: Computer Vision and Pattern Recognition (cs.CV); Distributed, Parallel, and Cluster Computing (cs.DC); Graphics (cs.GR)

[1996] arXiv:1805.07340 [pdf, other]

Title: Improved Sentence Modeling using Suffix Bidirectional LSTM

Siddhartha Brahma

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

[1997] arXiv:1805.07349 [pdf, other]

Title: GumBolt: Extending Gumbel trick to Boltzmann priors

Amir H. Khoshaman, Mohammad H. Amin

Comments: 10 pages, 2 Figures, 2 Tables

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

[1998] arXiv:1805.07353 [pdf, other]

Title: Model-Driven Engineering of Self-Adaptive Software with EUREMA

Thomas Vogel, Holger Giese

Journal-ref: In: ACM Trans. Auton. Adapt. Syst. 8.4 (2014), 18:1-18:33

Subjects: Software Engineering (cs.SE)

[1999] arXiv:1805.07354 [pdf, other]

Title: A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models

Joachim Hänsel, Thomas Vogel, Holger Giese

Journal-ref: In: International Conference on Self-Adaptive and Self-Organizing Systems Workshops. SASOW '15. IEEE, 2015, pp. 134-139

Subjects: Software Engineering (cs.SE)

[2000] arXiv:1805.07356 [pdf, other]

Title: ALVEC: Auto-scaling by Lotka Volterra Elastic Cloud: A QoS aware Non Linear Dynamical Allocation Model

Bidisha Goswami, Jyotirmoy Sarkar, Snehanshu Saha, Saibal Kar, Poulami Sarkar

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)