Computer Science

Authors and titles for May 2018

[1501] arXiv:1805.05476 [pdf, other]

Title: MIMiS: Minimally Intrusive Mining of Smartphone User Behaviors

Pravallika Devineni, Evangelos E. Papalexakis, Kalina Michalska, Michalis Faloutsos

Comments: 8 pages, IEEE conference format

Subjects: Social and Information Networks (cs.SI)

[1502] arXiv:1805.05479 [pdf, other]

Title: Machine Readable Web APIs with Schema.org Action Annotations

Umutcan Şimşek, Elias Kärle, Dieter Fensel

Comments: Submitted to SEMANTICS 2018 Conference

Subjects: Information Retrieval (cs.IR)

[1503] arXiv:1805.05487 [pdf, other]

Title: A CNN for homogneous Riemannian manifolds with applications to Neuroimaging

Rudrasis Chakraborty, Monami Banerjee, Baba C. Vemuri

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

[1504] arXiv:1805.05488 [pdf, other]

Title: Enumeration of Complex Golay Pairs via Programmatic SAT

Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh

Comments: Corrected typos

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Combinatorics (math.CO)

[1505] arXiv:1805.05491 [pdf, other]

Title: Crowdbreaks: Tracking Health Trends using Public Social Media Data and Crowdsourcing

Martin Mueller, Marcel Salathé

Subjects: Computers and Society (cs.CY); Computation and Language (cs.CL); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[1506] arXiv:1805.05492 [pdf, other]

Title: Did the Model Understand the Question?

Pramod Kaushik Mudrakarta, Ankur Taly, Mukund Sundararajan, Kedar Dhamdhere

Comments: ACL 2018 long paper

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

[1507] arXiv:1805.05499 [pdf, other]

Title: Multi-Modal Trajectory Prediction of Surrounding Vehicles with Maneuver based LSTMs

Nachiket Deo, Mohan M. Trivedi

Comments: accepted for publication at IV 2018

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

[1508] arXiv:1805.05502 [pdf, other]

Title: Nonlinear Dimensionality Reduction for Discriminative Analytics of Multiple Datasets

Jia Chen, Gang Wang, Georgios B. Giannakis

Comments: final version

Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Applications (stat.AP); Machine Learning (stat.ML)

[1509] arXiv:1805.05503 [pdf, other]

Title: Learning to Deblur Images with Exemplars

Jinshan Pan, Wenqi Ren, Zhe Hu, Ming-Hsuan Yang

Comments: Accepted by IEEE Transactions on Pattern Analysis and Machine Intelligence 2018

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

[1510] arXiv:1805.05504 [pdf, other]

Title: Two Sides of the Same Coin: Software Developers' Perceptions of Task Switching and Task Interruption

Zahra Shakeri Hossein Abad, Mohammad Noaeen, Didar Zowghi, Behrouz H. Far, Ken Barker

Subjects: Software Engineering (cs.SE)

[1511] arXiv:1805.05508 [pdf, other]

Title: Task Interruption in Software Development Projects: What Makes some Interruptions More Disruptive than Others?

Zahra Shakeri Hossein Abad, Oliver Karras, Kurt Schneider, Ken Barker, Mike Bauer

Subjects: Software Engineering (cs.SE)

[1512] arXiv:1805.05509 [pdf, other]

Title: Insights from Statistical Analysis of Opioid Data

Kaustav Basu, Sandipan Choudhuri, Arunabha Sen, Aniket Majumdar

Comments: 5 Pages

Subjects: Computers and Society (cs.CY)

[1513] arXiv:1805.05510 [pdf, other]

Title: A Multilayer Framework for Online Metric Learning

Wenbin Li, Yanfang Liu, Jing Huo, Yinghuan Shi, Yang Gao, Lei Wang, Jiebo Luo

Comments: Accepted to IEEE Transactions on Neural Networks and Learning Systems (TNNLS) 2022

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

[1514] arXiv:1805.05514 [pdf, other]

Title: Incremental Database Design using UML-B and Event-B

Ahmed Al-Brashdi (University of Southampton), Michael Butler (University of Southampton), Abdolbaghi Rezazadeh (University of Southampton)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 34-47

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

[1515] arXiv:1805.05515 [pdf, other]

Title: Parameterized Model Checking Modulo Explicit Weak Memory Models

Sylvain Conchon (Université Paris-Sud), David Declerck (Université Paris-Sud), Fatiha Zaïdi (Université Paris-Sud)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 48-63

Subjects: Logic in Computer Science (cs.LO)

[1516] arXiv:1805.05516 [pdf, other]

Title: Domain Analysis & Description - The Implicit and Explicit Semantics Problem

Dines Bjørner (Technical University of Denmark)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 1-23

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[1517] arXiv:1805.05517 [pdf, other]

Title: Explicit Modelling of Physical Measures: From Event-B to Java

J Paul Gibson (Télécom Sud Paris, Evry, france), Dominique Méry (LORIA, Telecom Nancy, Université de Lorraine, Vandœuvre-lès-Nancy, France)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 64-79

Subjects: Software Engineering (cs.SE)

[1518] arXiv:1805.05518 [pdf, other]

