Computer Science

Authors and titles for Apr 2016, skipping first 160

[161]  arXiv:1604.00788 [pdf, ps, other]

Title: Achieving Open Vocabulary Neural Machine Translation with Hybrid Word-Character Models

Authors: Minh-Thang Luong, Christopher D. Manning

Comments: 11pages, 4 figures. ACL 2016 camera-ready version. SOTA WMT'15 English-Czech 20.7 BLEU (+2.1-11.4 points)

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

[162]  arXiv:1604.00790 [pdf, other]

Title: Image Captioning with Deep Bidirectional LSTMs

Authors: Cheng Wang, Haojin Yang, Christian Bartz, Christoph Meinel

Comments: accepted by ACMMM 2016 as full paper and oral presentation

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

[163]  arXiv:1604.00794 [pdf, ps, other]

Title: Asymptotic Analysis of Self-Adjusting Contraction Trees

Authors: Pramod Bhatotia

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

[164]  arXiv:1604.00799 [pdf, ps, other]

Title: Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)

Authors: Alessandro Artale, Enrico Franconi

Subjects: Artificial Intelligence (cs.AI)

[165]  arXiv:1604.00818 [pdf, ps, other]

Title: Cooperative communications for sleep monitoring in wireless body area networks

Authors: Samiya Shimly, Samaneh Movassaghi, David Smith

Comments: 2 pages, 3 figures, Electronics Letters

Journal-ref: Electronics Letters, 52, (8), 2016, 2 pp

Subjects: Other Computer Science (cs.OH)

[166]  arXiv:1604.00825 [pdf, other]

Title: Layer-wise Relevance Propagation for Neural Networks with Local Renormalization Layers

Authors: Alexander Binder, Grégoire Montavon, Sebastian Bach, Klaus-Robert Müller, Wojciech Samek

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

[167]  arXiv:1604.00830 [pdf, other]

Title: Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics

Authors: Mitchell Joblin, Sven Apel, Claus Hunsen, Wolfgang Mauerer

Subjects: Software Engineering (cs.SE)

[168]  arXiv:1604.00833 [pdf, ps, other]

Title: Obstacle Avoidance Strategy using Onboard Stereo Vision on a Flapping Wing MAV

Authors: Sjoerd Tijmons, Guido de Croon, Bart Remes, Christophe De Wagter, Max Mulder

Subjects: Robotics (cs.RO)

[169]  arXiv:1604.00834 [pdf, other]

Title: In narrative texts punctuation marks obey the same statistics as words

Authors: Andrzej Kulig, Jaroslaw Kwapien, Tomasz Stanisz, Stanislaw Drozdz

Comments: Information Sciences (inprint)

Journal-ref: Information Sciences 375 (2017) 98-113

Subjects: Computation and Language (cs.CL); Data Analysis, Statistics and Probability (physics.data-an)

[170]  arXiv:1604.00837 [pdf, other]

Title: The Influence of Frequency, Recency and Semantic Context on the Reuse of Tags in Social Tagging Systems

Authors: Kowald Dominik, Lex Elisabeth

Comments: Accepted by Hypertext 2016 conference as short paper

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

[171]  arXiv:1604.00845 [pdf, ps, other]

Title: Sparse Fourier Transform in Any Constant Dimension with Nearly-Optimal Sample Complexity in Sublinear Time

Authors: Michael Kapralov

Subjects: Data Structures and Algorithms (cs.DS)

[172]  arXiv:1604.00854 [pdf, ps, other]

Title: An Improved DOA Estimation Algorithm for Circular and Non-Circular Signals with High Resolution

Authors: Liangtian Wan, Lihua Xie

Comments: 5 pages, 4 figures, present at ICASSP 2016

Subjects: Information Theory (cs.IT)

[173]  arXiv:1604.00861 [pdf, other]

Title: Recurrent Neural Networks for Polyphonic Sound Event Detection in Real Life Recordings

Authors: Giambattista Parascandolo, Heikki Huttunen, Tuomas Virtanen

Comments: To appean in Proceedings of IEEE ICASSP 2016

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

[174]  arXiv:1604.00868 [pdf, other]

Title: Disturbance scaling in bidirectional vehicle platoons with different asymmetry in position and velocity coupling

Authors: Ivo Herman, Steffi Knorn, Anders Ahlén

Comments: submitted, 10 pages

Subjects: Systems and Control (eess.SY)

