Computer Science

Authors and titles for Apr 2016, skipping first 60

[61]  arXiv:1604.00348 [pdf, other]

Title: Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Authors: Matthias Kowal (TU Braunschweig), Ina Schaefer (TU Braunschweig)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 32-45

Subjects: Software Engineering (cs.SE)

[62]  arXiv:1604.00349 [pdf, other]

Title: Analysis of Feature Models Using Alloy: A Survey

Authors: Anjali Sree-Kumar (Universitat Oberta de Catalunya), Elena Planas (Universitat Oberta de Catalunya), Robert Clarisó (Universitat Oberta de Catalunya)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 46-60

Subjects: Software Engineering (cs.SE)

[63]  arXiv:1604.00350 [pdf, ps, other]

Title: Towards a Feature mu-Calculus Targeting SPL Verification

Authors: Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Erik P. de Vink (TU/e, Eindhoven, The Netherlands), Tim A. C. Willemse (TU/e, Eindhoven, The Netherlands)

Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577

Journal-ref: EPTCS 206, 2016, pp. 61-75

Subjects: Logic in Computer Science (cs.LO)

[64]  arXiv:1604.00357 [pdf, ps, other]

Title: Beyond matroids: Secretary Problem and Prophet Inequality with general constraints

Authors: Aviad Rubinstein

Subjects: Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT)

[65]  arXiv:1604.00359 [pdf, other]

Title: Using Well-Understood Single-Objective Functions in Multiobjective Black-Box Optimization Test Suites

Authors: Dimo Brockhoff (RANDOPT), Tea Tusar, Anne Auger (RANDOPT), Nikolaus Hansen (RANDOPT)

Comments: ArXiv e-prints, arXiv:1604.00359

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)

[66]  arXiv:1604.00360 [pdf, ps, other]

Title: A General World Model with Poiesis: Poppers Three Worlds updated with Software

Authors: Walter Hehl

Comments: 9 pages. 1 Figure of a world model with physics, software and Geist, Book published 2016 (in German) by Springer, Heidelberg, with the general fundamentals of Software for philosophy

Subjects: Other Computer Science (cs.OH)

[67]  arXiv:1604.00367 [pdf, other]

Title: Person Re-identification in Appearance Impaired Scenarios

Authors: Mengran Gou, Xikang Zhang, Angels Rates-Borras, Sadjad Asghari-Esfeden, Mario Sznaier, Octavia Camps

Comments: 10 pages

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

[68]  arXiv:1604.00377 [pdf, ps, other]

Title: Reinforcement learning based local search for grouping problems: A case study on graph coloring

Authors: Yangming Zhou, Jin-Kao Hao, Béatrice Duval

Subjects: Artificial Intelligence (cs.AI)

[69]  arXiv:1604.00381 [pdf, other]

Title: The New Frontier in RAN Heterogeneity: Multi-tier Drone-Cells

Authors: Irem Bor-Yaliniz, Halim Yanikomeroglu

Comments: Accepted for publication in IEEE Communications Magazine Special Issue on 5G Radio Access Network Architecture and Technologies (November 2016)

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[70]  arXiv:1604.00384 [pdf, ps, other]

Title: Proceedings 6th Workshop on Mathematically Structured Functional Programming

Authors: Robert Atkey (University of Strathclyde), Neelakantan Krishnaswami (University of Birmingham)

Journal-ref: EPTCS 207, 2016

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

[71]  arXiv:1604.00389 [pdf, ps, other]

Title: The Internet of Things: Perspectives on Security from RFID and WSN

Authors: Ayush Shah, Ambar Pal, H. B. Acharya

Comments: Survey on pre-existing security issues that carry over into the Internet of Things

Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)

[72]  arXiv:1604.00400 [pdf, other]

Title: Revisiting Summarization Evaluation for Scientific Articles

Authors: Arman Cohan, Nazli Goharian

Comments: LREC 2016

Subjects: Computation and Language (cs.CL)

