Computer Science

Authors and titles for September 2016

[1] arXiv:1609.00017 [pdf, other]

Title: Radiation Search Operations using Scene Understanding with Autonomous UAV and UGV

Gordon Christie, Adam Shoemaker, Kevin Kochersberger, Pratap Tokekar, Lance McLean, Alexander Leonessa

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

[2] arXiv:1609.00030 [pdf, other]

Title: PDDL+ Planning via Constraint Answer Set Programming

Marcello Balduccini, Daniele Magazzeni, Marco Maratea

Comments: Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1609.00036 [pdf, other]

Title: Human Pose Estimation in Space and Time using 3D CNN

Agne Grinciunaite, Amogh Gudi, Emrah Tasli, Marten den Uyl

Comments: Accepted at ECCV 2016 Workshop on: Brave new ideas for motion representations in videos

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

[4] arXiv:1609.00037 [pdf, other]

Title: Good Enough Practices in Scientific Computing

Greg Wilson, Jennifer Bryan, Karen Cranston, Justin Kitzes, Lex Nederbragt, Tracy K. Teal

Comments: 19 pages, 1 figure

Subjects: Software Engineering (cs.SE)

[5] arXiv:1609.00045 [pdf, other]

Title: Towards Hybrid Cloud-assisted Crowdsourced Live Streaming: Measurement and Analysis

Cong Zhang, Jiangchuan Liu, Haiyang Wang

Subjects: Multimedia (cs.MM)

[6] arXiv:1609.00048 [pdf, other]

Title: Practical sketching algorithms for low-rank matrix approximation

Joel A. Tropp, Alp Yurtsever, Madeleine Udell, Volkan Cevher

Journal-ref: SIAM J. Matrix Analysis and Applications, Vol. 38, num. 4, pp. 1454-1485, Dec. 2017

Subjects: Numerical Analysis (math.NA); Data Structures and Algorithms (cs.DS); Computation (stat.CO); Machine Learning (stat.ML)

[7] arXiv:1609.00051 [pdf, other]

Title: Estimation and Control of Quality of Service in Demand Dispatch

Yue Chen, Ana Bušić, Sean Meyn

Comments: Submitted for publication, August 2016. arXiv admin note: text overlap with arXiv:1409.6941

Subjects: Systems and Control (eess.SY); Applications (stat.AP)

[8] arXiv:1609.00053 [pdf, other]

Title: Analysis of the Self Projected Matching Pursuit Algorithm

Laura Rebollo-Neira, Miroslav Rozloznik, Pradip Sasmal

Comments: The routines for implementing the methods, as well as scripts to reproduce the examples in the manuscript, are available on the website: this http URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)

[9] arXiv:1609.00056 [pdf, other]

Title: Linear Quadratic Mean Field Teams: Optimal and Approximately Optimal Decentralized Solutions

Jalal Arabneydi, Aditya Mahajan

Comments: This article has been withdrawn by arXiv administrators due to an unresolvable authorship dispute

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

[10] arXiv:1609.00061 [pdf, other]

Title: Pixel Arrays: A fast and elementary method for solving nonlinear systems

David I. Spivak, Magdalen R. C. Dobson, Sapna Kumari, Lawrence Wu

Comments: 22 pages

Subjects: Numerical Analysis (math.NA); Category Theory (math.CT)

[11] arXiv:1609.00062 [pdf, other]

Title: Full-Duplex Backscatter Interference Networks Based on Time-Hopping Spread Spectrum

Wanchun Liu, Kaibin Huang, Xiangyun Zhou, Salman Durrani

Comments: submitted for possible journal publication

Journal-ref: IEEE Transactions on Wireless Communications, vol. 16, no. 7, pp. 4361-4377, Jul. 2017

Subjects: Information Theory (cs.IT)

[12] arXiv:1609.00070 [pdf, other]

Title: How Much is 131 Million Dollars? Putting Numbers in Perspective with Compositional Descriptions

Arun Tejasvi Chaganty, Percy Liang

Journal-ref: ACL (2016), 578-587

Subjects: Computation and Language (cs.CL)

[13] arXiv:1609.00072 [pdf, other]

Title: Attentional Push: Augmenting Salience with Shared Attention Modeling

Siavash Gorji, James J. Clark

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

[14] arXiv:1609.00076 [pdf, other]

Title: BLISlab: A Sandbox for Optimizing GEMM

Jianyu Huang, Robert A. van de Geijn

Comments: FLAME Working Note #80

Subjects: Mathematical Software (cs.MS)

[15] arXiv:1609.00081 [pdf, other]

Title: All Fingers are not Equal: Intensity of References in Scientific Articles

Tanmoy Chakraborty, Ramasuri Narayanam

Comments: 11 pages, 4 figures, 4 tables, Conference on Empirical Methods in Natural Language Processing (EMNLP 2016)

Subjects: Computation and Language (cs.CL); Digital Libraries (cs.DL)

[16] arXiv:1609.00085 [pdf, other]

Title: A Novel Progressive Learning Technique for Multi-class Classification

Rajasekar Venkatesan, Meng Joo Er

Comments: 23 pages, 13 tables, 11 figures

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

[17] arXiv:1609.00086 [pdf, other]

Title: A novel online multi-label classifier for high-speed streaming data applications

Rajasekar Venkatesan, Meng Joo Er, Mihika Dave, Mahardhika Pratama, Shiqian Wu

Comments: 18 pages, 7 tables, 3 figures. arXiv admin note: text overlap with arXiv:1608.08898

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

[18] arXiv:1609.00090 [pdf, other]

Title: Attribute Truss Community Search

Xin Huang, Laks V.S. Lakshmanan

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS)

[19] arXiv:1609.00091 [pdf, other]

Title: Approximate Bisimulation and Discretization of Hybrid CSP

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Comments: FM 2016, Proof Appendix, HCSP, approximately bisimilar, hybrid systems, discretization

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1609.00096 [pdf, other]

Title: Image segmentation based on histogram of depth and an application in driver distraction detection

Tran Hiep Dinh, Minh Trien Pham, Manh Duong Phung, Duc Manh Nguyen, Van Manh Hoang, Quang Vinh Tran

Comments: 6 pages In 13th International Conference on Control Automation Robotics & Vision (ICARCV), 2014

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

[21] arXiv:1609.00099 [pdf, other]

Title: Design and Implementation of A Network Security Management System

Zhiyong Shan, Bin Liao

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[22] arXiv:1609.00100 [pdf, other]

Title: Suspicious-Taint-Based Access Control for Protecting OS from Network Attacks

Zhiyong Shan

Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS)

[23] arXiv:1609.00104 [pdf, other]

Title: A Likelihood Ratio Detector for Identifying Within-Perimeter Computer Network Attacks

Justin Grana, David Wolpert, Joshua Neil, Dongping Xie, Tanmoy Bhattacharya, Russel Bent

Subjects: Cryptography and Security (cs.CR)

[24] arXiv:1609.00108 [pdf, other]

Title: How a user's personality influences content engagement in social media

Nathan O. Hodas, Ryan Butner, Court Corley

Comments: to appear in SocInfo 2016

Subjects: Social and Information Networks (cs.SI); Human-Computer Interaction (cs.HC)

[25] arXiv:1609.00109 [pdf, other]

Title: The Complexity of (List) Edge-Coloring Reconfiguration Problem

Hiroki Osawa, Akira Suzuki, Takehiro Ito, Xiao Zhou

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[26] arXiv:1609.00110 [pdf, other]

Title: A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity

Hector Zenil, Santiago Hernández-Orozco, Narsis A. Kiani, Fernando Soler-Toscano, Antonio Rueda-Toicen

Comments: 39 pages, 46 with appendix. 15 figures total and 4 tables

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC)

[27] arXiv:1609.00116 [pdf, other]

Title: Neural Coarse-Graining: Extracting slowly-varying latent degrees of freedom with neural networks

Nicholas Guttenberg, Martin Biehl, Ryota Kanai

Comments: 9 pages, 5 figures, 3 tables

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

[28] arXiv:1609.00117 [pdf, other]

Title: Group Rotation Type Crowdsourcing

Katsumi Kumai, Yuhki Shiraishi, Jianwei Zhang, Hiroyuki Kitagawa, Atsuyuki Morishima

Comments: 2 non-reference pages + reference-only page, HCOMP2016, WiP paper

Subjects: Databases (cs.DB)

[29] arXiv:1609.00118 [pdf, other]

Title: An algebra of synchronous atomic steps

Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis

Journal-ref: Fitzgerald J., Heitmeyer C., Gnesi S., Philippou A. (eds) FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, vol 9995. Springer, Cham

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1609.00119 [pdf, other]

Title: Geometrically Exact Finite Element Formulations for Curved Slender Beams: Kirchhoff-Love Theory vs. Simo-Reissner Theory

Christoph Meier, Wolfgang A. Wall, Alexander Popp

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

[31] arXiv:1609.00126 [pdf, other]

Title: PPCU: Proportional Per-packet Consistent Updates for Software Defined Networks - A Technical Report

Radhika Sukapuram, Gautam Barua

Subjects: Networking and Internet Architecture (cs.NI)

[32] arXiv:1609.00129 [pdf, other]

Title: Grid Loss: Detecting Occluded Faces

Michael Opitz, Georg Waltner, Georg Poier, Horst Possegger, Horst Bischof

Comments: accepted to ECCV 2016

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

[33] arXiv:1609.00130 [pdf, other]

Title: Transparent Live Code Offloading on FPGA

Roberto Rigamonti, Baptiste Delporte, Anthony Convers, Alberto Dassatti

Comments: 9 pages in FPGAs for Software Programmers (FSP 2016)

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

[34] arXiv:1609.00132 [pdf, other]

Title: Axiomatization of if-then-else over possibly non-halting programs and tests

Gayatri Panicker, K. V. Krishna, Purandar Bhaduri

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1609.00133 [pdf, other]

Title: dr0wned - Cyber-Physical Attack with Additive Manufacturing

Sofia Belikovetsky, Mark Yampolskiy, Jinghui Toh, Yuval Elovici

Subjects: Cryptography and Security (cs.CR)

[36] arXiv:1609.00139 [pdf, other]

Title: Multivariate Gaussian extended quadrature method of moments for turbulent disperse multiphase flow

Christophe Chalons (LM-Versailles), Frédérique Laurent (EM2C, FR3487), Marc Massot (EM2C, FR3487), Aymeric Vié (EM2C, FR3487)

Journal-ref: SIAM MMS, Vol. 15, Issue 4 (2017) 1553-1583

Subjects: Numerical Analysis (math.NA)

[37] arXiv:1609.00142 [pdf, other]

Title: On the Performance of Multihop-Intervehicular Communications Systems over n*Rayleigh Fading Channels

Yahia Alghorani, Georges Kaddoum, Sami Muhaidat, Samuel Pierre, Naofal Al-Dhahir

Comments: 4 pages, 5 figures

Journal-ref: IEEE Wireless Communications Letters (Volume: 5, Issue: 2, April 2016)

Subjects: Information Theory (cs.IT)

[38] arXiv:1609.00149 [pdf, other]

Title: From Community Detection to Community Deception

Valeria Fionda, Giuseppe Pirrò

Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)

[39] arXiv:1609.00150 [pdf, other]

Title: Reward Augmented Maximum Likelihood for Neural Structured Prediction

Mohammad Norouzi, Samy Bengio, Zhifeng Chen, Navdeep Jaitly, Mike Schuster, Yonghui Wu, Dale Schuurmans

Comments: NIPS 2016

Subjects: Machine Learning (cs.LG)

[40] arXiv:1609.00151 [pdf, other]

Title: Several Proofs of Security for a Tokenization Algorithm

Riccardo Longo, Massimiliano Sala, Riccardo Aragona

Comments: to appear in Applicable Algebra in Engineering, Communication and Computing

Journal-ref: Applicable Algebra in Engineering, Communication and Computing, Vol. 28, No. 5, 2017

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

[41] arXiv:1609.00153 [pdf, other]

Title: Weakly Supervised PatchNets: Describing and Aggregating Local Patches for Scene Recognition

Zhe Wang, Limin Wang, Yali Wang, Bowen Zhang, Yu Qiao

Comments: To appear in IEEE Transactions on Image Processing. Code and model available at this https URL

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

[42] arXiv:1609.00161 [pdf, other]

Title: Parallel Clustering of Graphs for Anonymization and Recommender Systems

Frederic Prost, Jisang Yoon

Comments: submitted to VLDB'17

Subjects: Data Structures and Algorithms (cs.DS); Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

[43] arXiv:1609.00162 [pdf, other]

Title: Transferring Object-Scene Convolutional Neural Networks for Event Recognition in Still Images

Limin Wang, Zhe Wang, Yu Qiao, Luc Van Gool

Comments: 20 pages

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

[44] arXiv:1609.00169 [pdf, other]

Title: Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

Comments: 14 pages

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[45] arXiv:1609.00177 [pdf, other]

Title: A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods

Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres

Subjects: Robotics (cs.RO)

[46] arXiv:1609.00183 [pdf, other]

Title: A short review and primer on electroencephalography in human computer interaction applications

Lauri Ahonen, Benjamin Cowley

Comments: 13 pages, 1 figure. Part of a journal

Subjects: Human-Computer Interaction (cs.HC); Neurons and Cognition (q-bio.NC)

[47] arXiv:1609.00189 [pdf, other]

Title: Dual Capacity Upper Bounds for Noisy Runlength Constrained Channels

Andrew Thangaraj

Comments: Expanded version of a paper in IEEE Information Theory Workshop 2017, Cambridge, UK, Sep 11-14, 2017

Subjects: Information Theory (cs.IT)

[48] arXiv:1609.00195 [pdf, other]

Title: Designing a semantic model for a wide-spectrum language with concurrency

Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke

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

[49] arXiv:1609.00203 [pdf, other]

Title: Employing traditional machine learning algorithms for big data streams analysis: the case of object trajectory prediction

Angelos Valsamis, Konstantinos Tserpes, Dimitrios Zissis, Dimosthenis Anagnostopoulos, Theodora Varvarigou

Comments: 14 pages, 2 figures, 3 tables, 31 references

Subjects: Machine Learning (cs.LG)

[50] arXiv:1609.00214 [pdf, other]

Title: Separability of Reachability Sets of Vector Addition Systems

Lorenzo Clemente, Wojciech Czerwiński, Sławomir Lasota, Charles Paperman

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