Computer Science

Authors and titles for Apr 2014, skipping first 150

[151]  arXiv:1404.0854 [pdf, other]

Title: Enabling Automatic Certification of Online Auctions

Authors: Wei Bai, Emmanuel M. Tadjouddine, Yu Guo

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 123-132

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

[152]  arXiv:1404.0855 [pdf, other]

Title: Transformation of UML Behavioral Diagrams to Support Software Model Checking

Authors: Luciana Brasil Rebelo dos Santos (Instituto Nacional de Pesquisas Espaciais - INPE), Valdivino Alexandre de Santiago Júnior (Instituto Nacional de Pesquisas Espaciais - INPE), Nandamudi Lankalapalli Vijaykumar (Instituto Nacional de Pesquisas Espaciais - INPE)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 133-142

Subjects: Software Engineering (cs.SE)

[153]  arXiv:1404.0864 [pdf, ps, other]

Title: Generalized Signal Alignment For Arbitrary MIMO Two-Way Relay Channels

Authors: Kangqi Liu, Meixia Tao, Dingcheng Yang

Comments: 6 pages, 2 figures, submitted to IEEE Globecom 2014

Subjects: Information Theory (cs.IT)

[154]  arXiv:1404.0868 [pdf, ps, other]

Title: A Novel Genetic Algorithm using Helper Objectives for the 0-1 Knapsack Problem

Authors: Jun He, Feidun He, Hongbin Dong

Subjects: Neural and Evolutionary Computing (cs.NE)

[155]  arXiv:1404.0900 [pdf, ps, other]

Title: Influence Maximization: Near-Optimal Time Complexity Meets Practical Efficiency

Authors: Youze Tang, Xiaokui Xiao, Yanchen Shi

Comments: Revised Sections 1, 2.3, and 5 to remove incorrect claims about reference [3]. Updated experiments accordingly. A shorter version of the paper will appear in SIGMOD 2014

Subjects: Social and Information Networks (cs.SI); Databases (cs.DB)

[156]  arXiv:1404.0906 [pdf, ps, other]

Title: Optimal Power Control for Analog Bidirectional Relaying with Long-Term Relay Power Constraint

Authors: Zoran Hadzi-Velkov, Nikola Zlatanov, Robert Schober

Comments: conference IEEE Globecom 2013, Atlanta, Georgia, US

Subjects: Information Theory (cs.IT)

[157]  arXiv:1404.0933 [pdf, ps, other]

Title: Bayes and Naive Bayes Classifier

Authors: Vikramkumar (B092633), Vijaykumar B (B091956), Trilochan (B092654)

Subjects: Machine Learning (cs.LG)

[158]  arXiv:1404.0934 [pdf, other]

Title: Map Route Ranking with Weighted Distance using Environmental Factors

Authors: Jiyi Li

Comments: 2 pages, 3 figures, 1 table

Subjects: Human-Computer Interaction (cs.HC)

[159]  arXiv:1404.0948 [pdf, other]

Title: The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Authors: Michael Codish, Luis Cruz-Filipe, Peter Schneider-Kamp

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

[160]  arXiv:1404.0953 [pdf, ps, other]

Title: Implementing Anti-Unification Modulo Equational Theory

Authors: Jochen Burghardt, Birgit Heinz

Comments: 113 pages; 57 figures

Journal-ref: Technical Report "Arbeitspapiere der GMD",ISSN 0723-0508, Vol.1006, June 1996

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

[161]  arXiv:1404.0956 [pdf, ps, other]

Title: Expressiveness via Intensionality and Concurrency

Authors: Thomas Given-Wilson

Comments: 18 pages, to appear in ICTAC 2014

Subjects: Logic in Computer Science (cs.LO)

[162]  arXiv:1404.0964 [pdf, other]

Title: Distributed Hypothesis Testing with Social Learning and Symmetric Fusion

Authors: Joong Bum Rhim, Vivek K Goyal

Comments: 10 pages, 7 figures

Journal-ref: IEEE Trans. on Signal Processing, vol. 62, no. 23, pp. 6298-6308, December 2014

Subjects: Information Theory (cs.IT); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI)