[73]  arXiv:1604.00409 [pdf, other]

Title: Structure from Motion on a Sphere

Authors: Jonathan Ventura

Comments: in European Conference on Computer Vision (ECCV) 2016

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

[74]  arXiv:1604.00417 [pdf, other]

Title: Understanding and Overcoming Biases in Customer Reviews

Authors: Georgios Askalidis, Edward C. Malthouse

Comments: 15 pages, 2 figures, 3 tables

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

[75]  arXiv:1604.00424 [pdf, other]

Title: Local sparsity and recovery of fusion frames structured signals

Authors: Roza Aceska, Jean-Luc Bouchot, Shidong Li

Comments: 17 figures, 42 pages

Subjects: Information Theory (cs.IT)

[76]  arXiv:1604.00425 [pdf, other]

Title: Cross-lingual Models of Word Embeddings: An Empirical Comparison

Authors: Shyam Upadhyay, Manaal Faruqui, Chris Dyer, Dan Roth

Comments: To appear at ACL 2016

Subjects: Computation and Language (cs.CL)

[77]  arXiv:1604.00427 [pdf, other]

Title: Leaving Some Stones Unturned: Dynamic Feature Prioritization for Activity Detection in Streaming Video

Authors: Yu-Chuan Su, Kristen Grauman

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

[78]  arXiv:1604.00433 [pdf, other]

Title: Adapting Models to Signal Degradation using Distillation

Authors: Jong-Chyi Su, Subhransu Maji

Comments: BMVC 2017

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

[79]  arXiv:1604.00434 [pdf, other]

Title: Joint Optimization of Power and Data Transfer in Multiuser MIMO Systems

Authors: Javier Rubio, Antonio Pascual-Iserte, Daniel P. Palomar, Andrea Goldsmith

Subjects: Information Theory (cs.IT)

[80]  arXiv:1604.00446 [pdf, other]

Title: Throughput-Optimal Multi-hop Broadcast Algorithms

Authors: Abhishek Sinha, Georgios Paschos, Eytan Modiano

Comments: To appear in the proceedings of Mobihoc, 2016

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

[81]  arXiv:1604.00449 [pdf, other]

Title: 3D-R2N2: A Unified Approach for Single and Multi-view 3D Object Reconstruction

Authors: Christopher B. Choy, Danfei Xu, JunYoung Gwak, Kevin Chen, Silvio Savarese

Comments: Appendix can be found at this http URL

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

[82]  arXiv:1604.00454 [pdf, ps, other]

Title: Explicit constructions of high-rate MDS array codes with optimal repair bandwidth

Authors: Min Ye, Alexander Barg

Comments: 19pp., submitted for publication. This version contains a few additional references

Subjects: Information Theory (cs.IT)

[83]  arXiv:1604.00457 [pdf, ps, other]

Title: Stability of Analytic Neural Networks with Event-triggered Synaptic Feedbacks

Authors: Ren Zheng, Xinlei Yi, Wenlian Lu, Tianping Chen

Comments: 12 pages, 3 figures. arXiv admin note: substantial text overlap with arXiv:1504.08081

Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, Vol. 27, No. 2, 483-494, 2016

Subjects: Neural and Evolutionary Computing (cs.NE); Dynamical Systems (math.DS); Adaptation and Self-Organizing Systems (nlin.AO)

[84]  arXiv:1604.00459 [pdf, ps, other]

Title: Local pinning of networks of multi-agent systems with transmission and pinning delays

Authors: Wenlian Lu, Fatihcan M. Atay

Comments: 6 pages, 3 figures

Subjects: Systems and Control (eess.SY); Classical Analysis and ODEs (math.CA)

[85]  arXiv:1604.00461 [pdf, other]

Title: Embedding Lexical Features via Low-Rank Tensors

Authors: Mo Yu, Mark Dredze, Raman Arora, Matthew Gormley

Comments: Accepted by NAACL 2016

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

[86]  arXiv:1604.00462 [pdf, ps, other]

