Computer Science

Authors and titles for May 2018

[3551] arXiv:1805.12403 [pdf, other]

Title: Impersonation Detection in Line-of-Sight Underwater Acoustic Sensor Networks

Waqas Aman, Muhammad Mahboob Ur Rahman, Junaid Qadir, Haris Pervaiz, Qiang Ni

Comments: 13 pages and 13 figures. Accepted in IEEE Access 2018

Journal-ref: IEEE Access 2018

Subjects: Cryptography and Security (cs.CR)

[3552] arXiv:1805.12405 [pdf, other]

Title: On Prefix Normal Words

Gabriele Fici, Zsuzsanna Lipták

Comments: Published in the Proceedings of DLT 2011

Journal-ref: G. Mauri and A. Leporati (Eds.): DLT 2011, LNCS 6795, pp. 228--238, 2011

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[3553] arXiv:1805.12406 [pdf, other]

Title: 'Constant in gain Lead in phase' element - Application in precision motion control

Niranjan Saikumar, Rahul Kumar Sinha, S. Hassan HosseinNia

Subjects: Systems and Control (eess.SY)

[3554] arXiv:1805.12415 [pdf, other]

Title: One-shot domain adaptation in multiple sclerosis lesion segmentation using convolutional neural networks

Sergi Valverde, Mostafa Salem, Mariano Cabezas, Deborah Pareto, Joan C. Vilanova, Lluís Ramió-Torrentà, Àlex Rovira, Joaquim Salvi, Arnau Oliver, Xavier Lladó

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

[3555] arXiv:1805.12417 [pdf, other]

Title: A Robust Iterative Scheme for Symmetric Indefinite Systems

Murat Manguoglu, Volker Mehrmann

Subjects: Numerical Analysis (math.NA)

[3556] arXiv:1805.12421 [pdf, other]

Title: HOPF: Higher Order Propagation Framework for Deep Collective Classification

Priyesh Vijayan, Yash Chandak, Mitesh M. Khapra, Srinivasan Parthasarathy, Balaraman Ravindran

Subjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[3557] arXiv:1805.12428 [pdf, other]

Title: From Model Checking to Runtime Verification and Back

Katarína Kejstová, Petr Ročkai, Jiří Barnat

Subjects: Software Engineering (cs.SE)

[3558] arXiv:1805.12443 [pdf, other]

Title: New Feature Detection Mechanism for Extended Kalman Filter Based Monocular SLAM with 1-Point RANSAC

Agniva Sengupta, Shafeeq Elanattil

Comments: Accepted in Third International Conference of Mining Intelligence and Knowledge Exploration (MIKE) 2015

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

[3559] arXiv:1805.12451 [pdf, other]

Title: Simulation of Random Variables under R\'enyi Divergence Measures of All Orders

Lei Yu, Vincent Y. F. Tan

Comments: 36 pages, double column. To appear in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Probability (math.PR)

[3560] arXiv:1805.12453 [pdf, other]

Title: A Parameterized Complexity View on Collapsing k-Cores

Junjie Luo, Hendrik Molter, Ondrej Suchy

Subjects: Discrete Mathematics (cs.DM)

[3561] arXiv:1805.12462 [pdf, other]

Title: On GANs and GMMs

Eitan Richardson, Yair Weiss

Comments: Accepted to NIPS 2018

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

[3562] arXiv:1805.12467 [pdf, other]

Title: A Method Based on Convex Cone Model for Image-Set Classification with CNN Features

Naoya Sogi, Taku Nakayama, Kazuhiro Fukui

Comments: Accepted at the International Joint Conference on Neural Networks, IJCNN, 2018

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

[3563] arXiv:1805.12471 [pdf, other]

Title: Neural Network Acceptability Judgments

Alex Warstadt, Amanpreet Singh, Samuel R. Bowman

Subjects: Computation and Language (cs.CL)

[3564] arXiv:1805.12473 [pdf, other]

Title: Simulation Of Logic Circuit Tests On Android-Based Mobile Devices

Abdülkadir Çakir, Ümmüşan Çitak

Comments: 13 pages, 20 figures

Subjects: Human-Computer Interaction (cs.HC)

[3565] arXiv:1805.12475 [pdf, other]

Title: Data-driven Design: A Case for Maximalist Game Design

Gabriella A. B. Barros, Michael Cerny Green, Antonios Liapis, Julian Togelius

Comments: 9 pages, 2 Figures, Accepted in ICCC 2018

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

[3566] arXiv:1805.12480 [pdf, other]

Title: A voting scheme with post-quantum security based on physical laws

Hua Dong, Li Yang

Comments: 23pages,1figure,5tables

Subjects: Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[3567] arXiv:1805.12481 [pdf, other]

Title: Generalised Lebesgue Stable Flux Reconstruction