[163]  arXiv:1404.0965 [pdf, ps, other]

Title: Compressed Sensing Bayes Risk Minimization for Under-determined Systems via Sphere Detection

Authors: Fabian Monsees, Carsten Bockelmann, Dirk Wübben, Armin Dekorsy

Comments: Published at 77th IEEE Vehicular Technology Conference (VTC2013-Spring)

Subjects: Information Theory (cs.IT)

[164]  arXiv:1404.0967 [pdf, ps, other]

Title: Binary pattern tile set synthesis is NP-hard

Authors: Lila Kari, Steffen Kopecki, Pierre-Étienne Meunier, Matthew J. Patitz, Shinnosuke Seki

Subjects: Computational Complexity (cs.CC)

[165]  arXiv:1404.0969 [pdf, ps, other]

Title: A Class of Reducible Cyclic Codes and Their Weight Distribution

Authors: Yan Liu

Comments: arXiv admin note: substantial text overlap with arXiv:1312.4638

Subjects: Information Theory (cs.IT)

[166]  arXiv:1404.0971 [pdf, other]

Title: Improved channel estimation for interference cancellation in random access methods for satellite communications

Authors: Karine Zidane, Jérôme Lacan, Marie-Laure Boucheret, Charly Poulliat

Comments: submitted to ASMS 2014

Subjects: Information Theory (cs.IT)

[167]  arXiv:1404.0975 [pdf, other]

Title: Analysis of Petri Net Models through Stochastic Differential Equations

Authors: Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, Gianfranco Balbo

Subjects: Performance (cs.PF); Probability (math.PR)

[168]  arXiv:1404.0977 [pdf, other]

Title: Faster Shortest Paths in Dense Distance Graphs, with Applications

Authors: Shay Mozes, Yahav Nussbaum, Oren Weimann

Subjects: Data Structures and Algorithms (cs.DS)

[169]  arXiv:1404.0979 [pdf, ps, other]

Title: Kernel-Based Adaptive Online Reconstruction of Coverage Maps With Side Information

Authors: Martin Kasparick, Renato L. G. Cavalcante, Stefan Valentin, Slawomir Stanczak, Masahiro Yukawa

Comments: IEEE Transactions on Vehicular Technology; revised and extended version with new simulation scenario

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

[170]  arXiv:1404.0981 [pdf, ps, other]

Title: New Julia and Mandelbrot Sets for Jungck Ishikawa Iterates

Authors: Suman Joshi, Dr. Yashwant Singh Chauhan, Dr. Ashish Negi

Comments: 8 pages,18 tables,18 charts,18 figures Published with International Journal of Computer Trends and Technology (IJCTT)

Subjects: Graphics (cs.GR)

[171]  arXiv:1404.1008 [pdf, other]

Title: Spectral concentration and greedy k-clustering

Authors: Tamal K. Dey, Pan Peng, Alfred Rossi, Anastasios Sidiropoulos

Comments: 21 pages, 6 figures

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG)

[172]  arXiv:1404.1009 [pdf, other]

Title: You are What you Eat (and Drink): Identifying Cultural Boundaries by Analyzing Food & Drink Habits in Foursquare

Authors: Thiago H Silva, Pedro O S Vaz de Melo, Jussara Almeida, Mirco Musolesi, Antonio Loureiro

Comments: 10 pages, 10 figures, 1 table. Proceedings of 8th AAAI Intl. Conf. on Weblogs and Social Media (ICWSM 2014)

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)

[173]  arXiv:1404.1056 [pdf, ps, other]

Title: Online bin packing with cardinality constraints revisited

Authors: Gyorgy Dosa, Leah Epstein

Subjects: Data Structures and Algorithms (cs.DS)

[174]  arXiv:1404.1059 [pdf, ps, other]

Title: Minimum total weighted completion time: Faster approximation schemes

Authors: Leah Epstein, Asaf Levin

Subjects: Data Structures and Algorithms (cs.DS)

[175]  arXiv:1404.1066 [pdf, other]

Title: Parallel Support Vector Machines in Practice

Authors: Stephen Tyree, Jacob R. Gardner, Kilian Q. Weinberger, Kunal Agrawal, John Tran

Comments: 10 pages