[175]  arXiv:1604.00869 [pdf, other]

Title: Automatic Knowledge Base Evolution by Learning Instances

Authors: Sundong Kim

Comments: 11 pages, submitted to International Semantic Web Conference 2014 (Rejected), Revising(2016-04-04~)

Subjects: Artificial Intelligence (cs.AI)

[176]  arXiv:1604.00870 [pdf, other]

Title: Mixing Time for Some Adjacent Transposition Markov Chains

Authors: Shahrzad Haddadan, Peter Winkler

Subjects: Data Structures and Algorithms (cs.DS)

[177]  arXiv:1604.00875 [pdf, ps, other]

Title: A Modified CSMA/CA Protocol for OFDM Underwater Networks: Cross Layer Design

Authors: Yanling Yin, Sumit Roy, Payman Arabshahi

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

[178]  arXiv:1604.00894 [pdf, other]

Title: Allocation Schemes of Ressources with Downgrading

Authors: Christine Fricker, Fabrice Guillemin, Philippe Robert, Guilherme Thompson

Subjects: Networking and Internet Architecture (cs.NI)

[179]  arXiv:1604.00895 [pdf, other]

Title: HDRFusion: HDR SLAM using a low-cost auto-exposure RGB-D sensor

Authors: Shuda Li, Ankur Handa, Yang Zhang, Andrew Calway

Comments: 14 pages

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

[180]  arXiv:1604.00896 [pdf, other]

Title: An open reproducible framework for the study of the iterated prisoner's dilemma

Authors: Vincent Knight, Owen Campbell, Marc Harper, Karol Langner, James Campbell, Thomas Campbell, Alex Carney, Martin Chorley, Cameron Davidson-Pilon, Kristian Glass, Nikoleta Glynatsi, Tomáš Ehrlich, Martin Jones, Georgios Koutsovoulos, Holly Tibble, Müller Jochen, Geraint Palmer, Piotr Petunov, Paul Slavin, Timothy Standen, Luis Visintini, Karl Molden

Comments: 11 pages, Journal of Open Research Software 4.1 (2016)

Subjects: Computer Science and Game Theory (cs.GT); Physics and Society (physics.soc-ph)

[181]  arXiv:1604.00905 [pdf, ps, other]

Title: Polarity and Monopolarity of $3$-colourable comparability graphs

Authors: Nikola Yolov

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[182]  arXiv:1604.00906 [pdf, other]

Title: Detecting Engagement in Egocentric Video

Authors: Yu-Chuan Su, Kristen Grauman

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

[183]  arXiv:1604.00913 [pdf, other]

Title: BLISP: Enhancing Backscatter Radio with Active Radio for Computational RFIDs

Authors: Ivar in 't Veen, Qingzhi Liu, Przemysław Pawełczak, Aaron Parks, Joshua R. Smith

Comments: Accepted to IEEE RFID 2016 (extended version)

Subjects: Networking and Internet Architecture (cs.NI)

[184]  arXiv:1604.00921 [pdf, other]

Title: A Review of Theoretical and Practical Challenges of Trusted Autonomy in Big Data

Authors: Hussein A. Abbass, George Leu, Kathryn Merrick

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

[185]  arXiv:1604.00922 [pdf, ps, other]

Title: Recognition of unipolar and generalised split graphs

Authors: Colin McDiarmid, Nikola Yolov

Subjects: Data Structures and Algorithms (cs.DS)

[186]  arXiv:1604.00923 [pdf, other]

Title: Data-Efficient Off-Policy Policy Evaluation for Reinforcement Learning

Authors: Philip S. Thomas, Emma Brunskill

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

[187]  arXiv:1604.00926 [pdf, ps, other]

Title: Dual Link Algorithm for the Weighted Sum Rate Maximization in MIMO Interference Channels

Authors: Xing Li, Seungil You, Lijun Chen, An Liu, Youjian (Eugene)Liu

Subjects: Information Theory (cs.IT)

[188]  arXiv:1604.00932 [pdf, other]

Title: Asking the metaquestions in constraint tractability

Authors: Hubie Chen, Benoit Larose

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[189]  arXiv:1604.00933 [pdf, other]

Title: Entity Type Recognition using an Ensemble of Distributional Semantic Models to Enhance Query Understanding

Authors: Walid Shalaby, Khalifeh Al Jadda, Mohammed Korayem, Trey Grainger

Comments: A short version of this paper has been accepted in "COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications"

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

