Computer Science

Authors and titles for March 2016

[151] arXiv:1603.00961 [pdf, other]

Title: Interactive and Scale Invariant Segmentation of the Rectum/Sigmoid via User-Defined Templates

Tobias Lüddemann, Jan Egger

Comments: 6 pages, 4 figures, 1 table, 43 references

Journal-ref: SPIE Medical Imaging Conference 2016, Paper 9784-113

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

[152] arXiv:1603.00963 [pdf, other]

Title: Using Quadrilaterals to Compute the Shortest Path

Newton Campbell Jr

Subjects: Data Structures and Algorithms (cs.DS)

[153] arXiv:1603.00964 [pdf, other]

Title: Object Manipulation Learning by Imitation

Zhen Zeng, Benjamin Kuipers

Comments: A more detailed report compared to previous versions

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[154] arXiv:1603.00968 [pdf, other]

Title: MGNC-CNN: A Simple Approach to Exploiting Multiple Word Embeddings for Sentence Classification

Ye Zhang, Stephen Roller, Byron Wallace

Comments: This paper got accepted by NAACL 2016

Subjects: Computation and Language (cs.CL)

[155] arXiv:1603.00973 [pdf, other]

Title: Tight Analysis of a Multiple-Swap Heuristic for Budgeted Red-Blue Median

Zachary Friggstad, Yifeng Zhang

Subjects: Data Structures and Algorithms (cs.DS)

[156] arXiv:1603.00975 [pdf, other]

Title: Formalising Confluence in PVS

Mauricio Ayala-Rincón (Universidade de Brasília)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 11-17

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

[157] arXiv:1603.00976 [pdf, other]

Title: Compositional model checking of concurrent systems, with Petri nets

Paweł Sobociński (University of Southampton)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 19-30

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[158] arXiv:1603.00977 [pdf, other]

Title: Generation, Ranking and Unranking of Ordered Trees with Degree Bounds

Mahdi Amani (Università di Pisa, Pisa, Italy), Abbas Nowzari-Dalini (UT, Tehran, Iran)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 31-45

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[159] arXiv:1603.00978 [pdf, other]

Title: Finiteness and Computation in Toposes

Edward Hermann Haeusler (Puc-Rio)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 61-77

Subjects: Logic in Computer Science (cs.LO)

[160] arXiv:1603.00979 [pdf, other]

Title: Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models

Mauricio Toro (Universidad Eafit, Colombia), Anna Philippou (University of Cyprus, Cyprus), Sair Arboleda (Universidad de Antioquia, Colombia), María Puerta (Universidad Eafit, Colombia), Carlos M. Vélez S. (Universidad Eafit, Colombia)

Comments: In Proceedings DCM 2015, arXiv:1603.00536

Journal-ref: EPTCS 204, 2016, pp. 79-94

Subjects: Logic in Computer Science (cs.LO)

[161] arXiv:1603.00980 [pdf, other]

Title: Local Map Descriptor for Compressive Change Retrieval

Tanaka Kanji

Comments: 8 pages, 7 figures, Draft of a paper submitted to an International Conference

Subjects: Robotics (cs.RO)

[162] arXiv:1603.00982 [pdf, other]

Title: Audio Word2Vec: Unsupervised Learning of Audio Segment Representations using Sequence-to-sequence Autoencoder

Yu-An Chung, Chao-Chung Wu, Chia-Hao Shen, Hung-Yi Lee, Lin-Shan Lee

Subjects: Sound (cs.SD); Machine Learning (cs.LG)

[163] arXiv:1603.00988 [pdf, other]

Title: Learning Functions: When Is Deep Better Than Shallow

Hrushikesh Mhaskar, Qianli Liao, Tomaso Poggio

Subjects: Machine Learning (cs.LG)

[164] arXiv:1603.00993 [pdf, other]

Title: Self-localization from Images with Small Overlap

Tanaka Kanji

Comments: 8 pages, 9 figures, Draft of a paper submitted to an International Conference

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

