Computer Science

Authors and titles for September 2017

[61] arXiv:1709.00310 [pdf, other]

Title: Detection via simultaneous trajectory estimation and long time integration

Kimin Kim, Murat Uney, Bernard Mulgrew

Comments: submitted to the IEEE Transactions on Aerospace and Electronic Systems

Subjects: Systems and Control (eess.SY); Applications (stat.AP)

[62] arXiv:1709.00314 [pdf, other]

Title: Sharper and Simpler Nonlinear Interpolants for Program Verification

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Subjects: Logic in Computer Science (cs.LO)

[63] arXiv:1709.00322 [pdf, other]

Title: Disintegration and Bayesian Inversion via String Diagrams

Kenta Cho, Bart Jacobs

Comments: Accepted for publication in Mathematical Structures in Computer Science

Journal-ref: Math. Struct. Comp. Sci. 29 (2019) 938-971

Subjects: Artificial Intelligence (cs.AI)

[64] arXiv:1709.00333 [pdf, other]

Title: Kafka versus RabbitMQ

Philippe Dobbelaere, Kyumars Sheykh Esmaili

Comments: 25 single-column pages, 7 figures, 5 tables

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

[65] arXiv:1709.00340 [pdf, other]

Title: Fine-grained Visual-textual Representation Learning

Xiangteng He, Yuxin Peng

Comments: 12 pages, accepted by IEEE Transactions on Circuits and Systems for Video Technology (TCSVT)

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

[66] arXiv:1709.00345 [pdf, other]

Title: Making "fetch" happen: The influence of social and linguistic context on nonstandard word growth and decline

Ian Stewart, Jacob Eisenstein

Journal-ref: EMNLP 2018

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

[67] arXiv:1709.00348 [pdf, other]

Title: Inferring Networked Device Categories from Low-Level Activity Indicators

Kyumars Sheykh Esmaili, Jaideep Chandrashekar, Pascal Le Guyadec

Comments: 14 pages, 9 figures, 7 tables

Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI)

[68] arXiv:1709.00352 [pdf, other]

Title: Online Time Sharing Policy in Energy Harvesting Cognitive Radio Network with Channel Uncertainty

Kalpant Pathak, Prachi Bansal, Adrish Banerjee

Comments: Accepted for publication in GLOBECOM 2017

Subjects: Information Theory (cs.IT)

[69] arXiv:1709.00354 [pdf, other]

Title: Query-by-example Spoken Term Detection using Attention-based Multi-hop Networks

Chia-Wei Ao, Hung-yi Lee

Subjects: Computation and Language (cs.CL); Multimedia (cs.MM)

[70] arXiv:1709.00358 [pdf, other]

Title: Adversarial Task Allocation

Chen Hajaj, Yevgeniy Vorobeychik

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

[71] arXiv:1709.00359 [pdf, other]

Title: Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

Dominik Klein, Rasmus K. Rendsvig

Comments: As appearing in "Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan)", LNCS, Springer 2017

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

[72] arXiv:1709.00362 [pdf, other]

Title: An Email Attachment is Worth a Thousand Words, or Is It?

Gregory Tsipenyuk, Jon Crowcroft

Comments: 12 pages, 4 figures, 7 tables, IML'17, Liverpool, UK

Subjects: Social and Information Networks (cs.SI)

[73] arXiv:1709.00370 [pdf, other]

Title: Spatial-Mode Diversity and Multiplexing for FSO Communication with Direct Detection

Shenjie Huang, Gilda Raoof Mehrpoor, Majid Safari

Subjects: Information Theory (cs.IT)

[74] arXiv:1709.00372 [pdf, other]

Title: Drawing Dynamic Graphs Without Timeslices

Paolo Simonetto, Daniel Archambault, Stephen Kobourov

Comments: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017)

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

[75] arXiv:1709.00375 [pdf, other]

Title: 2:3:4-Harmony within the Tritave

Markus Schmidmeier

Comments: In the new version, some remarks about music perception have been added. 29 pages, 22 figures, 7 tables. To appear in the Journal of Mathematics and Music

Journal-ref: Journal of Mathematics and Music (2019)

Subjects: Sound (cs.SD)

[76] arXiv:1709.00378 [pdf, other]

Title: Space-efficient classical and quantum algorithms for the shortest vector problem

Yanlin Chen, Kai-Min Chung, Ching-Yi Lai

Journal-ref: QIC, Vol. 18 No.3&4 , 0285-0307 (2018)

Subjects: Data Structures and Algorithms (cs.DS); Quantum Physics (quant-ph)

[77] arXiv:1709.00382 [pdf, other]

Title: Automatic Brain Tumor Segmentation using Cascaded Anisotropic Convolutional Neural Networks

Guotai Wang, Wenqi Li, Sebastien Ourselin, Tom Vercauteren

Comments: 12 pages, 5 figures. MICCAI Brats Challenge 2017

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

[78] arXiv:1709.00385 [pdf, other]

Title: Discrete Energy Laws for the First-Order System Least-Squares Finite-Element Approach

J. H. Adler, I. Lashuk, S. P. MacLachlan, L. T. Zikatanov

Subjects: Numerical Analysis (math.NA)

[79] arXiv:1709.00387 [pdf, other]

Title: MIT-QCRI Arabic Dialect Identification System for the 2017 Multi-Genre Broadcast Challenge

Suwon Shon, Ahmed Ali, James Glass

Comments: Submitted to the 2017 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU 2017)

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

[80] arXiv:1709.00389 [pdf, other]

Title: End-to-end Learning for Short Text Expansion

Jian Tang, Yue Wang, Kai Zheng, Qiaozhu Mei

Comments: KDD'2017

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

[81] arXiv:1709.00396 [pdf, other]

Title: Smile for the Camera: Privacy and Policy Implications of Emotion AI

Elaine Sedenberg, John Chuang

Subjects: Computers and Society (cs.CY)

[82] arXiv:1709.00402 [pdf, other]

Title: Isogeometric analysis of thin Reissner-Mindlin plates and shells: locking phenomena and B-bar method

Qingyuan Hu, Yang Xia, Sundararajan Natarajan, Andreas Zilian, Ping Hu, Stéphane P.A. Bordas

Comments: 32 pages, 21 figures

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[83] arXiv:1709.00408 [pdf, other]

Title: Lensless-camera based machine learning for image classification

Ganghun Kim, Stefan Kapetanovic, Rachael Palmer, Rajesh Menon

Subjects: Computer Vision and Pattern Recognition (cs.CV); Optics (physics.optics)

[84] arXiv:1709.00410 [pdf, other]

Title: Visual art inspired by the collective feeding behavior of sand-bubbler crabs

Hendrik Richter

Journal-ref: Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018, (Eds.: Liapis, A., Romero Cardalda, J.J., Ekart, A.), Springer-Verlag, pp. 1-17, 2018

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Populations and Evolution (q-bio.PE)

[85] arXiv:1709.00411 [pdf, other]

Title: On Reliability-Aware Server Consolidation in Cloud Datacenters

Amir Varasteh, Farzad Tashtarian, Maziar Goudarzi

Comments: International Symposium on Parallel and Distributed Computing (ISPDC), Innsbruck, Austria, 2017

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)