[190]  arXiv:1604.00936 [pdf, ps, other]

Title: Structural Multi-type Sequent Calculus for Inquisitive Logic

Authors: Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang

Subjects: Logic in Computer Science (cs.LO)

[191]  arXiv:1604.00938 [pdf, other]

Title: Multi-Field Structural Decomposition for Question Answering

Authors: Tomasz Jurczyk, Jinho D. Choi

Subjects: Computation and Language (cs.CL)

[192]  arXiv:1604.00942 [pdf, other]

Title: High Enough? Explaining and Predicting Traveler Satisfaction Using Airline Review

Authors: Emanuel Lacic, Dominik Kowald, Elisabeth Lex

Comments: 5 pages + references, 2 tables, 7 figures

Subjects: Information Retrieval (cs.IR)

[193]  arXiv:1604.00952 [pdf, ps, other]

Title: Profit-Maximizing Planning and Control of Battery Energy Storage Systems for Primary Frequency Control

Authors: Ying Jun (Angela) Zhang, Changhong Zhao, Wanrong Tang, Steven H. Low

Comments: 12 pages

Subjects: Systems and Control (eess.SY)

[194]  arXiv:1604.00960 [pdf, other]

Title: Counting Blanks in Polygonal Arrangements

Authors: Arseniy Akopyan, Erel Segal-Halevi

Comments: A revised version of "Cutting a Cake without Harming the Toppings"

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

[195]  arXiv:1604.00967 [pdf, other]

Title: Verification of Hierarchical Artifact Systems

Authors: Alin Deutsch, Yuliang Li, Victor Vianu

Comments: Full version of the accepted PODS paper

Subjects: Databases (cs.DB)

[196]  arXiv:1604.00970 [pdf, other]

Title: Extended Object Tracking: Introduction, Overview and Applications

Authors: Karl Granstrom, Marcus Baum, Stephan Reuter

Comments: 30 pages, 19 figures

Journal-ref: Journal of Advances in Information Fusion, Volume 12, Number 2, Pages 139-174, December 2016, ISSN 1557-6418

Subjects: Computer Vision and Pattern Recognition (cs.CV); Signal Processing (eess.SP); Systems and Control (eess.SY)

[197]  arXiv:1604.00974 [pdf, other]

Title: Writer-independent Feature Learning for Offline Signature Verification using Deep Convolutional Neural Networks

Authors: Luiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira

Comments: Accepted as a conference paper to The International Joint Conference on Neural Networks (IJCNN) 2016

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

[198]  arXiv:1604.00975 [pdf, other]

Title: Combining Vision, Machine Learning and Automatic Control to Play the Labyrinth Game

Authors: Kristoffer Öfjäll, Michael Felsberg

Comments: Presented at the SSBA Symposium 2012, Stockholm, Sweden

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

[199]  arXiv:1604.00980 [pdf, ps, other]

Title: A Mathematical Trust Algebra for International Nation Relations Computation and Evaluation

Authors: Mohd Anuar Mat Isa, Ramlan Mahmod, Nur Izura Udzir, Jamalul-lail Ab Manan, Ali Dehghan Tanha

Comments: Keywords Trust Algebra, International Relations, Trust Computation, Foreign Policy, Politics, Dempster-Shafer, Subjective Logic, Common Criteria, Defense, National Security, Terrorism, Counter Terrorism, Trust Perception, Foreign Ministry, Intelligent

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

[200]  arXiv:1604.00981 [pdf, other]

Title: Revisiting Distributed Synchronous SGD

Authors: Jianmin Chen, Xinghao Pan, Rajat Monga, Samy Bengio, Rafal Jozefowicz

Comments: 10 pages

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Neural and Evolutionary Computing (cs.NE)

[201]  arXiv:1604.00989 [pdf, other]

Title: Clustering Millions of Faces by Identity

Authors: Charles Otto, Dayong Wang, Anil K. Jain

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

[202]  arXiv:1604.00990 [pdf, other]

Title: Direct Visual Odometry using Bit-Planes

Authors: Hatem Alismail, Brett Browning, Simon Lucey

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

[203]  arXiv:1604.00997 [pdf, other]

Title: Progressive Temporal Window Widening

Authors: David Tolpin

Comments: 15 pages, 5 figures, LNCS format

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

[204]  arXiv:1604.00999 [pdf, other]

Title: RGBD Datasets: Past, Present and Future

