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)