[165] arXiv:1603.01006 [pdf, other]

Title: Automatic learning of gait signatures for people identification

F.M. Castro, M.J. Marin-Jimenez, N. Guil, N. Perez de la Blanca

Comments: Proof of concept paper. Technical report on the use of ConvNets (CNN) for gait recognition. Data and code: this http URL

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

[166] arXiv:1603.01024 [pdf, other]

Title: Residual-based a Posteriori Error Estimate for Interface Problems: Nonconforming Linear Elements

Zhiqiang Cai, Cuiyu He, Shun Zhang

Subjects: Numerical Analysis (math.NA)

[167] arXiv:1603.01025 [pdf, other]

Title: Convolutional Neural Networks using Logarithmic Data Representation

Daisuke Miyashita, Edward H. Lee, Boris Murmann

Comments: 10 pages, 7 figures

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

[168] arXiv:1603.01032 [pdf, other]

Title: Right Ideals of a Ring and Sublanguages of Science

Javier Arias Navarro

Comments: Keywords: Zellig Sabbetai Harris, Information Structure of Language, Sublanguages of Science, Ideal Numbers, Ernst Kummer, Ideals, Richard Dedekind, Ring Theory, Right Ideals, Emmy Noether, Order Theory, Marshall Harvey Stone

Subjects: Computation and Language (cs.CL)

[169] arXiv:1603.01055 [pdf, other]

Title: Feedback Control of Real-Time Display Advertising

Weinan Zhang, Yifei Rong, Jun Wang, Tianchi Zhu, Xiaofan Wang

Comments: WSDM 2016

Subjects: Computer Science and Game Theory (cs.GT); Systems and Control (eess.SY)

[170] arXiv:1603.01056 [pdf, other]

Title: A novel and automatic pectoral muscle identification algorithm for mediolateral oblique (MLO) view mammograms using ImageJ

Chao Wang

Comments: 11 pages, 6 figures

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

[171] arXiv:1603.01060 [pdf, other]

Title: Yes-no Bloom filter: A way of representing sets with fewer false positives

Laura Carrea, Alexei Vernitski, Martin Reed

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

[172] arXiv:1603.01067 [pdf, other]

Title: Modeling the Sequence of Brain Volumes by Local Mesh Models for Brain Decoding

Itir Onal, Mete Ozay, Eda Mizrak, Ilke Oztekin, Fatos T. Yarman Vural

Comments: 13 pages, 10 figures, submitted to JSTSP Special Issue on Advanced Signal Processing in Brain Networks

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)

[173] arXiv:1603.01068 [pdf, other]

Title: First Steps Toward Camera Model Identification with Convolutional Neural Networks

Luca Bondi, Luca Baroffio, David Güera, Paolo Bestagini, Edward J. Delp, Stefano Tubaro

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

[174] arXiv:1603.01074 [pdf, other]

Title: Numerical analysis of the Oseen-type Peterlin viscoelastic model by the stabilized Lagrange-Galerkin method, Part II: A linear scheme

Mária Lukáčová-Medvid'ová, Hana Mizerová, Hirofumi Notsu, Masahisa Tabata

Comments: See arXiv:1603.01339 for Part I: a nonlinear scheme

Journal-ref: ESAIM: M2AN, 51(2017), 1663-1689

Subjects: Numerical Analysis (math.NA)

[175] arXiv:1603.01076 [pdf, other]

Title: What is the right way to represent document images?

Gabriela Csurka, Diane Larlus, Albert Gordo, Jon Almazan

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

[176] arXiv:1603.01080 [pdf, other]

Title: Spectrum Pooling in MmWave Networks: Opportunities, Challenges, and Enablers

Federico Boccardi, Hossein Shokri-Ghadikolaei, Gabor Fodor, Elza Erkip, Carlo Fischione, Marios Kountouris, Petar Popovski, and Michele Zorzi

Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY)

[177] arXiv:1603.01082 [pdf, other]