Subjects: Machine Learning (cs.LG)

[176]  arXiv:1404.1068 [pdf, ps, other]

Title: Multi-User Coverage Probability of Uplink Cellular Systems: a Stochastic Geometry Approach

Authors: F. Javier Martin-Vega, F. Javier Lopez-Martinez, Gerardo Gomez, Mari Carmen Aguayo-Torres

Comments: 6 pages, 9 figures, conference

Subjects: Information Theory (cs.IT)

[177]  arXiv:1404.1087 [pdf, other]

Title: Dynamic Windows Scheduling with Reallocation

Authors: Martin Farach-Colton, Katia Leal, Miguel A. Mosteiro, Christopher Thraves

Comments: 6 figures

Subjects: Data Structures and Algorithms (cs.DS)

[178]  arXiv:1404.1097 [pdf, other]

Title: Competitive Algorithms from Competitive Equilibria: Non-Clairvoyant Scheduling under Polyhedral Constraints

Authors: Sungjin Im, Janardhan Kulkarni, Kamesh Munagala

Comments: Accepted for publication in STOC 2014

Subjects: Data Structures and Algorithms (cs.DS)

[179]  arXiv:1404.1100 [pdf, other]

Title: A Tutorial on Principal Component Analysis

Authors: Jonathon Shlens

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[180]  arXiv:1404.1103 [pdf, ps, other]

Title: A Polylogarithmic PRG for Degree $2$ Threshold Functions in the Gaussian Setting

Authors: Daniel M. Kane

Subjects: Computational Complexity (cs.CC)

[181]  arXiv:1404.1107 [pdf, ps, other]

Title: Performance of Multiantenna Linear MMSE Receivers in Doubly Stochastic Networks

Authors: Junjie Zhu, Siddhartan Govindasamy, Jeff Hwang

Comments: Submitted to IEEE Transactions on Communications and under second round of revision. arXiv admin note: text overlap with arXiv:1210.0558

Subjects: Information Theory (cs.IT)

[182]  arXiv:1404.1108 [pdf, ps, other]

Title: A Collaborative Framework for In-network Video Caching in Mobile Networks

Authors: Jun He, Honghai Zhang, Baohua Zhao, Sampath Rangarajan

Journal-ref: Proceedings of IEEE Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) 2013, pp. 406-414

Subjects: Networking and Internet Architecture (cs.NI)

[183]  arXiv:1404.1112 [pdf, other]

Title: Duration-Differentiated Services in Electricity

Authors: Ashutosh Nayyar, Matias Negrete-Pincetic, Kameshwar Poolla, Pravin Varaiya

Subjects: Systems and Control (eess.SY)

[184]  arXiv:1404.1113 [pdf, ps, other]

Title: Interference-Based Optimal Power-Efficient Access Scheme for Cognitive Radio Networks

Authors: Ahmed H. Anwar, Ahmed El Shafie, Amr Mohamed, Tamer ElBatt, Mohsen Guizani

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

[185]  arXiv:1404.1116 [pdf, other]

Title: Resolving Multi-path Interference in Time-of-Flight Imaging via Modulation Frequency Diversity and Sparse Regularization

Authors: Ayush Bhandari, Achuta Kadambi, Refael Whyte, Christopher Barsi, Micha Feigin, Adrian Dorrington, Ramesh Raskar

Comments: 11 Pages, 4 figures, appeared with minor changes in Optics Letters

Journal-ref: Optics Letters, Vol. 39, Issue 6, pp. 1705-1708 (2014)

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

[186]  arXiv:1404.1124 [pdf, other]

Title: A Task Allocation Schema Based on Response Time Optimization in Cloud Computing

Authors: Kai Li, Yong Wang, Meilin Liu

Comments: arXiv admin note: substantial text overlap with arXiv:1403.5012

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

[187]  arXiv:1404.1129 [pdf, ps, other]

Title: An Efficient Two-Stage Sparse Representation Method

Authors: Chengyu Peng, Hong Cheng, Manchor Ko

Comments: 21 pages, 2 figures, 4 tables

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

[188]  arXiv:1404.1140 [pdf, other]

Title: Scalable Planning and Learning for Multiagent POMDPs: Extended Version

