Computer Science

Authors and titles for Apr 2016, skipping first 20

[21]  arXiv:1604.00125 [pdf, other]

Title: AttSum: Joint Learning of Focusing and Summarization with Neural Attention

Authors: Ziqiang Cao, Wenjie Li, Sujian Li, Furu Wei, Yanran Li

Comments: 10 pages, 1 figure

Journal-ref: COLING 2016

Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)

[22]  arXiv:1604.00126 [pdf, other]

Title: Nonparametric Spherical Topic Modeling with Word Embeddings

Authors: Kayhan Batmanghelich, Ardavan Saeedi, Karthik Narasimhan, Sam Gershman

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

[23]  arXiv:1604.00133 [pdf, ps, other]

Title: Good Practice in CNN Feature Transfer

Authors: Liang Zheng, Yali Zhao, Shengjin Wang, Jingdong Wang, Qi Tian

Comments: 9 pages. It will be submitted to an appropriate journal

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

[24]  arXiv:1604.00135 [pdf, ps, other]

Title: On the Performance of RF-FSO Links with and without Hybrid ARQ

Authors: Behrooz Makki, Tommy Svensson, Thomas Eriksson, Mohamed-Slim Alouini

Comments: Accepted in IEEE Trans. Wireless Commun

Subjects: Information Theory (cs.IT)

[25]  arXiv:1604.00136 [pdf, other]

Title: It's Moving! A Probabilistic Model for Causal Motion Segmentation in Moving Camera Videos

Authors: Pia Bideau, Erik Learned-Miller

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

[26]  arXiv:1604.00147 [pdf, other]

Title: Learning a Pose Lexicon for Semantic Action Recognition

Authors: Lijuan Zhou, Wanqing Li, Philip Ogunbona

Comments: Accepted by the 2016 IEEE International Conference on Multimedia and Expo (ICME 2016). 6 pages paper and 4 pages supplementary material

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

[27]  arXiv:1604.00151 [pdf, other]

Title: Analysis of gradient descent methods with non-diminishing, bounded errors

Authors: Arunselvan Ramaswamy, Shalabh Bhatnagar

Comments: arXiv admin note: text overlap with arXiv:1502.01953, IEEE Transactions on Automatic Control, 2017

Subjects: Systems and Control (eess.SY); Machine Learning (stat.ML)

[28]  arXiv:1604.00162 [pdf, ps, other]

Title: Relations between assumption-based approaches in nonmonotonic logic and formal argumentation

Authors: Jesse Heyninck, Christian Straßer

