Computer Science

Authors and titles for March 2018

[301] arXiv:1803.01118 [pdf, other]

Title: Some Considerations on Learning to Explore via Meta-Reinforcement Learning

Bradly C. Stadie, Ge Yang, Rein Houthooft, Xi Chen, Yan Duan, Yuhuai Wu, Pieter Abbeel, Ilya Sutskever

Subjects: Artificial Intelligence (cs.AI)

[302] arXiv:1803.01126 [pdf, other]

Title: On Developers' Personality in Large-scale Distributed Projects: The Case of the Apache Ecosystem

Fabio Calefato, Giuseppe Iaffaldano, Filippo Lanubile, Bogdan Vasilescu

Comments: In Proc. Int'l Conf. on Global Software Engineering (ICGSE'18), Gothenburg, Sweden, May 28-29, 2018

Journal-ref: In Proc. Int'l Conf. on Global Software Engineering (ICGSE'18), Gothenburg, Sweden, May 28-29, 2018

Subjects: Software Engineering (cs.SE)

[303] arXiv:1803.01128 [pdf, other]

Title: Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples

Minhao Cheng, Jinfeng Yi, Pin-Yu Chen, Huan Zhang, Cho-Jui Hsieh

Subjects: Machine Learning (cs.LG)

[304] arXiv:1803.01129 [pdf, other]

Title: OIL: Observational Imitation Learning

Guohao Li, Matthias Müller, Vincent Casser, Neil Smith, Dominik L. Michels, Bernard Ghanem

Comments: Accepted at RSS'19. First two authors contributed equally

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

[305] arXiv:1803.01135 [pdf, other]

Title: MaskLink: Efficient Link Discovery for Spatial Relations via Masking Areas

Georgios Santipantakis, Christos Doulkeridis, George A. Vouros, Akrivi Vlachou

Subjects: Databases (cs.DB)

[306] arXiv:1803.01136 [pdf, other]

Title: Coverage and Connectivity Analysis of Millimeter Wave Vehicular Networks

Marco Giordani, Mattia Rebato, Andrea Zanella, Michele Zorzi

Comments: In press of Elsevier Ad Hoc Networks

Subjects: Networking and Internet Architecture (cs.NI)

[307] arXiv:1803.01137 [pdf, other]

Title: Security issues in a group key establishment protocol

Chris J Mitchell

Comments: arXiv admin note: text overlap with arXiv:1803.05365

Subjects: Cryptography and Security (cs.CR)

[308] arXiv:1803.01139 [pdf, other]

Title: State and Parameter Estimation Based on Filtered Transformation for a Class of Second-Order Systems

Mehdi Tavan, Kamel Sabahi, Saeid Hoseinzadeh

Comments: The manuscript was accepted as "contributed paper" in the 2018 European Control Conference, but not presented

Subjects: Systems and Control (eess.SY)

[309] arXiv:1803.01142 [pdf, other]

Title: Management of Network Slicing in 5G Radio Access Networks: Functional Framework and Information Models

R. Ferrús, O. Sallent, J. Pérez-Romero, R. Agustí

Comments: This work has been submitted to the IEEE for possible publication

Subjects: Networking and Internet Architecture (cs.NI)

[310] arXiv:1803.01145 [pdf, other]

Title: Designing Interactions with Furniture: Towards Multi-Sensorial Interaction Design Processes for Interactive Furniture

Pedro Campos, Nils Ehrenberg, Miguel Campos

Subjects: Human-Computer Interaction (cs.HC)

[311] arXiv:1803.01146 [pdf, other]

Title: Stylize Aesthetic QR Code

Mingliang Xu, Hao Su, Yafei Li, Xi Li, Jing Liao, Jianwei Niu, Pei Lv, Bing Zhou

Comments: 14 pages

Subjects: Multimedia (cs.MM)

[312] arXiv:1803.01160 [pdf, other]

Title: Real-Time Deep Learning Method for Abandoned Luggage Detection in Video