Title: Centralized and Decentralized Global Outer-synchronization of Asymmetric Recurrent Time-varying Neural Network by Data-sampling

Authors: Wenlian Lu, Ren Zheng, Tianping Chen

Comments: 13 pages, 2 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Systems and Control (eess.SY); Classical Analysis and ODEs (math.CA)

[87]  arXiv:1604.00466 [pdf, other]

Title: Automatic Annotation of Structured Facts in Images

Authors: Mohamed Elhoseiny, Scott Cohen, Walter Chang, Brian Price, Ahmed Elgammal

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

[88]  arXiv:1604.00470 [pdf, other]

Title: Overlay Text Extraction From TV News Broadcast

Authors: Raghvendra Kannao, Prithwijit Guha

Comments: Published in INDICON 2015

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

[89]  arXiv:1604.00475 [pdf, ps, other]

Title: Robust video object tracking via Bayesian model averaging based feature fusion

Authors: Yi Dai, Bin Liu

Journal-ref: Opt. Eng. 55(8), 083102 (2016)

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

[90]  arXiv:1604.00478 [pdf, ps, other]

Title: State Space Model based Trust Evaluation over Wireless Sensor Networks: An Iterative Particle Filter Approach

Authors: Bin Liu, Shi Cheng

Comments: 11 pages, 10 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY)

[91]  arXiv:1604.00493 [pdf, ps, other]

Title: Steganography -- A Game of Hide and Seek in Information Communication

Authors: Sanjeeb Kumar Behera, Minati Mishra

Comments: 5 pages, 4 figures, National Conference on Recent Innovations in Engineering and Management Sciences (RIEMS-2016)

Subjects: Multimedia (cs.MM); Cryptography and Security (cs.CR)

[92]  arXiv:1604.00494 [pdf, other]

Title: A Fully Convolutional Neural Network for Cardiac Segmentation in Short-Axis MRI

Authors: Phi Vu Tran

Comments: Initial Technical Report; Include link to models and code

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

[93]  arXiv:1604.00498 [pdf, other]

Title: A Get-Together for Deaf and Dumb Robots in Three dimensional Space

Authors: Subhash Bhagat, Sruti Gan Chaudhuri, Krishnendu Mukhopadhyaya

Subjects: Robotics (cs.RO)

[94]  arXiv:1604.00500 [pdf, other]

Title: Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report)

Authors: Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Comments: Short version of this report appeared in the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2016) under the title "ELZAR: Triple Modular Redundancy using Intel Advanced Vector Extensions (practical experience report)"

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

[95]  arXiv:1604.00502 [pdf, other]

Title: Online Updating of Word Representations for Part-of-Speech Tagging

Authors: Wenpeng Yin, Tobias Schnabel, Hinrich Schütze

Comments: EMNLP'2015. Released POS tagger "FLORS" for online domain adaptation

Subjects: Computation and Language (cs.CL)

[96]  arXiv:1604.00503 [pdf, ps, other]

Title: Discriminative Phrase Embedding for Paraphrase Identification

Authors: Wenpeng Yin, Hinrich Schütze

Comments: NAACL'2015

Subjects: Computation and Language (cs.CL)

[97]  arXiv:1604.00515 [pdf, ps, other]

Title: On the Dual of the Coulter-Matthews Bent Functions

Authors: Honggang Hu, Qingsheng Zhang, Shuai Shao

Subjects: Information Theory (cs.IT)

[98]  arXiv:1604.00533 [pdf, ps, other]

Title: Voronoi Region-Based Adaptive Unsupervised Color Image Segmentation

Authors: R. Hettiarachchi, J.F. Peters

Comments: 21 pages, 5 figures

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

[99]  arXiv:1604.00536 [pdf, ps, other]

Title: Improving SAT Solvers via Blocked Clause Decomposition

Authors: Jingchao Chen

Comments: 9 pages, 1 figure

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

[100]  arXiv:1604.00545 [pdf, ps, other]

