Computer Science

Authors and titles for May 2018

[1] arXiv:1805.00004 [pdf, other]

Title: Maximum Likelihood Coordinate Systems for Wireless Sensor Networks: from physical coordinates to topology coordinates

Ashanie Gunathillake

Subjects: Networking and Internet Architecture (cs.NI)

[2] arXiv:1805.00041 [pdf, other]

Title: LBP: Robust Rate Adaptation Algorithm for SVC Video Streaming

Anis Elgabli, Vaneet Aggarwal, Shuai Hao, Feng Qian, Subhabrata Sen

Comments: 22 pages, IEEE/ACM Transactions on Networking, 2018. Fixed repetition of references in the last version (minor change)

Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)

[3] arXiv:1805.00054 [pdf, other]

Title: Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes

Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj, Houman Homayoun, Avesta Sasan

Subjects: Cryptography and Security (cs.CR)

[4] arXiv:1805.00059 [pdf, other]

Title: Universality in Freezing Cellular Automata

Florent Becker (LIFO), Diego Maldonado (LIFO), Nicolas Ollinger (LIFO), Guillaume Theyssier (I2M)

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)

[5] arXiv:1805.00060 [pdf, other]

Title: On improving the approximation ratio of the r-shortest common superstring problem

Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru

Subjects: Data Structures and Algorithms (cs.DS)

[6] arXiv:1805.00063 [pdf, other]

Title: Adversarial Semantic Alignment for Improved Image Captions

Pierre L. Dognin, Igor Melnyk, Youssef Mroueh, Jarret Ross, Tom Sercu (IBM Research, USA)

Comments: Authors Equal Contribution, CVPR 2019

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

[7] arXiv:1805.00065 [pdf, other]

Title: A General Framework for Counterfactual Learning-to-Rank

Aman Agarwal, Kenta Takatsu, Ivan Zaitsev, Thorsten Joachims

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

[8] arXiv:1805.00067 [pdf, other]

Title: A General Framework for Relational Parametricity

Kristina Sojakova, Patricia Johann

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1805.00068 [pdf, other]

Title: Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

Tobias Kaminski, Thomas Eiter, Katsumi Inoue

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018, 23 pages, LaTeX, 6 PDF figures

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1805.00071 [pdf, other]

Title: Understanding Regularization to Visualize Convolutional Neural Networks

Maximilian Baust, Florian Ludwig, Christian Rupprecht, Matthias Kohl, Stefan Braunewell

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

[11] arXiv:1805.00074 [pdf, other]

Title: Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems

Long Cheng, Ke Tian, Danfeng Yao, Lui Sha, Raheem A. Beyah

Subjects: Cryptography and Security (cs.CR)

[12] arXiv:1805.00089 [pdf, other]

Title: Concolic Testing for Deep Neural Networks

Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening

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

[13] arXiv:1805.00090 [pdf, other]

Title: Using Multi Expression Programming in Software Effort Estimation

Najla Akram, AL-Saati, Taghreed Riyadh Alreffaee

Journal-ref: International Journal of Recent Research and Review, Vol. X, Issue 2, June 2017

Subjects: Software Engineering (cs.SE)

[14] arXiv:1805.00092 [pdf, other]

Title: New Methods of Studying Valley Fitness Landscapes

Jun He, Tao Xu

Subjects: Neural and Evolutionary Computing (cs.NE)

[15] arXiv:1805.00094 [pdf, other]

Title: Comparative Analysis and Framework Evaluating Web Single Sign-On Systems

Furkan Alaca, Paul C. van Oorschot

Subjects: Cryptography and Security (cs.CR)

[16] arXiv:1805.00097 [pdf, other]

Title: Syntactic Patterns Improve Information Extraction for Medical Search

Roma Patel, Yinfei Yang, Iain Marshall, Ani Nenkova, Byron Wallace

Subjects: Computation and Language (cs.CL)

[17] arXiv:1805.00105 [pdf, other]

Title: A Cyberinfrastructure for BigData Transportation Engineering

Md Johirul Islam, Anuj Sharma, Hridesh Rajan

Subjects: Other Computer Science (cs.OH)

[18] arXiv:1805.00107 [pdf, other]

Title: MV-YOLO: Motion Vector-aided Tracking by Semantic Object Detection

Saeed Ranjbar Alvar, Ivan V. Bajić

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

[19] arXiv:1805.00108 [pdf, other]

Title: Conditional molecular design with deep generative models

Seokho Kang, Kyunghyun Cho

Comments: 25 pages, 6 figures

Journal-ref: Journal of Chemical Information and Modeling 59(1): 43-52, 2019

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

[20] arXiv:1805.00110 [pdf, other]

Title: A MultiMesh Finite Element Method for the Stokes Problem

August Johansson, Mats G. Larson, Anders Logg

Subjects: Numerical Analysis (math.NA)

[21] arXiv:1805.00114 [pdf, other]

Title: Algebraic dual polynomials for the equivalence of curl-curl problems

Marc Gerritsma, Varun Jain, Yi Zhang, Artur Palha

Comments: 12 Pages, 4 figures

Subjects: Numerical Analysis (math.NA)

[22] arXiv:1805.00116 [pdf, other]

Title: A Canonical Image Set for Examining and Comparing Image Processing Algorithms

Jeffrey Uhlmann

Journal-ref: Journal of Image and Graphics, Vol. 6, No. 2, pp. 137-144, December 2018

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

[23] arXiv:1805.00120 [pdf, other]

Title: Types for Information Flow Control: Labeling Granularity and Semantic Models

Vineet Rajani, Deepak Garg

Comments: 31st IEEE Symposium on Computer Security Foundations (CSF 2018)

Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[24] arXiv:1805.00121 [pdf, other]

Title: A Missing Information Loss function for implicit feedback datasets

Juan Arévalo, Juan Ramón Duque, Marco Creatura

Comments: 9 pages, 2 figures

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

[25] arXiv:1805.00123 [pdf, other]

Title: CrowdHuman: A Benchmark for Detecting Human in a Crowd

Shuai Shao, Zijian Zhao, Boxun Li, Tete Xiao, Gang Yu, Xiangyu Zhang, Jian Sun

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

[26] arXiv:1805.00124 [pdf, other]

Title: Force Generation by Parallel Combinations of Fiber-Reinforced Fluid-Driven Actuators

Daniel Bruder, Audrey Sedal, Ram Vasudevan, C. David Remy

Comments: Published in IEEE Robotics and Automation Letters

Journal-ref: IEEE Robotics and Automation Letters ( Volume: 3 , Issue: 4 , Oct. 2018 )

Subjects: Robotics (cs.RO)

[27] arXiv:1805.00138 [pdf, other]

Title: Semantic Binary Segmentation using Convolutional Networks without Decoders

Shubhra Aich, William van der Kamp, Ian Stavness

Comments: CVPR 2018 DeepGlobe Workshop; Code repository: this https URL

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

[28] arXiv:1805.00140 [pdf, other]

Title: Investigating Power Outage Effects on Reliability of Solid-State Drives

Saba Ahmadian, Farhad Taheri, Mehrshad Lotfi, Maryam Karimi, Hossein Asad

Comments: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018. IEEE, 2018

Subjects: Other Computer Science (cs.OH)

[29] arXiv:1805.00142 [pdf, other]

Title: URLLC-eMBB Slicing to Support VR Multimodal Perceptions over Wireless Cellular Systems

Jihong Park, Mehdi Bennis

Comments: 7 pages, 4 figures, submitted to IEEE GLOBECOM'18

Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)

[30] arXiv:1805.00145 [pdf, other]

Title: Dialog-based Interactive Image Retrieval

Xiaoxiao Guo, Hui Wu, Yu Cheng, Steven Rennie, Gerald Tesauro, Rogerio Schmidt Feris

Comments: accepted at NeurIPS 2018

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[31] arXiv:1805.00150 [pdf, other]

Title: Memory-augmented Dialogue Management for Task-oriented Dialogue Systems

Zheng Zhang, Minlie Huang, Zhongzhou Zhao, Feng Ji, Haiqing Chen, Xiaoyan Zhu

Comments: 25 pages, 9 figures, Under review of ACM Transactions on Information Systems (TOIS)

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

[32] arXiv:1805.00151 [pdf, other]

Title: Robust Multi-Path Communications for UAVs in the Urban IoT

Zoheb Shaikh, Sabur Baidya, Marco Levorato

Comments: This article has been accepted for publication in the IEEE International Conference on Sensing, Communication and Networking (SECON Workshops), 2018

Subjects: Networking and Internet Architecture (cs.NI)

[33] arXiv:1805.00152 [pdf, other]

Title: On the Equivalence of Generative and Discriminative Formulations of the Sequential Dependence Model

Laura Dietz, John Foley

Comments: SIGIR'17 Workshop on Axiomatic Thinking for Information Retrieval and Related Tasks (ATIR)

Subjects: Information Retrieval (cs.IR)

[34] arXiv:1805.00154 [pdf, other]

Title: Consensus-based Distributed Quantile Estimation in Sensor Networks

Jongmin Lee, Cihan Tepedelenlioglu, Andreas Spanias

Subjects: Systems and Control (eess.SY); Distributed, Parallel, and Cluster Computing (cs.DC)

[35] arXiv:1805.00155 [pdf, other]

Title: Live Functional Programming with Typed Holes

Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

Comments: Published in PACMPL issue POPL 2019. Please cite the conference paper!

Subjects: Programming Languages (cs.PL)

[36] arXiv:1805.00158 [pdf, other]

Title: Optimal Load-Balancing for High-Density Wireless Networks with Flow-Level Dynamics

Bin Li, Xiangqi Kong, Lei Wang

Subjects: Networking and Internet Architecture (cs.NI)

[37] arXiv:1805.00160 [pdf, other]

Title: Moving Mesh simulation of contact sets in two dimensional models of elastic-electrostatic deflection problems

Kelsey L. DiPietro, Ronald D. Haynes, Weizhang Huang, Alan E. Lindsay, Yufei Yu

Comments: 26 pages

Journal-ref: J. Comput. Phys. 375 (2018), 763-782

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

[38] arXiv:1805.00176 [pdf, other]

Title: Low-complexity separable beamformers for massive antenna array systems

Lucas N. Ribeiro, André L. F. de Almeida, Josef A. Nossek, João César M. Mota

Comments: This paper is a preprint of a paper accepted by IET Signal Processing and is subject to Institution of Engineering and Technology Copyright. When the final version is published, the copy of record will be available at the IET Digital Library

Subjects: Information Theory (cs.IT)

[39] arXiv:1805.00178 [pdf, other]

Title: Dynamic Sentence Sampling for Efficient Training of Neural Machine Translation

Rui Wang, Masao Utiyama, Eiichiro Sumita

Comments: Revised version of ACL-2018

Subjects: Computation and Language (cs.CL)

[40] arXiv:1805.00181 [pdf, other]

Title: Spectrally Robust Graph Isomorphism

Alexandra Kolla, Ioannis Koutis, Vivek Madan, Ali Kemal Sinop

Comments: Extended version of a paper appearing in the proceedings of ICALP 2018

Subjects: Data Structures and Algorithms (cs.DS)

[41] arXiv:1805.00185 [pdf, other]

Title: Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son

Comments: Paper presented at the 34th International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 17 pages, LaTeX, 10 PDF figures (arXiv:this http URL)

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

[42] arXiv:1805.00188 [pdf, other]

Title: Response Ranking with Deep Matching Networks and External Knowledge in Information-seeking Conversation Systems

Liu Yang, Minghui Qiu, Chen Qu, Jiafeng Guo, Yongfeng Zhang, W. Bruce Croft, Jun Huang, Haiqing Chen

Comments: Accepted by the 41th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2018), Ann Arbor, Michigan, U.S.A. July 8-12, 2018 (Full Oral Paper)

Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)

[43] arXiv:1805.00190 [pdf, other]

Title: Generic Single Edge Fault Tolerant Exact Distance Oracle

Manoj Gupta, Aditi Singh

Comments: 21 pages, 8 figures. Accepted in 45th International Colloquium on Automata, Languages, and Programming (ICALP)

Subjects: Data Structures and Algorithms (cs.DS)

[44] arXiv:1805.00192 [pdf, other]

Title: Fixation Data Analysis for High Resolution Satellite Images

Ashu Sharma, Jayanta Kumar Ghosh, Saptrarshi Kolay

Comments: Extended version is submitted to SPIE-2018 conference

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

[45] arXiv:1805.00195 [pdf, other]

Title: An Annotated Corpus for Machine Reading of Instructions in Wet Lab Protocols

Chaitanya Kulkarni, Wei Xu, Alan Ritter, Raghu Machiraju

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

[46] arXiv:1805.00200 [pdf, other]

Title: Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao

Comments: 9 pages, 1 figure, to be presented at FM2018

Journal-ref: Formal Methods. FM 2018. Lecture Notes in Computer Science, vol 10951. Springer, Cham

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[47] arXiv:1805.00207 [pdf, other]

Title: Realistic Multimedia Tools based on Physical Models: I. The Spectrum Analyzer and Animator (SA2)

I. Pachoulakis

Comments: 8 pages, 4 figures

Journal-ref: International Conference on Telecommunications and Multimedia (TEMU'08), 16-18 July 2008, Ierapetra, Greece

Subjects: Multimedia (cs.MM)

[48] arXiv:1805.00212 [pdf, other]

Title: Nearly Optimal Distinct Elements and Heavy Hitters on Sliding Windows

Vladimir Braverman, Elena Grigorescu, Harry Lang, David P. Woodruff, Samson Zhou

Subjects: Data Structures and Algorithms (cs.DS)

[49] arXiv:1805.00215 [pdf, other]

Title: Internal node bagging

Shun Yi

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

[50] arXiv:1805.00216 [pdf, other]

Title: Privately Learning High-Dimensional Distributions

Gautam Kamath, Jerry Li, Vikrant Singhal, Jonathan Ullman

Comments: To appear in COLT 2019

Subjects: Data Structures and Algorithms (cs.DS); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Machine Learning (stat.ML)