Computer Science

Authors and titles for May 2018

[801] arXiv:1805.02912 [pdf, other]

Title: The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case

Yijia Chen, Abdallah Saffidine, Christoph Schwering

Comments: 15 pages, 1 figure, 1 table, Twenty-seventh International Joint Conference on Artificial Intelligence (IJCAI-18)

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

[802] arXiv:1805.02914 [pdf, other]

Title: One "Ruler" for All Languages: Multi-Lingual Dialogue Evaluation with Adversarial Multi-Task Learning

Xiaowei Tong, Zhenxin Fu, Mingyue Shang, Dongyan Zhao, Rui Yan

Comments: To appear in IJCAI 2018

Subjects: Computation and Language (cs.CL)

[803] arXiv:1805.02917 [pdf, other]

Title: Interpretable Adversarial Perturbation in Input Embedding Space for Text

Motoki Sato, Jun Suzuki, Hiroyuki Shindo, Yuji Matsumoto

Comments: 8 pages, 4 figures

Journal-ref: IJCAI-ECAI-2018

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

[804] arXiv:1805.02919 [pdf, other]

Title: Learning Short-Cut Connections for Object Counting

Daniel Oñoro-Rubio, Mathias Niepert, Roberto J. López-Sastre

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

[805] arXiv:1805.02921 [pdf, other]

Title: Hierarchical Temporal Memory using Memristor Networks: A Survey

Olga Krestinskaya, Irina Dolzhikova, Alex Pappachen James

Journal-ref: IEEE Transactions on Emerging Topics in Computational Intelligence, 2018

Subjects: Hardware Architecture (cs.AR); Emerging Technologies (cs.ET)

[806] arXiv:1805.02924 [pdf, other]

Title: Comparing phonemes and visemes with DNN-based lipreading

Kwanchiva Thangthai, Helen L Bear, Richard Harvey

Journal-ref: BMVC Lipreading Workshop 2017

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Sound (cs.SD); Audio and Speech Processing (eess.AS); Image and Video Processing (eess.IV)

[807] arXiv:1805.02931 [pdf, other]

Title: Do Smarter People Have Better Passwords?

JV Roig

Subjects: Cryptography and Security (cs.CR)

[808] arXiv:1805.02932 [pdf, other]

Title: Cooperative Control of Multiple Agents with Unknown High-frequency Gain Signs under Unbalanced and Switching Topologies

Qingling Wang, Haris E. Psillakis, Changyin Sun

Comments: 7 pages, 7 figures, submitted

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[809] arXiv:1805.02934 [pdf, other]

Title: Phoneme-to-viseme mappings: the good, the bad, and the ugly

Helen L Bear, Richard Harvey

Journal-ref: Speech Communication, Special Issue on AV expressive speech. 2017

Subjects: Computer Vision and Pattern Recognition (cs.CV); Sound (cs.SD); Audio and Speech Processing (eess.AS); Image and Video Processing (eess.IV)

[810] arXiv:1805.02937 [pdf, other]

Title: Improving Character-level Japanese-Chinese Neural Machine Translation with Radicals as an Additional Input Feature

Jinyi Zhang, Tadahiro Matsumoto

Comments: 4 pages,1 figure. IALP2017 accepted

Subjects: Computation and Language (cs.CL)

[811] arXiv:1805.02944 [pdf, other]

Title: Path Evaluation via HMM on Semantical Occupancy Grid Maps

Timo Korthals, Julian Exner, Thomas Schöpping, Marc Hesse

Comments: ICRA 2018 Workshop on Informative Path Planning and Adaptive Sampling, 2 pages, 4 figures

Subjects: Robotics (cs.RO)

[812] arXiv:1805.02946 [pdf, other]

Title: Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

Jan Křetínský, Tobias Meggendorfer

Subjects: Logic in Computer Science (cs.LO)

[813] arXiv:1805.02962 [pdf, other]

Title: An $H^2$(curl)-conforming finite element in 2D and its applications to the quad-curl problem

Qian Zhang, Lixiu Wang, Zhimin Zhang

Subjects: Numerical Analysis (math.NA)

[814] arXiv:1805.02963 [pdf, other]

Title: Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[815] arXiv:1805.02965 [pdf, other]

Title: Exploring Mechanically Self-Reconfiguring Robots for Autonomous Design

Tønnes F. Nygaard, Charles P. Martin, Jim Torresen, Kyrre Glette

Comments: Accepted to the 2018 ICRA Workshop on Autonomous Robot Design

Subjects: Robotics (cs.RO)

[816] arXiv:1805.02970 [pdf, other]

Title: An Efficient Secure Distributed Cloud Storage for Append-only Data

Binanda Sengupta, Nishant Nikam, Sushmita Ruj, Srinivasan Narayanamurthy, Siddhartha Nandi

Comments: A preliminary version of this paper has been accepted in IEEE CLOUD 2018

Subjects: Cryptography and Security (cs.CR)

[817] arXiv:1805.02971 [pdf, other]

Title: Multinomial Logit Bandit with Linear Utility Functions

Mingdong Ou, Nan Li, Shenghuo Zhu, Rong Jin

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

[818] arXiv:1805.02974 [pdf, other]

Title: Massively Parallel Algorithms for Finding Well-Connected Components in Sparse Graphs

Sepehr Assadi, Xiaorui Sun, Omri Weinstein

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

[819] arXiv:1805.02977 [pdf, other]

Title: A Simple and Efficient Strategy for the Coin Weighing Problem with a Spring Scale

Esmaeil Karimi, Fatemeh Kazemi, Anoosheh Heidarzadeh, Alex Sprintson

Comments: 10 pages, 3 figures; A shorter version will appear in ISIT 2018

Subjects: Information Theory (cs.IT)

[820] arXiv:1805.02982 [pdf, other]

Title: Price-based Resource Allocation for Edge Computing: A Market Equilibrium Approach

Duong Tung Nguyen, Long Bao Le, Vijay Bhargava

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

[821] arXiv:1805.02983 [pdf, other]

Title: Augmenting Recurrent Neural Networks with High-Order User-Contextual Preference for Session-Based Recommendation

Younghun Song, Jae-Gil Lee

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

[822] arXiv:1805.02989 [pdf, other]

Title: On Secure Exact-repair Regenerating Codes with a Single Pareto Optimal Point

Fangwei Ye, Shiqiu Liu, Kenneth W. Shum, Raymond W. Yeung

Comments: This paper will be presented in part in ISIT 2018

Subjects: Information Theory (cs.IT)

[823] arXiv:1805.02994 [pdf, other]

Title: Online Connected Dominating Set Leasing

Christine Markarian

Subjects: Data Structures and Algorithms (cs.DS)

[824] arXiv:1805.02995 [pdf, other]

Title: A Spiking Neural Dynamical Drift-Diffusion Model on Collective Decision Making with Self-Organized Criticality

Yanlin Zhou, Chen Peng, Qing Hui

Comments: 8 pages

Subjects: Systems and Control (eess.SY); Neurons and Cognition (q-bio.NC)

[825] arXiv:1805.02996 [pdf, other]

Title: Moir\'{e} Photo Restoration Using Multiresolution Convolutional Neural Networks

Yujing Sun, Yizhou Yu, Wenping Wang

Comments: 13 pages, 19 figures, accepted to appear in IEEE Transactions on Image Processing

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

[826] arXiv:1805.02997 [pdf, other]

Title: Category-Based Deep CCA for Fine-Grained Venue Discovery from Multimodal Data

Yi Yu, Suhua Tang, Kiyoharu Aizawa, Akiko Aizawa

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

[827] arXiv:1805.03002 [pdf, other]

Title: NeuRec: On Nonlinear Transformation for Personalized Ranking

Shuai Zhang, Lina Yao, Aixin Sun, Sen Wang, Guodong Long, Manqing Dong

Comments: Accepted at IJCAI 2018

Subjects: Information Retrieval (cs.IR)

[828] arXiv:1805.03005 [pdf, other]

Title: Pushing Fast and Slow: Task-Adaptive Planning for Non-prehensile Manipulation Under Uncertainty

Wisdom C. Agboh, Mehmet R. Dogar

Comments: Camera-ready manuscript for WAFR 2018

Subjects: Robotics (cs.RO)

[829] arXiv:1805.03027 [pdf, other]

Title: Information Storage in the Stochastic Ising Model

Ziv Goldfeld, Guy Bresler, Yury Polyanskiy

Subjects: Information Theory (cs.IT); Statistical Mechanics (cond-mat.stat-mech)

[830] arXiv:1805.03028 [pdf, other]

Title: Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals

Alexis Bès, Christian Choffrut

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

[831] arXiv:1805.03033 [pdf, other]

Title: Efficient Design of Hardware-Enabled Reservoir Computing in FPGAs

Bogdan Penkovsky, Laurent Larger, Daniel Brunner

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

[832] arXiv:1805.03036 [pdf, other]

Title: Ideal Relative Flow Distribution on Directed Network

Kardi Teknomo

Comments: 20 pages

Journal-ref: Journal of the Eastern Asia Society for Transportation Studies, Volume 12, 2017, p.939-958

Subjects: Social and Information Networks (cs.SI)

[833] arXiv:1805.03043 [pdf, other]

Title: Binary Sparse Bayesian Learning Algorithm for One-bit Compressed Sensing

Jiang Zhu, Lin Han, Xiangming Meng, Zhiwei Xu

Subjects: Information Theory (cs.IT)

[834] arXiv:1805.03047 [pdf, other]

Title: Adaptive-Latency DRAM: Reducing DRAM Latency by Exploiting Timing Margins

Donghyuk Lee, Yoongu Kim, Gennady Pekhimenko, Samira Khan, Vivek Seshadri, Kevin Chang, Onur Mutlu

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