Title: Formal Specification and Analysis of Autonomous Systems under Partial Compliance

Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder

Subjects: Robotics (cs.RO)

[178] arXiv:1603.01090 [pdf, other]

Title: Using Newton's method to model a spatial light distribution of a LED with attached secondary optics

David Kaljun, Joze Petrišič, Janez Žerovnik

Comments: submitted to Journal of Mecanical enginering (Strojniški vestnik, Ljubljana)

Journal-ref: Journal of Mechanical Engineering 62(2016)5, 307-317

Subjects: Other Computer Science (cs.OH)

[179] arXiv:1603.01096 [pdf, other]

Title: Elastic Net Hypergraph Learning for Image Clustering and Semi-supervised Classification

Qingshan Liu, Yubao Sun, Cantian Wang, Tongliang Liu, Dacheng Tao

Comments: 13 pages, 12 figures

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

[180] arXiv:1603.01102 [pdf, other]

Title: Implementation of the fast table grid user interface element for working with large database tables

I. N. Ponomarev (Moscow Institute of Physics and Technology)

Comments: 10 pages, 3 figures, in Russian

Subjects: Databases (cs.DB)

[181] arXiv:1603.01107 [pdf, other]

Title: Minimization of Büchi Automata using Fair Simulation

Daniel Tischner

Comments: Bachelor's thesis, 67 pages, 12 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[182] arXiv:1603.01112 [pdf, other]

Title: If-Conversion Optimization using Neuro Evolution of Augmenting Topologies

Reem Elkhouly, Keiji Kimura, Ahmed El-Mahdy

Comments: Part of the Program Transformation for Programmability in Heterogeneous Architectures (PROHA) workshop, Barcelona, Spain, 12th March 2016, 6 pages, LaTeX, 2 PDF figures

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

[183] arXiv:1603.01113 [pdf, other]

Title: A Survey of the State of the Art in Data Mining and Integration Query Languages

Sabri Pllana, Ivan Janciak, Peter Brezany, Alexander Wöhrer

Comments: 2011 International Conference on Network-Based Information Systems

Subjects: Databases (cs.DB)

[184] arXiv:1603.01115 [pdf, other]

Title: Optimization of Energy-Constrained Wireless Powered Communication Networks with Heterogeneous Nodes

Mohamed A. Abd-Elmagid, Tamer ElBatt, Karim G. Seddik

Comments: Accepted for publication in Wireless Networks, 2017

Subjects: Information Theory (cs.IT)

[185] arXiv:1603.01121 [pdf, other]

Title: Deep Reinforcement Learning from Self-Play in Imperfect-Information Games

Johannes Heinrich, David Silver

Comments: updated version, incorporating conference feedback

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[186] arXiv:1603.01167 [pdf, other]

Title: On Composite Discontinuous Galerkin Method for simulations of electric properties of semiconductor devices

Konrad Sakowski, Leszek Marcinkowski, Pawel Strak, Pawel Kempisty, Stanislaw Krukowski

Comments: 28 pages, 6 figures

Subjects: Numerical Analysis (math.NA)

[187] arXiv:1603.01179 [pdf, other]

Title: Read networks and k-laminar graphs

Finn Völkel, Eric bapteste, Michel Habib, Philippe Lopez, Chloe Vigliotti

Subjects: Discrete Mathematics (cs.DM)

[188] arXiv:1603.01181 [pdf, other]

Title: The Domination Game: Proving the 3/5 Conjecture on Isolate-Free Forests

Neta Marcus, David Peleg

Subjects: Data Structures and Algorithms (cs.DS)

[189] arXiv:1603.01182 [pdf, other]

Title: Network Unfolding Map by Edge Dynamics Modeling

Filipe Alves Neto Verri, Paulo Roberto Urio, Liang Zhao

Comments: Published version in this http URL

Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, vol. 29, no. 2, pp. 405-418, Feb. 2018. doi: 10.1109/TNNLS.2016.2626341

Subjects: Artificial Intelligence (cs.AI)