Sorina Smeureanu, Radu Tudor Ionescu

Comments: Accepted at EUSIPCO 2018

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

[313] arXiv:1803.01164 [pdf, other]

Title: The History Began from AlexNet: A Comprehensive Survey on Deep Learning Approaches

Md Zahangir Alom, Tarek M. Taha, Christopher Yakopcic, Stefan Westberg, Paheding Sidike, Mst Shamima Nasrin, Brian C Van Esesn, Abdul A S. Awwal, Vijayan K. Asari

Comments: 39 pages, 46 figures, 3 tables. arXiv admin note: text overlap with arXiv:1408.3264, arXiv:1411.4046

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

[314] arXiv:1803.01165 [pdf, other]

Title: Tag-Enhanced Tree-Structured Neural Networks for Implicit Discourse Relation Classification

Yizhong Wang, Sujian Li, Jingfeng Yang, Xu Sun, Houfeng Wang

Comments: Accepted by IJCNLP 2017, 10 pages

Subjects: Computation and Language (cs.CL)

[315] arXiv:1803.01166 [pdf, other]

Title: AdaM: Adapting Multi-User Interfaces for Collaborative Environments in Real-Time

Seonwook Park, Christoph Gebhardt, Roman Rädle, Anna Feit, Hana Vrzakova, Niraj Dayama, Hui-Shyong Yeo, Clemens Klokmose, Aaron Quigley, Antti Oulasvirta, Otmar Hilliges

Comments: formatting tweaks

Subjects: Human-Computer Interaction (cs.HC)

[316] arXiv:1803.01172 [pdf, other]

Title: Polyhedral Characterization of Reversible Hinged Dissections

Jin Akiyama, Erik D. Demaine, Stefan Langerman

Comments: 7 pages, 6 figures

Journal-ref: Graphs and Combinatorics, 36(2):221-229, 2020

Subjects: Computational Geometry (cs.CG); Metric Geometry (math.MG)

[317] arXiv:1803.01176 [pdf, other]

Title: Path Puzzles: Discrete Tomography with a Path Constraint is Hard

Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Roderick Kimball, Justin Kopinsky

Comments: 16 pages, 8 figures. Revised proof of Theorem 2.4. 2-page abstract appeared in Abstracts from the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCGGG 2017)

Subjects: Computational Geometry (cs.CG)

[318] arXiv:1803.01199 [pdf, other]

Title: Chest X-Ray Analysis of Tuberculosis by Deep Learning with Segmentation and Augmentation

Sergii Stirenko, Yuriy Kochura, Oleg Alienin, Oleksandr Rokovyi, Peng Gang, Wei Zeng, Yuri Gordienko

Comments: 6 pages, 11 figures, 1 table

Journal-ref: 2018 IEEE 38th International Conference on Electronics and Nanotechnology (ELNANO), Kiev, 2018, pp. 422-428

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

[319] arXiv:1803.01206 [pdf, other]

Title: On the Power of Over-parametrization in Neural Networks with Quadratic Activation

Simon S. Du, Jason D. Lee

Comments: Accepted by ICML 2018

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

[320] arXiv:1803.01207 [pdf, other]

Title: Automatic Instrument Segmentation in Robot-Assisted Surgery Using Deep Learning

Alexey Shvets, Alexander Rakhlin, Alexandr A. Kalinin, Vladimir Iglovikov

Comments: 9 pages, 3 figures. arXiv admin note: substantial text overlap with arXiv:1804.08024

Journal-ref: 2018 17th IEEE International Conference on Machine Learning and Applications (ICMLA)

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

[321] arXiv:1803.01216 [pdf, other]

Title: Deep Bayesian Active Semi-Supervised Learning

Matthias Rottmann, Karsten Kahl, Hanno Gottschalk

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

[322] arXiv:1803.01221 [pdf, other]

Title: Byzantine-Resilient Locally Optimum Detection Using Collaborative Autonomous Networks

Bhavya Kailkhura, Priyadip Ray, Deepak Rajan, Anton Yen, Peter Barnes, Ryan Goldhahn

Comments: Proceedings of the 2017 IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP 2017), 10.-13. December 2017, Curacao, Dutch Antilles

Subjects: Systems and Control (eess.SY); Other Statistics (stat.OT)

[323] arXiv:1803.01229 [pdf, other]

Title: GAN-based Synthetic Medical Image Augmentation for increased CNN Performance in Liver Lesion Classification

Maayan Frid-Adar, Idit Diamant, Eyal Klang, Michal Amitai, Jacob Goldberger, Hayit Greenspan

Comments: Preprint submitted to Neurocomputing

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

[324] arXiv:1803.01237 [pdf, other]

Title: Histogram Sort with Sampling

Vipul Harsh, Laxmikant Kale, Edgar Solomonik

Comments: 12 pages, 7 figures, 4 tables

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[325] arXiv:1803.01245 [pdf, other]

Title: CAPS: Context Aware Personalized POI Sequence Recommender System

Ramesh Baral, Tao Li, XiaoLong Zhu

Subjects: Information Retrieval (cs.IR)

[326] arXiv:1803.01248 [pdf, other]

Title: Imprecise temporal associations and decision support systems

Giovanni Vincenti

Comments: 6 pages, 3 figures

Subjects: Databases (cs.DB)

[327] arXiv:1803.01250 [pdf, other]

Title: A Benchmark for Iris Location and a Deep Learning Detector Evaluation

Evair Severo, Rayson Laroca, Cides S. Bezerra, Luiz A. Zanlorensi, Daniel Weingaertner, Gladston Moreira, David Menotti

Comments: Accepted for presentation at the International Joint Conference on Neural Networks (IJCNN) 2018

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

[328] arXiv:1803.01252 [pdf, other]

Title: A Swift Heuristic Method for Work Order Scheduling under the Skilled-Workforce Constraint

Nima Safaei, Corey Kiassat

Subjects: Artificial Intelligence (cs.AI)

[329] arXiv:1803.01254 [pdf, other]

Title: Revisiting Spatial-Temporal Similarity: A Deep Learning Framework for Traffic Prediction

Huaxiu Yao, Xianfeng Tang, Hua Wei, Guanjie Zheng, Zhenhui Li

Comments: Accepted by AAAI 2019

Subjects: Machine Learning (cs.LG)

[330] arXiv:1803.01255 [pdf, other]

Title: Understanding and Improving Multi-Sense Word Embeddings via Extended Robust Principal Component Analysis

Haoyue Shi, Yuqi Sun, Junfeng Hu

Subjects: Computation and Language (cs.CL)

[331] arXiv:1803.01256 [pdf, other]

Title: ZebraLancer: Decentralized Crowdsourcing of Human Knowledge atop Open Blockchain

Yuan Lu, Qiang Tang, Guiling Wang

Subjects: Human-Computer Interaction (cs.HC); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI)

[332] arXiv:1803.01260 [pdf, other]

Title: Unsupervised Learning of Face Representations

Samyak Datta, Gaurav Sharma, C.V. Jawahar

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

[333] arXiv:1803.01261 [pdf, other]

Title: AntShield: On-Device Detection of Personal Information Exposure

Anastasia Shuba, Evita Bakopoulou, Milad Asgari Mehrabadi, Hieu Le, David Choffnes, Athina Markopoulou

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

[334] arXiv:1803.01265 [pdf, other]

Title: Study of a Dynamic Cooperative Trading Queue Routing Control Scheme for Freeways and Facilities with Parallel Queues

Roger Lloret-Batlle, R. Jayakrishnan

Comments: 3 figures. Presented at Annual Meeting Transportation Research Board 2018, Washington DC. Proof of conjecture 1 pending

Subjects: Computer Science and Game Theory (cs.GT)

[335] arXiv:1803.01271 [pdf, other]

Title: An Empirical Evaluation of Generic Convolutional and Recurrent Networks for Sequence Modeling

Shaojie Bai, J. Zico Kolter, Vladlen Koltun

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

[336] arXiv:1803.01273 [pdf, other]

Title: Accelerating Natural Gradient with Higher-Order Invariance

Yang Song, Jiaming Song, Stefano Ermon

Comments: ICML 2018

Subjects: Machine Learning (cs.LG)

[337] arXiv:1803.01276 [pdf, other]

Title: Station Assignment with Reallocation

Austin Halper, Miguel A. Mosteiro, Yulia Rossikova, Prudence W. H. Wong

Subjects: Data Structures and Algorithms (cs.DS)

[338] arXiv:1803.01281 [pdf, other]

Title: Design, Generation, and Validation of Extreme Scale Power-Law Graphs

Jeremy Kepner, Siddharth Samsi, William Arcand, David Bestor, Bill Bergeron, Tim Davis, Vijay Gadepally, Michael Houle, Matthew Hubbell, Hayden Jananthan, Michael Jones, Anna Klein, Peter Michaleas, Roger Pearce, Lauren Milechin, Julie Mullen, Andrew Prout, Antonio Rosa, Geoff Sanders, Charles Yee, Albert Reuther

Comments: 8 pages, 6 figures, IEEE IPDPS 2018 Graph Algorithm Building Blocks (GABB) workshop

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Performance (cs.PF); Combinatorics (math.CO)

[339] arXiv:1803.01285 [pdf, other]

Title: Maximizing Efficiency in Dynamic Matching Markets

Itai Ashlagi, Maximilien Burq, Patrick Jaillet, Amin Saberi

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

[340] arXiv:1803.01296 [pdf, other]

Title: Scout: An Experienced Guide to Find the Best Cloud Configuration

Chin-Jung Hsu, Vivek Nair, Tim Menzies, Vincent W. Freeh

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

[341] arXiv:1803.01299 [pdf, other]

Title: An Optimal Control Approach to Deep Learning and Applications to Discrete-Weight Neural Networks

Qianxiao Li, Shuji Hao

Subjects: Machine Learning (cs.LG)

[342] arXiv:1803.01307 [pdf, other]

Title: Angora: Efficient Fuzzing by Principled Search

Peng Chen, Hao Chen

Comments: To appear in the 39th IEEE Symposium on Security and Privacy, May 21--23, 2018, San Francisco, CA, USA

Subjects: Cryptography and Security (cs.CR)

[343] arXiv:1803.01314 [pdf, other]

Title: Training Deep Learning Based Denoisers without Ground Truth Data

Shakarim Soltanayev, Se Young Chun

Comments: 12 pages, 10 figures, 7 tables, NeurIPS 2018, this is an extended version of it

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

[344] arXiv:1803.01316 [pdf, other]

Title: On Cognitive Preferences and the Plausibility of Rule-based Models

Johannes Fürnkranz, Tomáš Kliegr, Heiko Paulheim

Comments: V4: Another rewrite of section on interpretability to clarify focus on plausibility and relation to interpretability, comprehensibility, and justifiability

Journal-ref: Machine Learning 109(4):853-898, 2020

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

[345] arXiv:1803.01333 [pdf, other]

Title: Highly Cited Papers of Ukrainian Scientists Written in Collaboration: A Bibliometric Analysis (2011-2015)

Serhii Nazarovets

Journal-ref: COLLNET Journal of Scientometrics and Information Management. 2018, 12(1): 35-47

Subjects: Digital Libraries (cs.DL)

[346] arXiv:1803.01335 [pdf, other]

Title: CAESAR: Context Awareness Enabled Summary-Attentive Reader

Long-Huei Chen, Kshitiz Tripathi

Subjects: Computation and Language (cs.CL)

[347] arXiv:1803.01338 [pdf, other]

Title: Rapid Mixing of the Switch Markov Chain for Strongly Stable Degree Sequences and 2-Class Joint Degree Matrices

Georgios Amanatidis, Pieter Kleer

Comments: Accepted to SODA 2019

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[348] arXiv:1803.01339 [pdf, other]

Title: Multiple Sound Source Localisation with Steered Response Power Density and Hierarchical Grid Refinement

Mert Burkay Coteli, Orhun Olgun, Huseyin Hacihabiboglu

Comments: 14 pages, 10 figures, 4 tables, submitted to IEEE/ACM Transactions on Audio, Speech and Language Processing (03 March 2018)

Subjects: Sound (cs.SD); Multimedia (cs.MM); Audio and Speech Processing (eess.AS)

[349] arXiv:1803.01343 [pdf, other]

Title: The effect of twitter-mediated activities on learning outcome and student engagement: A case study

Smaragdi Loutou, Nikolaos Tselios, Panagiota Altanopoulou

Subjects: Computers and Society (cs.CY)

[350] arXiv:1803.01349 [pdf, other]

Title: Deep Network Regularization via Bayesian Inference of Synaptic Connectivity

Harris Partaourides, Sotirios P. Chatzis

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

[351] arXiv:1803.01351 [pdf, other]

Title: A high-order discontinuous Galerkin approach to the elasto-acoustic problem

Paola F. Antonietti, Francesco Bonaldi, Ilario Mazzieri

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

[352] arXiv:1803.01356 [pdf, other]

Title: Classification based Grasp Detection using Spatial Transformer Network

Dongwon Park, Se Young Chun

Comments: 6 pages, 10 figures, Under review

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

[353] arXiv:1803.01358 [pdf, other]

Title: Applied Erasure Coding in Networks and Distributed Storage

Katina Kralevska

Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)

[354] arXiv:1803.01362 [pdf, other]

Title: Two-Dimensional Block Trees

Nieves R. Brisaboa, Travis Gagie, Adrián Gómez-Brandón, Gonzalo Navarro

Comments: This research has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Actions H2020-MSCA-RISE-2015 BIRDS GA No. 690941

Subjects: Data Structures and Algorithms (cs.DS)

[355] arXiv:1803.01364 [pdf, other]

Title: SAFE: Spectral Evolution Analysis Feature Extraction for Non-Stationary Time Series Prediction

Arief Koesdwiady, Fakhri Karray

Comments: submitted to IEEE Trans Cybernetics

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

[356] arXiv:1803.01365 [pdf, other]

Title: New Results on Multi-Step Traffic Flow Prediction

Arief Koesdwiady, Fakhri Karray

Comments: submitted to IEEE Trans on ITS

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

[357] arXiv:1803.01366 [pdf, other]

Title: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

Anna Philippou, Mauricio Toro

Journal-ref: International Conference on Software Engineering and Formal Methods, 345-361. 2013

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[358] arXiv:1803.01368 [pdf, other]

Title: Finite Length Analysis of Irregular Repetition Slotted ALOHA in the Waterfall Region

Alexandre Graell i Amat, Gianluigi Liva

Comments: Accepted for publication in the IEEE Communications Letters

Subjects: Information Theory (cs.IT)

[359] arXiv:1803.01372 [pdf, other]

Title: Optimal Transmit Antenna Selection for Massive MIMO Wiretap Channels

Saba Asaad, Ali Bereyhi, Amir M. Rabiei, Ralf R. Müller, Rafael F. Schaefer

Comments: Accepted for publication in IEEE JSAC special issue on "Physical Layer Security for 5G Wireless Networks"; 11 pages, 8 figures

Subjects: Information Theory (cs.IT)

[360] arXiv:1803.01373 [pdf, other]

Title: A Successive Optimization Approach to Pilot Design for Multi-Cell Massive MIMO Systems

Hayder Al-Salihi, Trinh Van Chien, Tuan Anh Le, Mohammad Reza Nakhai

Comments: Accepted, IEEE Communications Letters 2018

Subjects: Information Theory (cs.IT)

[361] arXiv:1803.01378 [pdf, other]

Title: Localization under Topological Uncertainty for Lane Identification of Autonomous Vehicles

Samer B. Nashed, David M. Ilstrup, Joydeep Biswas

Comments: 6 pages, to appear in ICRA 2018

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[362] arXiv:1803.01383 [pdf, other]

Title: Algebraic construction of higher order difference approximations for fractional derivatives and applications

H. M. Nasir, K. Nafa

Comments: 19 pages

Subjects: Numerical Analysis (math.NA)

[363] arXiv:1803.01384 [pdf, other]

Title: Data Curation with Deep Learning [Vision]

Saravanan Thirumuruganathan, Nan Tang, Mourad Ouzzani, AnHai Doan

Subjects: Databases (cs.DB)

[364] arXiv:1803.01387 [pdf, other]

Title: Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties

Jun Liu

Comments: 10 pages, 4 figures. This is a version of the paper published in the Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'17)

Subjects: Systems and Control (eess.SY)

[365] arXiv:1803.01390 [pdf, other]

Title: Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees

Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher

Subjects: Databases (cs.DB)

[366] arXiv:1803.01394 [pdf, other]

Title: The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment

Gianni Fenu, Lodovica Marchesi, Michele Marchesi, Roberto Tonelli

Subjects: Computers and Society (cs.CY)

[367] arXiv:1803.01400 [pdf, other]

Title: Concatenated Power Mean Word Embeddings as Universal Cross-Lingual Sentence Representations

Andreas Rücklé, Steffen Eger, Maxime Peyrard, Iryna Gurevych

Comments: Experiments/plots added: Normalization + Figure 1 (dimensionality vs. performance)

Subjects: Computation and Language (cs.CL)

[368] arXiv:1803.01403 [pdf, other]

Title: Exploring Novel Game Spaces with Fluidic Games

Swen E. Gaudl, Mark J. Nelson, Simon Colton, Rob Saunders, Edward J. Powley, Peter Ivey, Blanca Perez Ferrer, Michael Cook

Comments: AISB: Games AI & VR, 4 pages, 4 figures, game design, tools, creativity

Subjects: Artificial Intelligence (cs.AI)

[369] arXiv:1803.01412 [pdf, other]

Title: A real-time decision support system for bridge management based on the rules generalized by CART decision tree and SMO algorithms

Shadi Abpeykar, Mehdi Ghatee

Comments: 11 pages, 5 figures, extracted form an MSc project in Department of Computer Science, Amirkabir University of Technology, Tehran, Iran This paper has been accepted for publication in AUT Journal of Mathematics and Computing (AJMC), this http URL, 2018

Subjects: Artificial Intelligence (cs.AI)

[370] arXiv:1803.01413 [pdf, other]

Title: Egocentric Basketball Motion Planning from a Single First-Person Image

Gedas Bertasius, Aaron Chan, Jianbo Shi

Comments: CVPR 2018

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

[371] arXiv:1803.01417 [pdf, other]

Title: Efficient and Accurate MRI Super-Resolution using a Generative Adversarial Network and 3D Multi-Level Densely Connected Network

Yuhua Chen, Feng Shi, Anthony G. Christodoulou, Zhengwei Zhou, Yibin Xie, Debiao Li

Comments: 10 pages, 2 figures, 2 tables. MICCAI 2018

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[372] arXiv:1803.01418 [pdf, other]

Title: Complexity and (un)decidability of fragments of $\langle ω^{ω^λ}; \times \rangle$

Alexis Bès, Christian Choffrut

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[373] arXiv:1803.01419 [pdf, other]

Title: Image space projection for low-rank signal estimation: Modified Gauss-Newton method

N. Zvonarev, N. Golyandina

Subjects: Numerical Analysis (math.NA)

[374] arXiv:1803.01420 [pdf, other]

Title: Detecting Correlations with Little Memory and Communication

Yuval Dagan, Ohad Shamir

Comments: Accepted for presentation at Conference on Learning Theory (COLT) 2018. Changes: Added a comparison to Raz [2016]; Corrected typos; Added references

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

[375] arXiv:1803.01425 [pdf, other]

Title: On the Effectiveness of Simple Success-Based Parameter Selection Mechanisms for Two Classical Discrete Black-Box Optimization Benchmark Problems

Carola Doerr, Markus Wagner

Subjects: Neural and Evolutionary Computing (cs.NE)

[376] arXiv:1803.01427 [pdf, other]

Title: Lie-Poisson integrators

David Martin de Diego

Comments: 27 pages

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Differential Geometry (math.DG); Symplectic Geometry (math.SG)

[377] arXiv:1803.01431 [pdf, other]

Title: Design of a Low Voltage Analog-to-Digital Converter using Voltage Controlled Stochastic Switching of Low Barrier Nanomagnets

Indranil Chakraborty, Amogh Agrawal, Kaushik Roy

Comments: 11 pages, 6 figures

Subjects: Emerging Technologies (cs.ET)

[378] arXiv:1803.01442 [pdf, other]

Title: Stochastic Activation Pruning for Robust Adversarial Defense

Guneet S. Dhillon, Kamyar Azizzadenesheli, Zachary C. Lipton, Jeremy Bernstein, Jean Kossaifi, Aran Khanna, Anima Anandkumar

Comments: ICLR 2018

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

[379] arXiv:1803.01445 [pdf, other]

Title: Universal (and Existential) Nulls

Gösta Grahne, Ali Moallemi

Comments: 36 pages

Subjects: Databases (cs.DB)

[380] arXiv:1803.01446 [pdf, other]

Title: Learning to Sequence Robot Behaviors for Visual Navigation

Hadi Salman, Puneet Singhal, Tanmay Shankar, Peng Yin, Ali Salman, William Paivine, Guillaume Sartoretti, Matthew Travers, Howie Choset

Subjects: Robotics (cs.RO)

[381] arXiv:1803.01448 [pdf, other]

Title: Tree dimension in verification of constrained Horn clauses

Bishoksan Kafle, John P. Gallagher, Pierre Ganty

Comments: Under consideration for publication in Theory and Practice of Logic Programming (TPLP)

Subjects: Logic in Computer Science (cs.LO)

[382] arXiv:1803.01449 [pdf, other]

Title: Deep Continuous Clustering

Sohil Atul Shah, Vladlen Koltun

Comments: The code is available at this http URL

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

[383] arXiv:1803.01450 [pdf, other]

Title: An Implementation of Adaptive Mesh Refinement for Shallow Water Equations

Avi Schwarzschild, Kyle T. Mandli

Subjects: Numerical Analysis (math.NA)

[384] arXiv:1803.01457 [pdf, other]

Title: Less Is More: Picking Informative Frames for Video Captioning

Yangyu Chen, Shuhui Wang, Weigang Zhang, Qingming Huang

Comments: 10 pages, 7 figures, 2 tables

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

[385] arXiv:1803.01462 [pdf, other]

Title: Optimal Status Updating for an Energy Harvesting Sensor with a Noisy Channel

Songtao Feng, Jing Yang

Comments: To appear in INFOCOM 2018, workshop on Age of Information

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

[386] arXiv:1803.01465 [pdf, other]

Title: Query and Output: Generating Words by Querying Distributed Word Representations for Paraphrase Generation

Shuming Ma, Xu Sun, Wei Li, Sujian Li, Wenjie Li, Xuancheng Ren

Comments: arXiv admin note: text overlap with arXiv:1710.02318

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)

[387] arXiv:1803.01466 [pdf, other]

Title: Learning how to Prove: From the Coq Proof Assistant to Textbook Style