Subjects: Hardware Architecture (cs.AR)

[835] arXiv:1805.03048 [pdf, other]

Title: Tiered-Latency DRAM: Enabling Low-Latency Main Memory at Low Cost

Donghyuk Lee, Yoongu Kim, Vivek Seshadri, Jamie Liu, Lavanya Subramanian, Onur Mutlu

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

Subjects: Hardware Architecture (cs.AR)

[836] arXiv:1805.03052 [pdf, other]

Title: On the numerical solution of the Van der Pol equation using collocation

J Hamish M Darbyshire

Comments: 48 pages

Subjects: Numerical Analysis (math.NA)

[837] arXiv:1805.03054 [pdf, other]

Title: Towards Accurate and High-Speed Spiking Neuromorphic Systems with Data Quantization-Aware Deep Networks

Fuqiang Liu, C. Liu

Comments: 6 pages, 4 figures

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

[838] arXiv:1805.03055 [pdf, other]

Title: Parallel Graph Connectivity in Log Diameter Rounds

Alexandr Andoni, Clifford Stein, Zhao Song, Zhengyu Wang, Peilin Zhong

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

[839] arXiv:1805.03060 [pdf, other]

Title: CloudAR: A Cloud-based Framework for Mobile Augmented Reality

Wenxiao Zhang, Sikun Lin, Farshid Hassani Bijarbooneh, Hao Fei Cheng, And Pan Hui

Subjects: Multimedia (cs.MM)

[840] arXiv:1805.03064 [pdf, other]

Title: Recurrent CNN for 3D Gaze Estimation using Appearance and Shape Cues

Cristina Palmero, Javier Selva, Mohammad Ali Bagheri, Sergio Escalera

Comments: Proc. of British Machine Vision Conference (BMVC), BMVC 2018. Errata: in pg.5 the camera matrices of the transformation matrix W should be interchanged (correct version: W=C_n*M*(C_o)^-1)

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

[841] arXiv:1805.03067 [pdf, other]

Title: Overcoming the Imbalance Between Tag Recommendation Approaches and Real-World Folksonomy Structures with Cognitive-Inspired Algorithms

Dominik Kowald, Elisabeth Lex

Comments: Presented at the European Symposium for Computational Social Sciences

Subjects: Information Retrieval (cs.IR)

[842] arXiv:1805.03075 [pdf, other]

Title: Goal oriented time adaptivity using local error estimates

Peter Meisrimel, Philipp Birken

Comments: Related code to be found at this http URL

Subjects: Numerical Analysis (math.NA)

[843] arXiv:1805.03077 [pdf, other]

Title: Convergence and Error Analysis of FE-HMM/FE$^2$ for Energetically Consistent Micro-Coupling Conditions in Linear Elastic Solids

Andreas Fischer, Bernhard Eidel

Subjects: Numerical Analysis (math.NA)

[844] arXiv:1805.03081 [pdf, other]

Title: Active Object Reconstruction Using a Guided View Planner

Xin Yang, Yuanbo Wang, Yaru Wang, Baocai Yin, Qiang Zhang, Xiaopeng Wei, Hongbo Fu

Comments: 7 pages,5 figures

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

[845] arXiv:1805.03094 [pdf, other]

Title: Using Simpson's Paradox to Discover Interesting Patterns in Behavioral Data

Nazanin Alipourfard, Peter G. Fennell, Kristina Lerman

Comments: Proceedings of the 12th International Conference on Web and Social Media

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Data Analysis, Statistics and Probability (physics.data-an)

[846] arXiv:1805.03095 [pdf, other]

Title: Stealthy Communication over Adversarially Jammed Multipath Networks

Jianhan Song, Qiaosheng Zhang, Swanand Kadhe, Mayank Bakshi, Sidharth Jaggi

Comments: To appear in the IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[847] arXiv:1805.03096 [pdf, other]

Title: Fast Feature Extraction with CNNs with Pooling Layers

Christian Bailer, Tewodros Habtegebrial, Kiran varanasi, Didier Stricker

Comments: Accepted at BMVC 2017

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

[848] arXiv:1805.03100 [pdf, other]

Title: Necessary Conditions for K/2 Degrees of Freedom

Recep Gül, Helmut Bölcskei, Shlomo Shamai (Shitz)

Subjects: Information Theory (cs.IT)

[849] arXiv:1805.03103 [pdf, other]

Title: Ordinal Approximation for Social Choice, Matching, and Facility Location Problems given Candidate Positions

Elliot Anshelevich, Wennan Zhu

Subjects: Multiagent Systems (cs.MA); Computer Science and Game Theory (cs.GT)

[850] arXiv:1805.03104 [pdf, other]

Title: Adaptive robot body learning and estimation through predictive coding

Pablo Lanillos, Gordon Cheng

Comments: Accepted for IEEE International Conference on Intelligent Robots and Systems (IROS 2018)

Journal-ref: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (pp. 4083-4090). IEEE

Subjects: Robotics (cs.RO)