Title: The AGI Containment Problem

Authors: James Babcock, Janos Kramar, Roman Yampolskiy

Journal-ref: Lecture Notes in Artificial Intelligence 9782 (AGI 2016, Proceedings) 53-63

Subjects: Artificial Intelligence (cs.AI)

[101]  arXiv:1604.00546 [pdf, ps, other]

Title: Image Quality Assessment for Performance Evaluation of Focus Measure Operators

Authors: Farida Memon, Mukhtiar Ali Unar, Sheeraz Memon

Comments: 8 pages, Mehran University Research Journal of Engineering and Technology, Vol. 34, No. 4, 2015

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

[102]  arXiv:1604.00547 [pdf, other]

Title: Isogeometric analysis for functionally graded microplates based on modified couple stress theory

Authors: Hoang X. Nguyen, Tuan N. Nguyen, M. Abdel-Wahab, S.P.A. Bordas, H. Nguyen-Xuan, Thuc P. Vo

Comments: 57 pages, 14 figures, 18 tables

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

[103]  arXiv:1604.00552 [pdf, ps, other]

Title: pH Prediction by Artificial Neural Networks for the Drinking Water of the Distribution System of Hyderabad City

Authors: Niaz Ahmed Memon, Mukhtiar Ali Unar, Abdul Khalique Ansari

Comments: 10 pages, Mehran University Research Journal of Engineering and Technology, Vol. 31, No. 1, January 2012

Subjects: Neural and Evolutionary Computing (cs.NE)

[104]  arXiv:1604.00554 [pdf, ps, other]

Title: Scalability Model Based on the Concept of Granularity

Authors: Łukasz P. Olech, Jan Kwiatkowski

Comments: This article was presented at PPAM 2015 conference this http URL and will be published in Springer Proceedengs

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

[105]  arXiv:1604.00556 [pdf, ps, other]

Title: Parametric Study of Nonlinear Adaptive Cruise Control for a Road Vehicle Model by MPC

Authors: Zeeshan Ali Memon, Mukhtiar Ali Unar, Dur Muhammad Pathan

Comments: Mehran University Research Journal of Engineering and Technology, Vol. 31, No.2, April 2012

Subjects: Systems and Control (eess.SY)

[106]  arXiv:1604.00557 [pdf, ps, other]

Title: SAM: Support Vector Machine Based Active Queue Management

Authors: Muhammad Saleh Shah, Asim Imdad Wagan, Mukhtiar Ali Unar

Comments: 8 pages, Mehran University Research Journal of Engineering and Technology, Vol 33, No.1, January 2014

Subjects: Networking and Internet Architecture (cs.NI); Machine Learning (cs.LG)

[107]  arXiv:1604.00558 [pdf, ps, other]

Title: Channel Equalization Using Multilayer Perceptron Networks

Authors: Saba Baloch, Javed Ali Baloch, Mukhtiar Ali Unar

Comments: 6 pages, Mehran University Research Journal of Engineering and Technology, Vol. 31, No. 3, July 2012

Subjects: Neural and Evolutionary Computing (cs.NE)

[108]  arXiv:1604.00562 [pdf, other]

Title: Reasoning About Pragmatics with Neural Listeners and Speakers

Authors: Jacob Andreas, Dan Klein

Subjects: Computation and Language (cs.CL); Neural and Evolutionary Computing (cs.NE)

[109]  arXiv:1604.00564 [pdf, ps, other]

Title: An Empirical Study of Irregular AG Block Turbo Codes over Fading Channels

Authors: Omar A. Alzubi

Comments: 7 pages, 12 figures, Journal paper

Journal-ref: Research Journal of Applied Sciences, Engineering and Technology 11(12): 1329-1335, 2015

Subjects: Information Theory (cs.IT)

[110]  arXiv:1604.00565 [pdf, ps, other]

Title: A Statistical Block Fading Channel Model for Multiuser Massive MIMO System

Authors: Suresh Dahiya

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