Will Trojak

Comments: Submitted to Journal of Computational Physics 8th June

Subjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)

[3568] arXiv:1805.12482 [pdf, other]

Title: How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation

David Butler, David Aspinall, Adria Gascon

Subjects: Cryptography and Security (cs.CR)

[3569] arXiv:1805.12485 [pdf, other]

Title: An Integrated View on the Future of Logistics and Information Technology

Paul Grefen, Wout Hofman, Remco Dijkman, Albert Veenstra, Sander Peters

Comments: 22 pages, 7 figures, 3 tables

Subjects: Other Computer Science (cs.OH)

[3570] arXiv:1805.12487 [pdf, other]

Title: Sequential Attacks on Agents for Long-Term Adversarial Goals

Edgar Tretschk, Seong Joon Oh, Mario Fritz

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

[3571] arXiv:1805.12495 [pdf, other]

Title: Invariant Representation of Mathematical Expressions

Reza Shahbazi

Subjects: Artificial Intelligence (cs.AI)

[3572] arXiv:1805.12498 [pdf, other]

Title: A faster hafnian formula for complex matrices and its benchmarking on a supercomputer

Andreas Björklund, Brajesh Gupt, Nicolás Quesada

Comments: 11 pages, 7 figures. The source code of the library is available at this https URL . Accepted for publication in Journal of Experimental Algorithmics

Subjects: Data Structures and Algorithms (cs.DS); Quantum Physics (quant-ph)

[3573] arXiv:1805.12501 [pdf, other]

Title: Multi-Label Transfer Learning for Multi-Relational Semantic Similarity

Li Zhang, Steven R. Wilson, Rada Mihalcea

Comments: Accepted to *SEM 2019

Journal-ref: Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (SEM 2019) (2019) 44-50

Subjects: Computation and Language (cs.CL)

[3574] arXiv:1805.12502 [pdf, other]

Title: Improving Machine-based Entity Resolution with Limited Human Effort: A Risk Perspective

Zhaoqiang Chen, Qun Chen, Boyi Hou, Murtadha Ahmed, Zhanhuai Li

Comments: 5 pages, 3 figures

Subjects: Databases (cs.DB)

[3575] arXiv:1805.12503 [pdf, other]

Title: Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data

Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen

Comments: 9 pages,5 figures

Subjects: Databases (cs.DB)

[3576] arXiv:1805.12506 [pdf, other]

Title: Robust Gyroscope-Aided Camera Self-Calibration

Santiago Cortés Reina, Arno Solin, Juho Kannala

Comments: Appearing in Proceedings of the International Conference on Information Fusion (FUSION 2018)

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

[3577] arXiv:1805.12509 [pdf, other]

Title: Fog-supported delay-constrained energy-saving live migration of VMs over MultiPath TCP/IP 5G connections

Enzo Baccarelli, Michele Scarpiniti, Alireza Momenzadeh

Comments: A shorter version of this paper has been submitted to IEEE Access

Subjects: Networking and Internet Architecture (cs.NI)

[3578] arXiv:1805.12510 [pdf, other]

Title: Accurate pedestrian localization in overhead depth images via Height-Augmented HOG

Werner Kroneman, Alessandro Corbetta, Federico Toschi

Comments: 8 pages

Journal-ref: Collective Dynamics, v. 5, p. 33-40, mar. 2020. ISSN 2366-8539

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

[3579] arXiv:1805.12511 [pdf, other]

Title: Cyberattack Detection using Deep Generative Models with Variational Inference

Sarin E. Chandy, Amin Rasekh, Zachary A. Barker, M. Ehsan Shafiee

Journal-ref: Journal of Water Resources Planning and Management 2018

Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[3580] arXiv:1805.12512 [pdf, other]

Title: On the Origins of Memes by Means of Fringe Web Communities

Savvas Zannettou, Tristan Caulfield, Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, Gianluca Stringhini, Guillermo Suarez-Tangil

Comments: A shorter version of this paper appears in the Proceedings of 18th ACM Internet Measurement Conference (IMC 2018). This is the full version

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY)

[3581] arXiv:1805.12514 [pdf, other]

Title: Scaling provable adversarial defenses

Eric Wong, Frank R. Schmidt, Jan Hendrik Metzen, J. Zico Kolter

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

[3582] arXiv:1805.12518 [pdf, other]

Title: Incremental Natural Language Processing: Challenges, Strategies, and Evaluation

Arne Köhn

Comments: COLING 2018 (accepted), camera-ready version

Subjects: Computation and Language (cs.CL)

[3583] arXiv:1805.12521 [pdf, other]

Title: Whole Brain Susceptibility Mapping Using Harmonic Incompatibility Removal

Chenglong Bao, Jae Kyu Choi, Bin Dong

