Computer Science

Authors and titles for Apr 2016, skipping first 225

[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]

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]

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]

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]

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)