Authors: Christopher Amato, Frans A. Oliehoek

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[189]  arXiv:1404.1142 [pdf, ps, other]

Title: Two-tier Spatial Modeling of Base Stations in Cellular Networks

Authors: Yifan Zhou, Zhifeng Zhao, Qianlan Ying, Rongpeng Li, Xuan Zhou, Honggang Zhang

Subjects: Networking and Internet Architecture (cs.NI)

[190]  arXiv:1404.1143 [pdf, ps, other]

Title: Characterizing Spatial Patterns of Base Stations in Cellular Networks

Authors: Qianlan Ying, Zhifeng Zhao, Yifan Zhou, Rongpeng Li, Xuan Zhou, Honggang Zhang

Subjects: Networking and Internet Architecture (cs.NI)

[191]  arXiv:1404.1144 [pdf, ps, other]

Title: AIS-MACA- Z: MACA based Clonal Classifier for Splicing Site, Protein Coding and Promoter Region Identification in Eukaryotes

Authors: Pokkuluri Kiran Sree, Inampudi Ramesh Babu, SSSN Usha Devi N

Comments: 6,1-6 Pages, Journal of Artificial Intelligence Research & Advances Volume 1, Issue 1,2014. arXiv admin note: text overlap with arXiv:1403.5933, arXiv:1404.0453

Subjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG)

[192]  arXiv:1404.1148 [pdf, other]

Title: Hadamard Coded Modulation: An Alternative to OFDM for Optical Wireless Communications

Authors: Mohammad Noshad, Maite Brandt-Pearce

Subjects: Information Theory (cs.IT)

[193]  arXiv:1404.1151 [src]

Title: Recognition of Handwritten MODI Numerals using Hu and Zernike features

Authors: Sadanand A. Kulkarni, Prashant L. Borde, Ramesh R. Manza, Pravin L. Yannawar

Comments: This paper has been withdrawn by the author due to the paper was rejected by journal with a reson "paper was not suitable for the journal"

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

[194]  arXiv:1404.1168 [pdf, other]

Title: Persistence based analysis of consensus protocols for dynamic graph networks

Authors: Nilanjan Roy Chowdhury, Srikant Sukumar

Comments: This article contains 7 pages and includes 4 figures. it is accepted in 13th European Control Conference

Subjects: Systems and Control (eess.SY)

[195]  arXiv:1404.1178 [pdf, other]

Title: Reliable Reporting for Massive M2M Communications with Periodic Resource Pooling

Authors: Germán Corrales Madueño, Cedomir Stefanović, Petar Popovski

Comments: Submitted to journal

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

[196]  arXiv:1404.1191 [pdf, other]

Title: A directed isoperimetric inequality with application to Bregman near neighbor lower bounds

Authors: Amirali Abdullah, Suresh Venkatasubramanian

Comments: 27 pages

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)

[197]  arXiv:1404.1193 [pdf, ps, other]

Title: Cost minimization for fading channels with energy harvesting and conventional energy

Authors: Xin Kang, Yeow-Khiang Chia, Chin Keong Ho, Sumei Sun

Comments: to appear in IEEE Transactions on Wireless Communications

Subjects: Information Theory (cs.IT)

[198]  arXiv:1404.1198 [pdf, ps, other]

Title: Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

Authors: Jochen Burghardt

Comments: 13 pages; 11 figures

Journal-ref: T. Lindner and C. Lewerentz (eds.), Formal development of reactive systems - Case study production cell, Springer LNCS, Vol.891, p.297-311, 1995

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[199]  arXiv:1404.1201 [pdf, ps, other]

Title: Regular Substitution Sets: A Means of Controlling E-Unification

Authors: Jochen Burghardt

Comments: 61 pages; 35 figures

Journal-ref: Jieh Hsiang (ed.), Rewriting Techniques and Applications, 6th Int. Conf., RTA-95, Springer LNCS 914, p.382-396, 1995

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

[200]  arXiv:1404.1215 [pdf, ps, other]

Title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads

Authors: Sergey Goncharov, Dirk Pattinson

Comments: final version

Subjects: Logic in Computer Science (cs.LO)