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

Authors: 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

Authors: 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

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

Subjects: Cryptography and Security (cs.CR)

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

Title: Universality in Freezing Cellular Automata

Authors: 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

Authors: 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

Authors: 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

Authors: Aman Agarwal, Kenta Takatsu, Ivan Zaitsev, Thorsten Joachims

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

[8]  arXiv:1805.00067 [pdf, ps, other]

Title: A General Framework for Relational Parametricity

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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, ps, other]

Title: Using Multi Expression Programming in Software Effort Estimation

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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

Authors: 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.00116 [pdf, other]

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

Authors: 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)

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

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

Authors: Vineet Rajani, Deepak Garg

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

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

[22]  arXiv:1805.00121 [pdf, other]

Title: A Missing Information Loss function for implicit feedback datasets

Authors: 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)

[23]  arXiv:1805.00123 [pdf, other]

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

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

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

[24]  arXiv:1805.00124 [pdf, other]

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

Authors: 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)

[25]  arXiv:1805.00138 [pdf, other]

Title: Semantic Binary Segmentation using Convolutional Networks without Decoders

Authors: 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)

[26]  arXiv:1805.00140 [pdf, other]

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

Authors: 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)

[27]  arXiv:1805.00142 [pdf, other]

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

Authors: 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)

[28]  arXiv:1805.00145 [pdf, other]

Title: Dialog-based Interactive Image Retrieval

Authors: 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)

[29]  arXiv:1805.00150 [pdf, other]

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

Authors: 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)

[30]  arXiv:1805.00151 [pdf, ps, other]

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

Authors: 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)

[31]  arXiv:1805.00152 [pdf, other]

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

Authors: Laura Dietz, John Foley

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

Subjects: Information Retrieval (cs.IR)

[32]  arXiv:1805.00154 [pdf, ps, other]

Title: Consensus-based Distributed Quantile Estimation in Sensor Networks

Authors: Jongmin Lee, Cihan Tepedelenlioglu, Andreas Spanias

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

[33]  arXiv:1805.00155 [pdf, other]

Title: Live Functional Programming with Typed Holes

Authors: 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)

[34]  arXiv:1805.00158 [pdf, ps, other]

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

Authors: Bin Li, Xiangqi Kong, Lei Wang

Subjects: Networking and Internet Architecture (cs.NI)

[35]  arXiv:1805.00176 [pdf, other]

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

Authors: 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)

[36]  arXiv:1805.00178 [pdf, other]

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

Authors: Rui Wang, Masao Utiyama, Eiichiro Sumita

Comments: Revised version of ACL-2018

Subjects: Computation and Language (cs.CL)

[37]  arXiv:1805.00181 [pdf, ps, other]

Title: Spectrally Robust Graph Isomorphism

Authors: 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)

[38]  arXiv:1805.00185 [pdf, other]

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

Authors: 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:YYMM.NNNNN)

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

[39]  arXiv:1805.00188 [pdf, other]

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

Authors: 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)

[40]  arXiv:1805.00190 [pdf, ps, other]

Title: Generic Single Edge Fault Tolerant Exact Distance Oracle

Authors: 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)

[41]  arXiv:1805.00192 [pdf, ps, other]

Title: Fixation Data Analysis for High Resolution Satellite Images

Authors: Ashu Sharma, Jayanta Kumar Ghosh, Saptrarshi Kolay

Comments: Extended version is submitted to SPIE-2018 conference

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

[42]  arXiv:1805.00195 [pdf, other]

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

Authors: Chaitanya Kulkarni, Wei Xu, Alan Ritter, Raghu Machiraju

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

[43]  arXiv:1805.00200 [pdf, other]

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

Authors: 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)

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

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

Authors: 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)

[45]  arXiv:1805.00212 [pdf, ps, other]

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

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

Subjects: Data Structures and Algorithms (cs.DS)

[46]  arXiv:1805.00215 [pdf, other]

Title: Internal node bagging

Authors: Shun Yi

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

[47]  arXiv:1805.00216 [pdf, other]

Title: Privately Learning High-Dimensional Distributions

Authors: 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)

[48]  arXiv:1805.00222 [pdf, ps, other]

Title: Model-Free Active Input-Output Feedback Linearization of a Single-Link Flexible Joint Manipulator: An Improved ADRC Approach

Authors: Wameedh Riyadh Abdul Adheem, Ibraheem Kasim Ibraheem

Subjects: Systems and Control (eess.SY); Robotics (cs.RO); Signal Processing (eess.SP)

[49]  arXiv:1805.00223 [pdf, other]

Title: Localization: A Missing Link in the Pipeline of Object Matching and Registration

Authors: Deepak Mishra, Rajeev Ranjan, Santanu Chaudhury, Mukul Sarkar, Arvinder Singh Soin

Comments: 11 pages, 6 figures

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

[50]  arXiv:1805.00224 [pdf, ps, other]

Title: Multi-objective path planning of an autonomous mobile robot using hybrid PSO-MFB optimization algorithm

Authors: Fatin H. Ajeil, Ibraheem Kasim Ibraheem, Mouayad A. Sahib, Amjad J. Humaidi

Journal-ref: Volume 89, April 2020, 106076

Subjects: Robotics (cs.RO)