Comments: Accepted for publication in SIAM Journal on Imaging Sciences

Subjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV)

[3584] arXiv:1805.12528 [pdf, other]

Title: Fusion Graph Convolutional Networks

Priyesh Vijayan, Yash Chandak, Mitesh M. Khapra, Srinivasan Parthasarathy, Balaraman Ravindran

Subjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[3585] arXiv:1805.12529 [pdf, other]

Title: Analysis of Fast Structured Dictionary Learning

Saiprasad Ravishankar, Anna Ma, Deanna Needell

Comments: This article has been accepted for publication in Information and Inference Published by Oxford University Press

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

[3586] arXiv:1805.12539 [pdf, other]

Title: Classifying Eyes-Free Mobile Authentication Techniques

Flynn Wolf, Adam J. Aviv, Ravi Kuber

Comments: A version of this paper is to appear in the Journal of Information Security and Applications (JISA)

Subjects: Human-Computer Interaction (cs.HC); Cryptography and Security (cs.CR)

[3587] arXiv:1805.12549 [pdf, other]

Title: Channel Gating Neural Networks

Weizhe Hua, Yuan Zhou, Christopher De Sa, Zhiru Zhang, G. Edward Suh

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

[3588] arXiv:1805.12559 [pdf, other]

Title: The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches

Aris Filos-Ratsikas, Paul W. Goldberg

Comments: 58 pages, 20 figures

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[3589] arXiv:1805.12564 [pdf, other]

Title: Modeling 4D fMRI Data via Spatio-Temporal Convolutional Neural Networks (ST-CNN)

Yu Zhao, Xiang Li, Wei Zhang, Shijie Zhao, Milad Makkie, Mo Zhang, Quanzheng Li, Tianming Liu

Comments: Yu Zhao and Xiang Li contribute equally to this work

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

[3590] arXiv:1805.12565 [pdf, other]

Title: Approximate Knowledge Compilation by Online Collapsed Importance Sampling

Tal Friedman, Guy Van den Broeck

Comments: paper + supplementary material

Subjects: Artificial Intelligence (cs.AI)

[3591] arXiv:1805.12573 [pdf, other]

Title: Learning a Prior over Intent via Meta-Inverse Reinforcement Learning

Kelvin Xu, Ellis Ratner, Anca Dragan, Sergey Levine, Chelsea Finn

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

[3592] arXiv:1805.12582 [pdf, other]

Title: Decidability results for ATL* with imperfect information and perfect recall

Raphaël Berthon, Bastien Maubert, Aniello Murano

Subjects: Logic in Computer Science (cs.LO)

[3593] arXiv:1805.12586 [pdf, other]

Title: Age of Information in G/G/1/1 Systems

Alkan Soysal, Sennur Ulukus

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

[3594] arXiv:1805.12589 [pdf, other]

Title: Fast, Diverse and Accurate Image Captioning Guided By Part-of-Speech

Aditya Deshpande, Jyoti Aneja, Liwei Wang, Alexander Schwing, D. A. Forsyth

Comments: 12 pages with references and appendix. To appear CVPR'19

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

[3595] arXiv:1805.12592 [pdf, other]

Title: Strategy Logic with Imperfect Information

Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi

Subjects: Logic in Computer Science (cs.LO)

[3596] arXiv:1805.12595 [pdf, other]

Title: The Arbitrarily Varying Gaussian Relay Channel with Sender Frequency Division

Uzi Pereg, Yossef Steinberg

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

Subjects: Information Theory (cs.IT)

[3597] arXiv:1805.00061 (cross-list from eess.SP) [pdf, other]

Title: Machine Learning for Predictive On-Demand Deployment of UAVs for Wireless Communications

Qianqian Zhang, Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Merouane Debbah

Subjects: Signal Processing (eess.SP); Information Theory (cs.IT)

[3598] arXiv:1805.00106 (cross-list from q-bio.GN) [pdf, other]

Title: FPGA Acceleration of Short Read Alignment

Nathaniel McVicar, Akina Hoshino, Anna La Torre, Thomas A. Reh, Walter L. Ruzzo, Scott Hauck

Comments: 15 pages, technical report version

Subjects: Genomics (q-bio.GN); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC)

[3599] arXiv:1805.00119 (cross-list from stat.ML) [pdf, other]

Title: Risk-Averse Classification

Constantine Vitt, Darinka Dentcheva, Hui Xiong

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

[3600] arXiv:1805.00147 (cross-list from math.CO) [pdf, other]

Title: State Diagrams of a Class of Singular LFSR and Their Applications to the Construction of de Bruijn Cycles

XiaoFang Wang, YuJuan Sun, WeiGuo Zhang

Comments: 15 pages

Subjects: Combinatorics (math.CO); Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM)