Computer Science

Authors and titles for May 2017

[301] arXiv:1705.01320 [pdf, other]

Title: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

Ruediger Ehlers

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[302] arXiv:1705.01325 [pdf, other]

Title: On-The-Fly Secure Key Generation with Deterministic Models

Rick Fritschek, Gerhard Wunder

Comments: To appear in ICC 2017

Subjects: Information Theory (cs.IT)

[303] arXiv:1705.01332 [pdf, other]

Title: LiDAR-based Control of Autonomous Rotorcraft for the Inspection of Pier-like Structures: Proofs

Bruno J. Guerreiro, Carlos Silvestre, Rita Cunha, David Cabecinhas

Comments: [1] B. J. Guerreiro, C. Silvestre, R. Cunha, and D. Cabecinhas, Lidar-based control of autonomous rotorcraft for the inspection of pier-like structures, IEEE Transactions in Control Systems Technology, 2017. (to appear)

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

[304] arXiv:1705.01337 [pdf, other]

Title: An empirical Bayes approach to identification of modules in dynamic networks

Niklas Everitt, Giulio Bottegal, Håkan Hjalmarsson

Subjects: Systems and Control (eess.SY)

[305] arXiv:1705.01343 [pdf, other]

Title: A Content-based Centrality Metric for Collaborative Caching in Information-Centric Fogs

Junaid Ahmed Khan, Cedric Westphal, Yacine Ghamri-Doudane

Subjects: Networking and Internet Architecture (cs.NI)

[306] arXiv:1705.01346 [pdf, other]

Title: Going Wider: Recurrent Neural Network With Parallel Cells

Danhao Zhu, Si Shen, Xin-Yu Dai, Jiajun Chen

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[307] arXiv:1705.01352 [pdf, other]

Title: Optical Flow in Mostly Rigid Scenes

Jonas Wulff, Laura Sevilla-Lara, Michael J. Black

Comments: 15 pages, 10 figures; accepted for publication at CVPR 2017

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

[308] arXiv:1705.01359 [pdf, other]

Title: FOIL it! Find One mismatch between Image and Language caption

Ravi Shekhar, Sandro Pezzelle, Yauhen Klimovich, Aurelie Herbelot, Moin Nabi, Enver Sangineto, Raffaella Bernardi

Comments: To appear at ACL 2017

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Multimedia (cs.MM)

[309] arXiv:1705.01362 [pdf, other]

Title: Rotation Averaging and Strong Duality

Anders Eriksson, Carl Olsson, Fredrik Kahl, Tat-Jun Chin

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

[310] arXiv:1705.01364 [pdf, other]

Title: A reproducing kernel Hilbert space approach in meshless collocation method

Babak Azarnavid, Mahdi Emamjome, Mohammad Nabati, Saeid Abbasbandy

Subjects: Numerical Analysis (math.NA)

[311] arXiv:1705.01365 [pdf, other]

Title: Quantified advantage of discontinuous weight selection in approximations with deep neural networks

Dmitry Yarotsky

Comments: 12 pages, submitted to J. Approx. Theory

Subjects: Neural and Evolutionary Computing (cs.NE)

[312] arXiv:1705.01367 [pdf, other]

Title: Experimental Comparison of Probabilistic Shaping Methods for Unrepeated Fiber Transmission

Julian Renner, Tobias Fehenberger, Metodi P. Yankov, Francesco Da Ros, Søren Forchhammer, Georg Böcherer, Norbert Hanik

Comments: 9 pages, 7 figures, 7 tables

Subjects: Information Theory (cs.IT)

[313] arXiv:1705.01368 [pdf, other]

Title: Representing ($q$--)hypergeometric products and mixed versions in difference rings

Evans Doe Ocansey, Carsten Schneider

Comments: Removed various typos

Subjects: Symbolic Computation (cs.SC)

[314] arXiv:1705.01371 [pdf, other]

Title: Weakly-supervised Visual Grounding of Phrases with Linguistic Structures

Fanyi Xiao, Leonid Sigal, Yong Jae Lee

Comments: CVPR 2017

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

[315] arXiv:1705.01376 [pdf, other]

Title: Fast Real-Time DC State Estimation in Electric Power Systems Using Belief Propagation

Mirsad Cosovic, Dejan Vukobratovic

Comments: 6 pages; 7 figures; submitted in the IEEE International Conference on Smart Grid Communications (SmartGridComm 2017)

Subjects: Information Theory (cs.IT)

[316] arXiv:1705.01380 [pdf, other]

Title: Linear complexity of Legendre-polynomial quotients

Zhixiong Chen

Comments: 11 pages

Journal-ref: IET Information Security, 2018, 12(5)

Subjects: Cryptography and Security (cs.CR); Number Theory (math.NT)

[317] arXiv:1705.01389 [pdf, other]

Title: Learning to Estimate 3D Hand Pose from Single RGB Images

Christian Zimmermann, Thomas Brox

Comments: Accepted to ICCV 2017. Code and dataset is released: this https URL

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

[318] arXiv:1705.01394 [pdf, other]

Title: A Characterization of the Shannon Ordering of Communication Channels

Rajai Nasser

Comments: 23 pages, presented in part at ISIT'17. arXiv admin note: text overlap with arXiv:1702.00727

Subjects: Information Theory (cs.IT)

[319] arXiv:1705.01398 [pdf, other]

Title: Benefits of Mobile End User Network Switching and Multihoming

Benjamin Finley, Arturo Basaure

Comments: Accepted Manuscript

Journal-ref: B. Finley, A. Basaure, Benefits of mobile end user network switching and multihoming, Computer Communications, Volume 117, 2018, Pages 24-35

Subjects: Networking and Internet Architecture (cs.NI); Human-Computer Interaction (cs.HC)

[320] arXiv:1705.01399 [pdf, other]

Title: Answer Set Programming for Non-Stationary Markov Decision Processes

Leonardo A. Ferreira, Reinaldo A. C. Bianchi, Paulo E. Santos, Ramon Lopez de Mantaras

Subjects: Artificial Intelligence (cs.AI)

[321] arXiv:1705.01402 [pdf, other]

Title: Reconstruction of Missing Big Sensor Data

Yongshuai Shao, Zhe Chen

Subjects: Other Computer Science (cs.OH)

[322] arXiv:1705.01410 [pdf, other]

Title: Social Network Analysis of yahoo web-search engine query logs

Mohamed Aboeleinen, A H M Forhadul Islam

Comments: 14 pages, 5 figures, project work

Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI)

[323] arXiv:1705.01414 [pdf, other]

Title: Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms

Daniel Lokshtanov, Fahad Panolan, Saket Saurabh, Roohani Sharma, Meirav Zehavi

Comments: 35 pages

Subjects: Data Structures and Algorithms (cs.DS)

[324] arXiv:1705.01425 [pdf, other]

Title: Data-Driven Synthesis of Smoke Flows with CNN-based Feature Descriptors

Mengyu Chu, Nils Thuerey

Comments: 14 pages, 17 figures, to appear at SIGGRAPH 2017, v2 only fixes small typos

Journal-ref: ACM Trans. Graph.36, 4 (2017), 69:1-69:13

Subjects: Graphics (cs.GR); Machine Learning (cs.LG)

[325] arXiv:1705.01426 [pdf, other]

Title: A Nonlinear Model Predictive Control Scheme for Cooperative Manipulation with Singularity and Collision Avoidance

Alexandros Nikou, Christos Verginis, Shahab Heshmati-alamdari, Dimos V. Dimarogonas

Comments: Simulation results with 3 agents added

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

[326] arXiv:1705.01433 [pdf, other]

Title: Infinite-Duration Bidding Games

Guy Avni, Thomas A. Henzinger, Ventsislav Chonev

Comments: A short version appeared in CONCUR 2017. The paper is accepted to JACM

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[327] arXiv:1705.01441 [pdf, other]

Title: An efficient implementation of the Hill-Harmonic Balance method to obtain Floquet exponents and solutions for homogeneous linear periodic differential equations

Manuel Gadella, Luis Pedro Lara

Comments: 19 pages, 1 figure

Subjects: Numerical Analysis (math.NA)

[328] arXiv:1705.01450 [pdf, other]

Title: Gabor Convolutional Networks

Shangzhen Luan, Baochang Zhang, Chen Chen, Xianbin Cao, Jungong Han, Jianzhuang Liu

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

[329] arXiv:1705.01452 [pdf, other]

Title: Chunk-Based Bi-Scale Decoder for Neural Machine Translation

Hao Zhou, Zhaopeng Tu, Shujian Huang, Xiaohua Liu, Hang Li, Jiajun Chen

Comments: Accepted as a short paper by ACL 2017

Subjects: Computation and Language (cs.CL)

[330] arXiv:1705.01453 [pdf, other]

Title: Distributed Proportional-Fairness Control in MicroGrids via Blockchain Smart Contracts

Pietro Danzi, Marko Angjelichinoski, Čedomir Stefanović, Petar Popovski

Comments: Paper submitted to "IEEE Smartgridcomm 2017"

Subjects: Multiagent Systems (cs.MA)

[331] arXiv:1705.01454 [pdf, other]

Title: The Payoff Region of a Strategic Game and Its Extreme Points

Yu-Sung Tu, Wei-Torng Juang

Subjects: Computer Science and Game Theory (cs.GT); General Economics (econ.GN)

[332] arXiv:1705.01462 [pdf, other]

Title: Ternary Neural Networks with Fine-Grained Quantization

Naveen Mellempudi, Abhisek Kundu, Dheevatsa Mudigere, Dipankar Das, Bharat Kaul, Pradeep Dubey

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

[333] arXiv:1705.01464 [pdf, other]

Title: Quantitative and Qualitative Analysis of Editor Behavior through Potentially Coercive Citations

Claudiu Herteliu, Marcel Ausloos, Bogdan Vasile Ileanu, Giulia Rotundo, Tudorel Andrei

Comments: 23 pages, 6 figures, 5 tables, 45 references, published in Publications (MDPI), 2017 (this http URL). The title of published version is slightly changed

Journal-ref: Publications 5 (2017) 15

Subjects: Digital Libraries (cs.DL)

[334] arXiv:1705.01465 [pdf, other]

Title: The Homogeneous Broadcast Problem in Narrow and Wide Strips

Mark de Berg, Hans L. Bodlaender, Sándor Kisfaludi-Bak

Comments: 50 pages, WADS 2017 submission

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[335] arXiv:1705.01471 [pdf, other]

Title: Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How

Comments: 8 pages, submitted to ACC 2018

Subjects: Systems and Control (eess.SY)

[336] arXiv:1705.01477 [pdf, other]

Title: On Tackling the Limits of Resolution in SAT Solving

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Subjects: Logic in Computer Science (cs.LO)

[337] arXiv:1705.01484 [pdf, other]

Title: Some New Permutation Polynomials over Finite Fields

Nouara Zoubir, Kenza Guenda

Subjects: Information Theory (cs.IT)

[338] arXiv:1705.01485 [pdf, other]

Title: Efficient Spatio-Temporal Gaussian Regression via Kalman Filtering

Marco Todescato, Andrea Carron, Ruggero Carli, Gianluigi Pillonetto, Luca Schenato

Comments: 26 pages, 12 figures. Submitted to IEEE Transactions on Pattern Analysis and Machine Intelligence

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

[339] arXiv:1705.01497 [pdf, other]

Title: Sustaining Moore's Law Through Inexactness

John Augustine, Krishna Palem, Parishkrati

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[340] arXiv:1705.01501 [pdf, other]

Title: Making Metric Temporal Logic Rational

Shankara Narayanan Krishna, Khushraj Madnani, P. K. Pandya

Subjects: Logic in Computer Science (cs.LO)

[341] arXiv:1705.01503 [pdf, other]

Title: Insights on aliasing driven instabilities for advection equations with application to Gauss-Lobatto discontinuous Galerkin methods

Juan Manzanero, Gonzalo Rubio, Esteban Ferrer, Eusebio Valero, David A. Kopriva

Subjects: Numerical Analysis (math.NA)

[342] arXiv:1705.01507 [pdf, other]

Title: XES Tensorflow - Process Prediction using the Tensorflow Deep-Learning Framework

Joerg Evermann, Jana-Rebecca Rehse, Peter Fettke

Subjects: Machine Learning (cs.LG)

[343] arXiv:1705.01509 [pdf, other]

Title: Neural Models for Information Retrieval

Bhaskar Mitra, Nick Craswell

Subjects: Information Retrieval (cs.IR)

[344] arXiv:1705.01516 [pdf, other]

Title: Hybrid Urban Navigation for Smart Cities

Oisín Moran, Robert Gilmore, Rodrigo Ordóñez-Hurtado, Robert Shorten

Comments: 21 pages, 10 figures, 2 tables

Subjects: Systems and Control (eess.SY)

[345] arXiv:1705.01520 [pdf, other]

Title: Restart-Based Security Mechanisms for Safety-Critical Embedded Systems

Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo

Subjects: Cryptography and Security (cs.CR)

[346] arXiv:1705.01522 [pdf, other]

Title: A Fast Causal Profiler for Task Parallel Programs

Adarsh Yoga, Santosh Nagarakatte

Comments: 11 pages

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[347] arXiv:1705.01567 [pdf, other]

Title: Toward Open-Set Face Recognition

Manuel Günther, Steve Cruz, Ethan M. Rudd, Terrance E. Boult

Comments: Accepted for Publication in CVPR 2017 Biometrics Workshop

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

[348] arXiv:1705.01570 [pdf, other]

Title: Testing Core Membership in Public Goods Economies

Greg Bodwin

Comments: To appear in ICALP 2017

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[349] arXiv:1705.01576 [pdf, other]

Title: Fourth-order Tensors with Multidimensional Discrete Transforms

Xiao-Yang Liu, Xiaodong Wang

Subjects: Numerical Analysis (math.NA); Information Theory (cs.IT)

[350] arXiv:1705.01583 [pdf, other]

Title: VNect: Real-time 3D Human Pose Estimation with a Single RGB Camera

Dushyant Mehta, Srinath Sridhar, Oleksandr Sotnychenko, Helge Rhodin, Mohammad Shafiei, Hans-Peter Seidel, Weipeng Xu, Dan Casas, Christian Theobalt

Comments: Accepted to SIGGRAPH 2017

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