Comments: Contribution to the 16th International Workshop on Non-Monotonic Reasoning (NMR'16), Cape Town

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

[29]  arXiv:1604.00175 [pdf, other]

Title: Quantifying Location Sociality

Authors: Jun Pang, Yang Zhang

Comments: ACM HT 2017

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

[30]  arXiv:1604.00178 [pdf, ps, other]

Title: Approaching Optimal Centralized Scheduling with CSMA-based Random Access over Fading Channels

Authors: Mehmet Karaca, Bjorn Landfeldt

Comments: accepted to IEEE Communications Letters

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

[31]  arXiv:1604.00187 [pdf, other]

Title: PHOCNet: A Deep Convolutional Neural Network for Word Spotting in Handwritten Documents

Authors: Sebastian Sudholt, Gernot A. Fink

Comments: published as conference paper at the International Conference on Frontiers in Handwriting Recognition 2016

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

[32]  arXiv:1604.00192 [pdf, ps, other]

Title: Singing Voice Separation and Vocal F0 Estimation based on Mutual Combination of Robust Principal Component Analysis and Subharmonic Summation

Authors: Yukara Ikemiya, Katsutoshi Itoyama, Kazuyoshi Yoshii

Comments: 11 pages

Subjects: Sound (cs.SD); Multimedia (cs.MM)

[33]  arXiv:1604.00202 [pdf, ps, other]

Title: The Power of Local Information in PageRank

Authors: Marco Bressan, Enoch Peserico, Luca Pretto

Comments: 25 pages, 6 figures

Subjects: Discrete Mathematics (cs.DM); Social and Information Networks (cs.SI)

[34]  arXiv:1604.00204 [pdf, other]

Title: Verifying Security Policies using Host Attributes

Authors: Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle

Comments: In FORTE - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, June 2014

Journal-ref: Formal Techniques for Distributed Objects, Components, and Systems Volume 8461 of the series Lecture Notes in Computer Science, 2014, Springer

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

[35]  arXiv:1604.00206 [pdf, other]

Title: Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Authors: Cornelius Diekmann, Lars Hupel, Georg Carle

Comments: In 20th International Symposium on Formal Methods, June 2015

Journal-ref: FM 2015: Formal Methods Volume 9109 of the series Lecture Notes in Computer Science pp 195-212, Springer

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

[36]  arXiv:1604.00216 [pdf, ps, other]

Title: Differences of halting probabilities

Authors: George Barmpalias, Andrew Lewis-Pye

Subjects: Computational Complexity (cs.CC)

[37]  arXiv:1604.00217 [pdf, other]

Title: Moving horizon estimation for discrete-time linear systems with binary sensors: algorithms and stability results

Authors: Giorgio Battistelli, Luigi Chisci, Stefano Gherardini

Comments: 20 pages, 8 figures; references added, typos corrected, and numerical results extended

Journal-ref: Automatica 85, 374-385 (2017)

Subjects: Systems and Control (eess.SY)

[38]  arXiv:1604.00219 [pdf, other]

Title: Second-Order Extended Kalman Filter for Extended Object and Group Tracking

Authors: Shishan Yang, Marcus Baum

Subjects: Systems and Control (eess.SY)

[39]  arXiv:1604.00223 [pdf, other]

Title: Lower-Cost epsilon-Private Information Retrieval

Authors: Raphael R. Toledo, George Danezis, Ian Goldberg

Subjects: Information Retrieval (cs.IR); Cryptography and Security (cs.CR)

[40]  arXiv:1604.00230 [pdf, ps, other]

Title: Effect of Jitter on the Settling Time of Mesochronous Clock Retiming Circuits

Authors: Naveen Kadayinti, Amitalok J. Budkuley, Maryam S. Baghini, Dinesh K. Sharma

Comments: 23 pages, 40 figures

Journal-ref: Analog Integr Circ Sig Process (2019) 101: 623

Subjects: Emerging Technologies (cs.ET)

[41]  arXiv:1604.00233 [pdf, ps, other]

Title: Building an Internet Radio System with Interdisciplinary factored system for automatic content recommendation

Authors: Krzysztof Wołk

Comments: ISBN: 978-3-659-41584-5

Subjects: Computers and Society (cs.CY); Information Retrieval (cs.IR); Multimedia (cs.MM)

[42]  arXiv:1604.00239 [pdf, other]

Title: Tensor Representations via Kernel Linearization for Action Recognition from 3D Skeletons (Extended Version)

Authors: Piotr Koniusz, Anoop Cherian, Fatih Porikli

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

[43]  arXiv:1604.00253 [pdf, other]

Title: Integrated Control/Structure Design of a Large Space Structure using Structured $\mathcal{H}_\infty$ Control

Authors: Jose Alvaro Perez, Christelle Pittet, Daniel Alazard, Thomas Loquen

Comments: submitted to IFAC ACA 2016

Subjects: Systems and Control (eess.SY)

[44]  arXiv:1604.00258 [pdf, other]

Title: Computable dyadic subbases and $\mathbf{T}^ω$-representations of compact sets

Authors: Arno Pauly, Hideki Tsuiki

Subjects: Logic in Computer Science (cs.LO)

[45]  arXiv:1604.00259 [src]

Title: Flexible Multibody System Linear Modeling for Control using Component Modes Synthesis and Double-Port Approach

Authors: Jose Alvaro Perez, Daniel Alazard, Thomas Loquen, Christelle Pittet, Christelle Cumer

Comments: This paper has been withdrawn by the author due to significant changes in the article's content

Subjects: Systems and Control (eess.SY)

[46]  arXiv:1604.00266 [pdf, ps, other]

Title: The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem

Authors: Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan

Comments: 36 pages, 6 Figures. J.Acad.(N.Y.)4,2:52-87, published May 16 2014

Journal-ref: J.Acad.(N.Y.)4,2:52-87 May 16 2014

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

[47]  arXiv:1604.00273 [pdf, other]

Title: Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations

Authors: Cornelius Diekmann, Andreas Korsten, Georg Carle

Comments: In 2nd International Workshop on Management of SDN and NFV Systems, manSDN/NFV, Barcelona, Spain, November 2015

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

[48]  arXiv:1604.00274 [pdf, other]

Title: Half-Duplex or Full-Duplex Communications: Degrees of Freedom Analysis under Self-Interference

Authors: Nirmal V. Shende, Ozgur Gurbuz, Elza Erkip

Comments: Accepted in IEEE Trans. on Wireless Comm., revised final version, removed finite SNR analysis and updated DoF results

Journal-ref: IEEE Trans. on Wireless Comm. ( Vol: 17, Issue: 2, Feb. 2018 ), pp. 1081 - 1093

Subjects: Information Theory (cs.IT)

[49]  arXiv:1604.00275 [pdf, ps, other]

Title: Joint Resource Allocation for OFDMA based Overlay Cognitive Radio Networks under Stochastic Rate Constraint

Authors: Ayush Kumar

Subjects: Information Theory (cs.IT)

[50]  arXiv:1604.00289 [pdf, other]

Title: Building Machines That Learn and Think Like People

Authors: Brenden M. Lake, Tomer D. Ullman, Joshua B. Tenenbaum, Samuel J. Gershman

Comments: In press at Behavioral and Brain Sciences. Open call for commentary proposals (until Nov. 22, 2016). this https URL

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

[51]  arXiv:1604.00300 [pdf, other]

Title: A SAT model to mine flexible sequences in transactional datasets

Authors: Rémi Coletta, Benjamin Negrevergne

Subjects: Artificial Intelligence (cs.AI)

[52]  arXiv:1604.00301 [pdf, ps, other]

Title: A strengthening of rational closure in DLs: reasoning about multiple aspects

Authors: Valentina Gliozzi

Subjects: Artificial Intelligence (cs.AI)

[53]  arXiv:1604.00310 [pdf, ps, other]

Title: Iterative Packing for Demand and Hypergraph Matching

Authors: Ojas Parekh

Comments: 13 pages. Appeared in the 15th conference on Integer Programming and Combinatorial Optimization (IPCO 2011); available at Springer via this http URL

Subjects: Data Structures and Algorithms (cs.DS)

[54]  arXiv:1604.00312 [pdf, ps, other]

Title: Automated Alertness and Emotion Detection for Empathic Feedback During E-Learning

Authors: S L Happy, A. Dasgupta, P. Patnaik, A. Routray

Comments: IEEE International Conference on Technology for Education, Kharagpur, India, 2013

Journal-ref: IEEE International Conference on Technology for Education, 2013

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[55]  arXiv:1604.00317 [pdf, other]

Title: A Semisupervised Approach for Language Identification based on Ladder Networks

Authors: Ehud Ben-Reuven, Jacob Goldberger

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

[56]  arXiv:1604.00320 [pdf, ps, other]

Title: AuDroid: Preventing Attacks on Audio Channels in Mobile Devices

Authors: Giuseppe Petracca, Yuqiong Sun, Ahmad Atamli, Trent Jaeger

Comments: 2015 Annual Computer Security Applications Conference

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

[57]  arXiv:1604.00322 [pdf, ps, other]

Title: Generalized Hypergraph Matching via Iterated Packing and Local Ratio

Authors: Ojas Parekh, David Pritchard

Comments: 12 pages. Appeared in the 12th Workshop on Approximation and Online Algorithms (WAOA 2014), available at Springer via this http URL

Subjects: Data Structures and Algorithms (cs.DS)

[58]  arXiv:1604.00326 [pdf, other]

Title: How to Transfer? Zero-Shot Object Recognition via Hierarchical Transfer of Semantic Attributes

Authors: Ziad Al-Halah, Rainer Stiefelhagen

Comments: Published as a conference paper at WACV 2015, modifications include new results with GoogLeNet features

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

[59]  arXiv:1604.00346 [pdf, ps, other]

Title: Refactoring Delta-Oriented Product Lines to achieve Monotonicity

Authors: Ferruccio Damiani (University of Torino, Italy), Michael Lienhardt (University of Torino, Italy)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 2-16

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

[60]  arXiv:1604.00347 [pdf, other]

Title: Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation

Authors: Frederik Deckwerth (TU Darmstadt), Géza Kulcsár (TU Darmstadt), Malte Lochau (TU Darmstadt), Gergely Varró (TU Darmstadt), Andy Schürr (TU Darmstadt)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 17-31

Subjects: Software Engineering (cs.SE)

[61]  arXiv:1604.00348 [pdf, other]

Title: Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Authors: Matthias Kowal (TU Braunschweig), Ina Schaefer (TU Braunschweig)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 32-45

Subjects: Software Engineering (cs.SE)

[62]  arXiv:1604.00349 [pdf, other]

Title: Analysis of Feature Models Using Alloy: A Survey

Authors: Anjali Sree-Kumar (Universitat Oberta de Catalunya), Elena Planas (Universitat Oberta de Catalunya), Robert Clarisó (Universitat Oberta de Catalunya)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 46-60

Subjects: Software Engineering (cs.SE)

[63]  arXiv:1604.00350 [pdf, ps, other]

Title: Towards a Feature mu-Calculus Targeting SPL Verification

Authors: Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Erik P. de Vink (TU/e, Eindhoven, The Netherlands), Tim A. C. Willemse (TU/e, Eindhoven, The Netherlands)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 61-75

Subjects: Logic in Computer Science (cs.LO)

[64]  arXiv:1604.00357 [pdf, ps, other]

Title: Beyond matroids: Secretary Problem and Prophet Inequality with general constraints

Authors: Aviad Rubinstein

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

[65]  arXiv:1604.00359 [pdf, other]

Title: Using Well-Understood Single-Objective Functions in Multiobjective Black-Box Optimization Test Suites

Authors: Dimo Brockhoff (RANDOPT), Tea Tusar, Anne Auger (RANDOPT), Nikolaus Hansen (RANDOPT)

Comments: ArXiv e-prints, arXiv:1604.00359

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)