[190] arXiv:1603.01184 [pdf, other]

Title: Invariant domains preserving ALE approximation of hyperbolic systems with continuous finite elements

Jean-Luc Guermond, Bojan, Laura Saavedra, Yong Yang

Subjects: Numerical Analysis (math.NA)

[191] arXiv:1603.01187 [pdf, other]

Title: A Dynamic Overlay Supporting Just-In-Time Assembly to Construct Customized Hardware Accelerators

Zeyad Aklah, Sen Ma, David Andrews

Comments: 2 pages, extended abstract, 2nd International Workshop on Overlay Architectures for FPGAs (OLAF),Feburary 21, 2016 - Monterey, CA, USA

Subjects: Hardware Architecture (cs.AR)

[192] arXiv:1603.01191 [pdf, other]

Title: A fixed-parameter algorithm for a routing open shop problem: unit processing times, few machines and locations

René van Bevern, Artem V. Pyatkin

Comments: Compared to the previous version, gives a description of the algorithm in pseudocode, simplifies many proofs, corrects the incorrect Lemma 5.5 of the previous version

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[193] arXiv:1603.01202 [pdf, other]

Title: Reducing complexity of autonomous control agents for verifiability

Paolo Izzo, Hongyang Qu, Sandor M. Veres

Subjects: Systems and Control (eess.SY)

[194] arXiv:1603.01203 [pdf, other]

Title: Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Robert Soulé

Comments: 23 pages, 13 figures. USENIX NSDI 2018

Subjects: Networking and Internet Architecture (cs.NI)

[195] arXiv:1603.01207 [pdf, other]

Title: From manuscript catalogues to a handbook of Syriac literature: Modeling an infrastructure for Syriaca.org

Nathan P. Gibson, David A. Michelson, Daniel L. Schwartz

Comments: Part of special issue: Computer-Aided Processing of Intertextuality in Ancient Languages. 15 pages, 4 figures

Journal-ref: Journal of Data Mining & Digital Humanities, Special Issue on Computer-Aided Processing of Intertextuality in Ancient Languages (May 30, 2017) jdmdh:1395

Subjects: Digital Libraries (cs.DL)

[196] arXiv:1603.01213 [pdf, other]

Title: Optimal Rebuilding of Multiple Erasures in MDS Codes

Zhiying Wang, Itzhak Tamo, Jehoshua Bruck

Comments: There is an overlap of this work with our two previous submissions: Zigzag Codes: MDS Array Codes with Optimal Rebuilding; On Codes for Optimal Rebuilding Access. arXiv admin note: text overlap with arXiv:1112.0371

Subjects: Information Theory (cs.IT)

[197] arXiv:1603.01217 [pdf, other]

Title: Rate Splitting for MIMO Wireless Networks: A Promising PHY-Layer Strategy for LTE Evolution

Bruno Clerckx, Hamdi Joudeh, Chenxi Hao, Mingbo Dai, Borzoo Rassouli

Comments: accepted to IEEE Communication Magazine, special issue on LTE Evolution

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

[198] arXiv:1603.01228 [pdf, other]

Title: GeoGebra Tools with Proof Capabilities

Zoltán Kovács, Csilla Sólyom-Gecse

Comments: 22 pages

Subjects: Artificial Intelligence (cs.AI)

[199] arXiv:1603.01232 [pdf, other]

Title: Multi-domain Neural Network Language Generation for Spoken Dialogue Systems

Tsung-Hsien Wen, Milica Gasic, Nikola Mrksic, Lina M. Rojas-Barahona, Pei-Hao Su, David Vandyke, Steve Young

Comments: Accepted as a long paper in NAACL-HLT 2016

Subjects: Computation and Language (cs.CL)

[200] arXiv:1603.01244 [pdf, other]

Title: Principles of Layered Attestation

Paul D. Rowe

Comments: 30 pages

Subjects: Cryptography and Security (cs.CR); Multiagent Systems (cs.MA)