Authors: Michael Firman

Comments: 8 pages excluding references (CVPR style)

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

[205]  arXiv:1604.01056 [pdf, other]

Title: Capacity Achieving Distributions & Information Lossless Randomized Strategies for Feedback Channels with Memory: The LQG Theory of Directed Information-Part II

Authors: Charalambos D. Charalambous, Christos K. Kourtellaris, Sergey Loyka

Comments: Submitted to the IEEE Transactions on Information Theory, Mar. 2016, paper IT-16-0166

Subjects: Information Theory (cs.IT)

[206]  arXiv:1604.01062 [pdf, ps, other]

Title: Optimal Multicasting in Hybrid RF/FSO DTNs

Authors: Michael Atakora, Harsha Chenji

Subjects: Networking and Internet Architecture (cs.NI)

[207]  arXiv:1604.01063 [pdf, other]

Title: Information Structures of Maximizing Distributions of Feedback Capacity for General Channels with Memory & Applications

Authors: Charalambos D. Charalambous, Christos K. Kourtellaris

Comments: Submitted to the IEEE Transactions on Information Theory,Feb. 2016, paper IT-16-0120

Subjects: Information Theory (cs.IT)

[208]  arXiv:1604.01070 [pdf, other]

Title: Science Concierge: A fast content-based recommendation system for scientific publications

Authors: Titipat Achakulvisut, Daniel E. Acuna, Tulakan Ruangrong, Konrad Kording

Comments: 12 pages, 5 figures

Subjects: Information Retrieval (cs.IR)

[209]  arXiv:1604.01088 [pdf, ps, other]

Title: Optimal Parameter Settings for the $(1+(λ, λ))$ Genetic Algorithm

Authors: Benjamin Doerr

Comments: Extended version of a paper that appeared at GECCO'16

Subjects: Neural and Evolutionary Computing (cs.NE); Data Structures and Algorithms (cs.DS)

[210]  arXiv:1604.01091 [pdf, other]

Title: Efficient Reallocation under Additive and Responsive Preferences

Authors: Haris Aziz, Peter Biro, Jerome Lang, Julien Lesca, Jerome Monnot

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

[211]  arXiv:1604.01093 [pdf, other]

Title: BundleFusion: Real-time Globally Consistent 3D Reconstruction using On-the-fly Surface Re-integration

Authors: Angela Dai, Matthias Nießner, Michael Zollhöfer, Shahram Izadi, Christian Theobalt

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

[212]  arXiv:1604.01105 [pdf, other]

Title: Distinguishing between Personal Preferences and Social Influence in Online Activity Feeds

Authors: Amit Sharma, Dan Cosley

Comments: 13 pages, ACM CSCW 2016

Subjects: Social and Information Networks (cs.SI); Human-Computer Interaction (cs.HC); Methodology (stat.ME)

[213]  arXiv:1604.01109 [src]

Title: Counting Grid Aggregation for Event Retrieval and Recognition

Authors: Zhanning Gao, Gang Hua, Dongqing Zhang, Jianru Xue, Nanning Zheng

Comments: This paper has been withdrawn by the author because this work will be part of another object which will be released soon

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

[214]  arXiv:1604.01112 [pdf, ps, other]

Title: Multiparty quantum key agreement protocol secure against collusion attacks

Authors: Zhiwei Sun, Xiaoqiang Sun, Ping Wang

Comments: 8 pages, 1 figures, Any comments are welcomed

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

[215]  arXiv:1604.01113 [pdf, other]

Title: Layered Uplink Transmission in Clustered Cellular Networks

Authors: Anatoly Khina, Tal Philosof, Moshe Laifenfeld

Subjects: Information Theory (cs.IT)

[216]  arXiv:1604.01116 [pdf, ps, other]

Title: Maximizing the Weighted Number of Spanning Trees: Near-$t$-Optimal Graphs

Authors: Kasra Khosoussi, Gaurav S. Sukhatme, Shoudong Huang, Gamini Dissanayake

Comments: 24 pages, 3 figures

Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)

[217]  arXiv:1604.01130 [pdf, other]

Title: A Particle-Filtering Based Approach for Distributed Fault Diagnosis of Large-Scale Interconnected Nonlinear Systems

Authors: Elaheh Noursadeghi, Ioannis Raptis

Subjects: Systems and Control (eess.SY)

[218]  arXiv:1604.01131 [pdf, other]

Title: Discovering items with potential popularity on social media

Authors: Khushnood Abbas, Shang Mingsheng, Luo Xin

Comments: 7 pages in ACM style.7 figures and 1 table

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

[219]  arXiv:1604.01136 [pdf, other]

Title: Online VNF Scaling in Datacenters

Authors: Xiaoke Wang, Chuan Wu, Franck Le, Alex Liu, Zongpeng Li, Francis Lau

Comments: 9 pages, 4 figures

Subjects: Networking and Internet Architecture (cs.NI); Data Structures and Algorithms (cs.DS)

[220]  arXiv:1604.01146 [pdf, other]

Title: Less is more: zero-shot learning from online textual documents with noise suppression

Authors: Ruizhi Qiao, Lingqiao Liu, Chunhua Shen, Anton van den Hengel

Comments: Accepted to Int. Conf. Computer Vision and Pattern Recognition (CVPR) 2016

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

[221]  arXiv:1604.01151 [pdf, ps, other]

Title: Use of Non-Orthogonal Multiple Access in Dual-hop relaying

Authors: Wei Duan, Miaowen Wen, Yier Yan, Zixiang Xiong, Moon Ho Lee

Subjects: Information Theory (cs.IT)

[222]  arXiv:1604.01154 [pdf, ps, other]

Title: On the complexity of computing prime tables on a Turing machine

Authors: Igor S. Sergeev

Comments: 6 pages

Journal-ref: Prikladnaya diskretnaya matematika. 2016. 1(31). 86-91 (in Russian)

Subjects: Data Structures and Algorithms (cs.DS)

[223]  arXiv:1604.01160 [pdf, other]

Title: Design and Analysis of Transmit Beamforming for Millimetre Wave Base Station Discovery

Authors: Chunshan Liu, Min Li, Iain B. Collings, Stephen V. Hanly, Philip Whiting

Comments: 30 pages, 13 figures, submitted

Subjects: Information Theory (cs.IT)

[224]  arXiv:1604.01162 [pdf, ps, other]

Title: Control System Design for Tricopter using Filters and PID controller

Authors: Vishal P Venkata, Natarajan V

Comments: 5 pages, 9 figures, 3 tables

Subjects: Systems and Control (eess.SY)

[225]  arXiv:1604.01166 [pdf, ps, other]

Title: An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming

Authors: John O.R. Aoga, Tias Guns, Pierre Schaus

Comments: frequent sequence mining, constraint programming

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[226]  arXiv:1604.01169 [pdf, other]

Title: A Fast Incremental BSP Tree Archive for Non-dominated Points

Authors: Tobias Glasmachers

Comments: This paper has been submitted to the conference EMO'2017

Subjects: Data Structures and Algorithms (cs.DS)

[227]  arXiv:1604.01170 [pdf, ps, other]

Title: Accurate and scalable social recommendation using mixed-membership stochastic block models

Authors: Antonia Godoy-Lorite, Roger Guimera, Cristopher Moore, Marta Sales-Pardo

Comments: 9 pages, 4 figures

Journal-ref: Proc. Natl. Acad. Sci. USA 113 (50) , 14207 -14212 (2016)

Subjects: Social and Information Networks (cs.SI); Information Retrieval (cs.IR); Machine Learning (cs.LG); Physics and Society (physics.soc-ph)

[228]  arXiv:1604.01175 [pdf, other]

Title: On the Combinatorial Complexity of Approximating Polytopes

Authors: Sunil Arya, Guilherme D. da Fonseca, David M. Mount

Comments: In Proceedings of the 32nd International Symposium Computational Geometry (SoCG 2016) and accepted to SoCG 2016 special issue of Discrete and Computational Geometry

Journal-ref: Discrete & Computational Geometry, Volume 58, Issue 4, pp 849-870, 2017

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

[229]  arXiv:1604.01178 [pdf, other]

Title: Modeling Relational Information in Question-Answer Pairs with Convolutional Neural Networks

Authors: Aliaksei Severyn, Alessandro Moschitti

Subjects: Computation and Language (cs.CL)

[230]  arXiv:1604.01183 [pdf, other]

Title: Approximate Polytope Membership Queries

Authors: Sunil Arya, Guilherme D. da Fonseca, David M. Mount

Comments: Preliminary results of this paper appeared in "Approximate Polytope Membership Queries", in Proc. ACM Sympos. Theory Comput. (STOC), 2011, 579-586 and "Polytope Approximation and the Mahler Volume", in Proc. ACM-SIAM Sympos. Discrete Algorithms (SODA), 2012, 29-42

Journal-ref: SIAM J. Comput., 47(1), 1-51, 2018

Subjects: Computational Geometry (cs.CG)

[231]  arXiv:1604.01184 [pdf, ps, other]

Title: Eilenberg--Moore Monoids and Backtracking Monad Transformers

Authors: Maciej Piróg (Department of Computer Science, KU Leuven, Belgium)

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 23-56

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

[232]  arXiv:1604.01185 [pdf, ps, other]

Title: SMT Solving for Functional Programming over Infinite Structures

Authors: Bartek Klin (University of Warsaw), Michał Szynwelski (University of Warsaw)

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 57-75

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

[233]  arXiv:1604.01186 [pdf, other]

Title: Variations on Noetherianness

Authors: Denis Firsov, Tarmo Uustalu, Niccolò Veltri

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 76-88

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

[234]  arXiv:1604.01187 [pdf, other]

Title: Directed Containers as Categories

Authors: Danel Ahman, Tarmo Uustalu

Comments: In Proceedings MSFP 2016, arXiv:1604.00384

Journal-ref: EPTCS 207, 2016, pp. 89-98

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[235]  arXiv:1604.01197 [pdf, other]

Title: Enhanced Approximation of Labeled Multi-object Density based on Correlation Analysis

Authors: Wei Yi, Suqi Li

Subjects: Systems and Control (eess.SY)

[236]  arXiv:1604.01200 [pdf, other]

Title: On Equivalence of Likelihood Maximization of Stochastic Block Model and Constrained Nonnegative Matrix Factorization

Authors: Zhong-Yuan Zhang, Yujie Gai, Yu-Fei Wang, Hui-Min Cheng, Xin Liu

Subjects: Social and Information Networks (cs.SI)

[237]  arXiv:1604.01202 [pdf, other]

Title: Multi-object Tracking for Generic Observation Model Using Labeled Random Finite Sets

Authors: Suqi Li, Wei Yi, Reza Hoseinnezhad, Bailu Wang, Lingjiang Kong

Comments: 18 pages, 17 figures

Subjects: Systems and Control (eess.SY)

[238]  arXiv:1604.01219 [pdf, other]

Title: Learning to Generate Posters of Scientific Papers

Authors: Yuting Qiang, Yanwei Fu, Yanwen Guo, Zhi-Hua Zhou, Leonid Sigal

Comments: in Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, AZ, 2016

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Multimedia (cs.MM); Machine Learning (stat.ML)

[239]  arXiv:1604.01221 [pdf, ps, other]

Title: Character-Level Neural Translation for Multilingual Media Monitoring in the SUMMA Project

Authors: Guntis Barzdins, Steve Renals, Didzis Gosko

Comments: LREC-2016 submission

Subjects: Computation and Language (cs.CL)

[240]  arXiv:1604.01235 [pdf, ps, other]

Title: A new TAG Formalism for Tamil and Parser Analytics

Authors: Vijay Krishna Menon, S. Rajendran, M. Anand Kumar, K.P. Soman

Comments: International Symposium for Dravidian Languages (iDravidian), co-located with ICON2014, Goa University, Dec 2014

Subjects: Computation and Language (cs.CL)

[241]  arXiv:1604.01252 [pdf, other]

Title: Comparative Deep Learning of Hybrid Representations for Image Recommendations

Authors: Chenyi Lei, Dong Liu, Weiping Li, Zheng-Jun Zha, Houqiang Li

Comments: CVPR 2016

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

[242]  arXiv:1604.01272 [pdf, ps, other]

Title: Feature extraction using Latent Dirichlet Allocation and Neural Networks: A case study on movie synopses

Authors: Despoina Christou

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

[243]  arXiv:1604.01275 [pdf, other]

Title: On the importance and feasibility of forecasting data in sensors

Authors: Gabriel Martins Dias, Boris Bellalta, Simon Oechsner

Comments: 30 pages and 12 figures. This paper has been submitted to the Transactions on Mobile Computing journal

Subjects: Networking and Internet Architecture (cs.NI)

[244]  arXiv:1604.01277 [pdf, other]

Title: Landmark-Based Plan Recognition

Authors: Ramon Fraga Pereira, Felipe Meneguzzi

Comments: Accepted as short paper in the 22nd European Conference on Artificial Intelligence, ECAI 2016

Subjects: Artificial Intelligence (cs.AI)

[245]  arXiv:1604.01278 [pdf, ps, other]

Title: RIGA at SemEval-2016 Task 8: Impact of Smatch Extensions and Character-Level Neural Translation on AMR Parsing Accuracy

Authors: Guntis Barzdins, Didzis Gosko

Comments: NAACL HLT 2016, SemEval-2016 Task 8 submission

Subjects: Computation and Language (cs.CL)

[246]  arXiv:1604.01286 [pdf, ps, other]

Title: Age of Information: The Gamma Awakening

Authors: Elie Najm, Rajai Nasser

Subjects: Information Theory (cs.IT)

[247]  arXiv:1604.01288 [pdf, ps, other]

Title: Unsatisfiable hitting clause-sets with three more clauses than variables

Authors: Oliver Kullmann, Xishun Zhao

Comments: 17 pages

Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[248]  arXiv:1604.01290 [pdf, ps, other]

Title: Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance

Authors: Vladimir N. Makarov

Comments: 10 pages, 1 figure, 4 tables

Subjects: Programming Languages (cs.PL)

[249]  arXiv:1604.01292 [pdf, other]

Title: Collaborative Distributed Hypothesis Testing

Authors: Gil Katz, Pablo Piantanida, Merouane Debbah

Comments: submitted to the Annals of Statistics

Subjects: Information Theory (cs.IT); Probability (math.PR)

[250]  arXiv:1604.01293 [pdf, other]

Title: Global sensitivity analysis of battery equivalent circuit model parameters

Authors: Shi Zhao, David A. Howey

Subjects: Systems and Control (eess.SY)

[251]  arXiv:1604.01303 [pdf, other]

Title: C3PO: Computation Congestion Control (PrOactive) - an algorithm for dynamic diffusion of ephemeral in-network services

Authors: Liang Wang, Mario Almeida, Jeremy Blackburn, Jon Crowcroft

Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)

[252]  arXiv:1604.01304 [pdf, other]

Title: Towards Label Imbalance in Multi-label Classification with Many Labels

Authors: Li Li, Houfeng Wang

Subjects: Machine Learning (cs.LG)

[253]  arXiv:1604.01319 [pdf, other]

Title: Cohomology of Cryo-Electron Microscopy

Authors: Ke Ye, Lek-Heng Lim

Comments: 27 pages, 5 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Algebraic Topology (math.AT)

[254]  arXiv:1604.01325 [pdf, other]

Title: Deep Image Retrieval: Learning global representations for image search

Authors: Albert Gordo, Jon Almazan, Jerome Revaud, Diane Larlus

Comments: ECCV 2016 version + additional results

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

[255]  arXiv:1604.01331 [pdf, ps, other]

Title: A smartphone-based vision simulator

Authors: Pragathi Praveena, Jobin J Kavalam, Namita Jacob

Comments: 3 pages, 4 image, 3rd International Conference on Biomedical Engineering and Assistive Technologies

Subjects: Human-Computer Interaction (cs.HC)

[256]  arXiv:1604.01335 [pdf, other]

Title: Deep Cross Residual Learning for Multitask Visual Recognition

Authors: Brendan Jou, Shih-Fu Chang

Comments: 10 pages, 6 figures, To appear in ACM Multimedia

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Multimedia (cs.MM)

[257]  arXiv:1604.01344 [pdf, other]

Title: Designing robust watermark barcodes for multiplex long-read sequencing

Authors: Joaquín Ezpeleta, Flavia J. Krsticevic, Pilar Bulacio, Elizabeth Tapia

Comments: Paper accepted at the RECOMB-Seq 2016

Subjects: Other Computer Science (cs.OH)

[258]  arXiv:1604.01345 [pdf, other]

Title: Integrating Local Material Recognition with Large-Scale Perceptual Attribute Discovery

Authors: Gabriel Schwartz, Ko Nishino

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

[259]  arXiv:1604.01347 [pdf, other]

Title: Marr Revisited: 2D-3D Alignment via Surface Normal Prediction

Authors: Aayush Bansal, Bryan Russell, Abhinav Gupta

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

[260]  arXiv:1604.01350 [pdf, other]

Title: Bounded Optimal Exploration in MDP

Authors: Kenji Kawaguchi

Comments: In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI), 2016

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