Title: Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, Toulouse, France), Idir Ait Sadoune (LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France), Kahina Hacid (IRIT/INPT-ENSEEIHT, Toulouse, France), Linda Mohand Oussaid (LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 24-33

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

[1519] arXiv:1805.05519 [pdf, other]

Title: Securing Open Source Clouds Using Models

Irum Rauf (Åbo Akademi University, Turku, Finland), Elena Troubitsyna (Åbo Akademi University, Turku, Finland)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 80-94

Subjects: Software Engineering (cs.SE)

[1520] arXiv:1805.05520 [pdf, other]

Title: A Formal Model to Facilitate Security Testing in Modern Automotive Systems

Eduardo dos Santos (Centre for Doctoral Training in Cyber Security, Department of Computer Science, University of Oxford, Oxford, United Kingdom), Andrew Simpson (Department of Computer Science, University of Oxford, Oxford, United Kingdom), Dominik Schoop (Esslingen University of Applied Sciences, Esslingen am Neckar, Germany)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 95-104

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[1521] arXiv:1805.05521 [pdf, other]

Title: Towards Integrated Modelling of Dynamic Access Control with UML and Event-B

Inna Vistbakka (Åbo Akademi), Elena Troubitsyna (Åbo Akademi)

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

Journal-ref: EPTCS 271, 2018, pp. 105-116

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

[1522] arXiv:1805.05532 [pdf, other]

Title: Knowledge Distillation with Adversarial Samples Supporting Decision Boundary

Byeongho Heo, Minsik Lee, Sangdoo Yun, Jin Young Choi

Comments: Accepted to AAAI 2019

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

[1523] arXiv:1805.05534 [pdf, other]

Title: Time-Space Complexity of Quantum Search Algorithms in Symmetric Cryptanalysis

Panjin Kim, Kyung Chul Jeong, Daewan Han

Journal-ref: Quantum Inf Process (2018) 17: 339

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

[1524] arXiv:1805.05535 [pdf, other]

Title: Stabilizing a system with an unbounded random gain using only a finite number of bits

Victoria Kostina, Yuval Peres, Gireeja Ranade, Mark Sellke

Subjects: Systems and Control (eess.SY)

[1525] arXiv:1805.05536 [pdf, other]

Title: Advances in Experience Replay

Tracy Wan, Neil Xu

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

[1526] arXiv:1805.05537 [pdf, other]

Title: A Dynamic Neural Network Approach to Generating Robot's Novel Actions: A Simulation Experiment

Jungsik Hwang, Jun Tani

Comments: 9 pages, 5 figures, Accepted in the 15th International Conference on Ubiquitous Robots (UR2018)

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

[1527] arXiv:1805.05542 [pdf, other]

Title: A Manually Annotated Chinese Corpus for Non-task-oriented Dialogue Systems

Jing Li, Yan Song, Haisong Zhang, Shuming Shi

Subjects: Computation and Language (cs.CL)

[1528] arXiv:1805.05543 [pdf, other]

Title: The Socially Invisible Robot: Navigation in the Social World using Robot Entitativity

Aniket Bera, Tanmay Randhavane, Emily Kubin, Austin Wang, Dinesh Manocha, Kurt Gray

Journal-ref: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems 2018

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

[1529] arXiv:1805.05551 [pdf, other]

Title: Knowledge Distillation in Generations: More Tolerant Teachers Educate Better Students

Chenglin Yang, Lingxi Xie, Siyuan Qiao, Alan Yuille

Comments: 9 pages, 2 figures, major changes beyond v1

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

[1530] arXiv:1805.05553 [pdf, other]

Title: On Learning Associations of Faces and Voices

Changil Kim, Hijung Valentina Shin, Tae-Hyun Oh, Alexandre Kaspar, Mohamed Elgharib, Wojciech Matusik

Comments: 27 pages including the supplementary material; Accepted to ACCV 2018

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

[1531] arXiv:1805.05557 [pdf, other]

Title: Simplifying Sentences with Sequence to Sequence Models

Alexander Mathews, Lexing Xie, Xuming He

Subjects: Computation and Language (cs.CL)

[1532] arXiv:1805.05563 [pdf, other]

Title: Facial Landmark Detection: a Literature Survey

Yue Wu, Qiang Ji

Journal-ref: International Journal on Computer Vision, 2017

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

[1533] arXiv:1805.05569 [pdf, other]

Title: Cross-connected Networks for Multi-task Learning of Detection and Segmentation

Seiichiro Fukuda, Ryota Yoshihashi, Rei Kawakami, Shaodi You, Makoto Iida, Takeshi Naemura

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

[1534] arXiv:1805.05571 [pdf, other]

Title: Ergodic Capacity Analysis of Free-Space Optical Links With Nonzero Boresight Pointing Errors

Imran Shafique Ansari, Mohamed-Slim Alouini, Julian Cheng

Subjects: Information Theory (cs.IT); Performance (cs.PF)

[1535] arXiv:1805.05572 [pdf, other]

Title: Performance Analysis of Free-Space Optical Links Over M\'{a}laga ($\mathcal{M}$) Turbulence Channels with Pointing Errors

Imran Shafique Ansari, Ferkan Yilmaz, Mohamed-Slim Alouini

Subjects: Information Theory (cs.IT); Performance (cs.PF)

[1536] arXiv:1805.05574 [pdf, other]

Title: Improved ASR for Under-Resourced Languages Through Multi-Task Learning with Acoustic Landmarks

Di He, Boon Pang Lim, Xuesong Yang, Mark Hasegawa-Johnson, Deming Chen

Comments: Submitted in Interspeech2018

Subjects: Computation and Language (cs.CL); Sound (cs.SD); Audio and Speech Processing (eess.AS)

[1537] arXiv:1805.05575 [pdf, other]

Title: Visual Comfort Assessment for Stereoscopic Image Retargeting

Ya Zhou, Wei Zhou, Ping An, Zhibo Chen

Subjects: Multimedia (cs.MM)

[1538] arXiv:1805.05576 [pdf, other]

Title: Borrowing Safe Pointers from Rust in SPARK

Georges-Axel Jaloyan, Yannick Moy, Andrei Paskevich

Comments: 17 pages, 0 figures

Subjects: Programming Languages (cs.PL)

[1539] arXiv:1805.05579 [pdf, other]

Title: Prediction of Facebook Post Metrics using Machine Learning

Emmanuel Sam, Sergey Yarushev, Sebastián Basterrech, Alexey Averkin

Comments: This is a draft version of a manuscript accepted in the XXI International Conference on Soft Computing and Measurement (SCM'2018), Saint Petersburg, Russia, May 23 - 25, 2018 (this http URL. It contains 4 pages

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

[1540] arXiv:1805.05580 [pdf, other]

Title: The Parallel Persistent Memory Model

Guy E. Blelloch, Phillip B. Gibbons, Yan Gu, Charles McGuffey, Julian Shun

Comments: This paper is the full version of a paper at SPAA 2018 with the same name

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

[1541] arXiv:1805.05581 [pdf, other]

Title: Unsupervised Learning of Style-sensitive Word Vectors

Reina Akama, Kento Watanabe, Sho Yokoi, Sosuke Kobayashi, Kentaro Inui

Comments: 7 pages, Accepted at The 56th Annual Meeting of the Association for Computational Linguistics (ACL 2018)

Subjects: Computation and Language (cs.CL)

[1542] arXiv:1805.05585 [pdf, other]

Title: A combined GDM--ELLAM--MMOC scheme for advection dominated PDEs

Hanz Martin Cheng, Jérôme Droniou, Kim-Ngan Le

Subjects: Numerical Analysis (math.NA)

[1543] arXiv:1805.05588 [pdf, other]

Title: Marrying up Regular Expressions with Neural Networks: A Case Study for Spoken Language Understanding

Bingfeng Luo, Yansong Feng, Zheng Wang, Songfang Huang, Rui Yan, Dongyan Zhao

Comments: 11 Pages, 2 Figures, Accepted by ACL 2018

Subjects: Computation and Language (cs.CL)

[1544] arXiv:1805.05591 [pdf, other]

Title: Analytical study of 5G NR eMBB co-existence

David Demmer, Robin Gerzaguet, Jean-Baptiste Doré, Didier Le Ruyet

Comments: Conference paper submitted to IEEE ICT 2018 - See paper on officiel IEEE library when available

Subjects: Information Theory (cs.IT)

[1545] arXiv:1805.05592 [pdf, other]

Title: Parallel Write-Efficient Algorithms and Data Structures for Computational Geometry

Guy E. Blelloch, Yan Gu, Yihan Sun, Julian Shun

Subjects: Data Structures and Algorithms (cs.DS)

[1546] arXiv:1805.05593 [pdf, other]

Title: Enhancing Drug-Drug Interaction Extraction from Texts by Molecular Structure Information

Masaki Asada, Makoto Miwa, Yutaka Sasaki

Comments: accepted as a short paper at ACL2018

Subjects: Computation and Language (cs.CL)

[1547] arXiv:1805.05595 [pdf, other]

Title: A class of repeated-root constacyclic codes over $\mathbb{F}_{p^m}[u]/\langle u^e\rangle$ of Type $2$

Yuan Cao, Yonglin Cao, Hai Q. Dinh, Fang-Wei Fu, Jian Gao, Songsak Sriboonchitta

Subjects: Information Theory (cs.IT)

[1548] arXiv:1805.05603 [pdf, other]

Title: Neural Classification of Malicious Scripts: A study with JavaScript and VBScript

Jack W. Stokes, Rakshit Agrawal, Geoff McDonald

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)

[1549] arXiv:1805.05610 [pdf, other]

Title: Image Co-segmentation via Multi-scale Local Shape Transfer

Wei Teng, Yu Zhang, Xiaowu Chen, Jia Li, Zhiqiang He

Comments: An extention of our previous study

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

[1550] arXiv:1805.05612 [pdf, other]

Title: Robust Facial Landmark Localization Based on Texture and Pose Correlated Initialization

Yiyun Pan, Junwei Zhou, Yongsheng Gao, Shengwu Xiong

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