[66]  arXiv:1604.00360 [pdf, ps, other]

Title: A General World Model with Poiesis: Poppers Three Worlds updated with Software

Authors: Walter Hehl

Comments: 9 pages. 1 Figure of a world model with physics, software and Geist, Book published 2016 (in German) by Springer, Heidelberg, with the general fundamentals of Software for philosophy

Subjects: Other Computer Science (cs.OH)

[67]  arXiv:1604.00367 [pdf, other]

Title: Person Re-identification in Appearance Impaired Scenarios

Authors: Mengran Gou, Xikang Zhang, Angels Rates-Borras, Sadjad Asghari-Esfeden, Mario Sznaier, Octavia Camps

Comments: 10 pages

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

[68]  arXiv:1604.00377 [pdf, ps, other]

Title: Reinforcement learning based local search for grouping problems: A case study on graph coloring

Authors: Yangming Zhou, Jin-Kao Hao, Béatrice Duval

Subjects: Artificial Intelligence (cs.AI)

[69]  arXiv:1604.00381 [pdf, other]

Title: The New Frontier in RAN Heterogeneity: Multi-tier Drone-Cells

Authors: Irem Bor-Yaliniz, Halim Yanikomeroglu

Comments: Accepted for publication in IEEE Communications Magazine Special Issue on 5G Radio Access Network Architecture and Technologies (November 2016)

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[70]  arXiv:1604.00384 [pdf, ps, other]

Title: Proceedings 6th Workshop on Mathematically Structured Functional Programming

Authors: Robert Atkey (University of Strathclyde), Neelakantan Krishnaswami (University of Birmingham)

Journal-ref: EPTCS 207, 2016

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