Sebastian Böhne (Universität Potsdam), Christoph Kreitz (Universität Potsdam)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 1-18

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[388] arXiv:1803.01467 [pdf, other]

Title: The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

Arno Ehle (University of Kassel), Norbert Hundeshagen (University of Kassel), Martin Lange (University of Kassel)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 19-37

Subjects: Logic in Computer Science (cs.LO); Computers and Society (cs.CY)

[389] arXiv:1803.01468 [pdf, other]

Title: Improving QED-Tutrix by Automating the Generation of Proofs

Ludovic Font (École Polytechnique de Montréal), Philippe R. Richard (Université de Montréal), Michel Gagnon (École Polytechnique de Montréal)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 38-58

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[390] arXiv:1803.01469 [pdf, other]

Title: A Theorem Prover for Scientific and Educational Purposes

Mario Frank (University of Potsdam, Institute for Computer Science, Potsdam, Germany), Christoph Kreitz (University of Potsdam, Institute for Computer Science, Potsdam, Germany)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 59-69

Subjects: Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[391] arXiv:1803.01470 [pdf, other]

Title: Prototyping "Systems that Explain Themselves" for Education

Alan Krempler, Walther Neuper

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 89-107

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[392] arXiv:1803.01471 [pdf, other]

Title: Exchange of Geometric Information Between Applications

Pedro Quaresma (University of Coimbra, Portugal), Vanda Santos (University of Coimbra, Portugal), Nuno Baeta (University of Coimbra, Portugal)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 108-119

Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)

[393] arXiv:1803.01472 [pdf, other]

Title: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models

Wolfgang Schreiner (Johannes Kepler University, Linz, Austria), Alexander Brunhuemer (Johannes Kepler University, Linz, Austria), Christoph Fürst (Johannes Kepler University, Linz, Austria)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 120-139

Subjects: Logic in Computer Science (cs.LO)

[394] arXiv:1803.01473 [pdf, other]

Title: Natural Deduction and the Isabelle Proof Assistant

Jørgen Villadsen (Technical University of Denmark), Andreas Halkjær From (Technical University of Denmark), Anders Schlichtkrull (Technical University of Denmark)

Comments: In Proceedings ThEdu'17, arXiv:1803.00722

Journal-ref: EPTCS 267, 2018, pp. 140-155

Subjects: Logic in Computer Science (cs.LO)

[395] arXiv:1803.01474 [pdf, other]

Title: Optimizing Learned Bloom Filters by Sandwiching

Michael Mitzenmacher

Comments: Short note. Related to arXiv:1802.00884 ; will probably combine them into a larger submission at some point in the future

Subjects: Data Structures and Algorithms (cs.DS)

[396] arXiv:1803.01477 [pdf, other]

Title: In-home and remote use of robotic body surrogates by people with profound motor deficits

Phillip M. Grice, Charles C. Kemp

Comments: 43 Pages, 13 Figures

Journal-ref: PLoS ONE 14(3): e0212904 (2019)

Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC)

[397] arXiv:1803.01478 [pdf, other]

Title: Two-sided popular matchings in bipartite graphs with forbidden/forced elements and weights

Yuri Faenza, Vladlena Powers, Xingyu Zhang

Comments: 14 pages, 4 figures

Subjects: Discrete Mathematics (cs.DM)

[398] arXiv:1803.01484 [pdf, other]

Title: On Blocking Collisions between People, Objects and other Robots

Kwan Suk Kim, Luis Sentis

Subjects: Robotics (cs.RO)

[399] arXiv:1803.01485 [pdf, other]

Title: Totally Looks Like - How Humans Compare, Compared to Machines

Amir Rosenfeld, Markus D. Solbach, John K. Tsotsos

Comments: ACCV 2018. Project website: this https URL

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

[400] arXiv:1803.01491 [pdf, other]

Title: Programmable Switch as a Parallel Computing Device

Li Chen, Ge Chen, Justinas Lingys, Kai Chen

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)