Computer Science

Authors and titles for April 2014

[101] arXiv:1404.0588 [pdf, other]

Title: Labeling Schemes for Bounded Degree Graphs

David Adjiashvili, Noy Rotbart

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[102] arXiv:1404.0600 [pdf, other]

Title: MBIS: Multivariate Bayesian Image Segmentation Tool

Oscar Esteban, Gert Wollny, Subrahmanyam Gorthi, Maria-J. Ledesma-Carbayo, Jean-Philippe Thiran, Andres Santos, Meritxell Bach-Cuadra

Journal-ref: Comput. Meth. Prog. Bio. 115(2):76-94 (2014)

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

[103] arXiv:1404.0605 [pdf, other]

Title: The Complexity of the Simplex Method

John Fearnley, Rahul Savani

Subjects: Data Structures and Algorithms (cs.DS)

[104] arXiv:1404.0606 [pdf, other]

Title: Monadic Datalog Containment on Trees

André Frochaux, Martin Grohe, Nicole Schweikardt

Comments: This article is the full version of an article published in the proccedings of the 8th Alberto Mendelzon Workshop (AMW 2014)

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Databases (cs.DB)

[105] arXiv:1404.0607 [pdf, other]

Title: Skybridge: 3-D Integrated Circuit Technology Alternative to CMOS

Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz

Comments: 53 Pages

Subjects: Emerging Technologies (cs.ET); Hardware Architecture (cs.AR)

[106] arXiv:1404.0614 [pdf, other]

Title: The secretary returns

Shai Vardi

Subjects: Data Structures and Algorithms (cs.DS)

[107] arXiv:1404.0615 [pdf, other]

Title: Nanowire Volatile RAM as an Alternative to SRAM

Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz

Subjects: Emerging Technologies (cs.ET)

[108] arXiv:1404.0627 [pdf, other]

Title: Extraction of Projection Profile, Run-Histogram and Entropy Features Straight from Run-Length Compressed Text-Documents

Mohammed Javed, P. Nagabhushan, B.B. Chaudhuri

Comments: Published by IEEE in Proceedings of ACPR-2013. arXiv admin note: text overlap with arXiv:1403.7783

Journal-ref: 2013 Second IAPR Asian Conference on Pattern Recognition, Pages 813-817

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

[109] arXiv:1404.0640 [pdf, other]

Title: Conceptive Artificial Intelligence: Insights from design theory

Akin Osman Kazakci (CGS)

Journal-ref: International Design Conference DESIGN2014, Croatia (2014)

Subjects: Artificial Intelligence (cs.AI)

[110] arXiv:1404.0644 [pdf, other]

Title: Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

Julien Cassaigne, Vesa Halava, Tero Harju, Francois Nicolas

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[111] arXiv:1404.0649 [pdf, other]

Title: A probabilistic estimation and prediction technique for dynamic continuous social science models: The evolution of the attitude of the Basque Country population towards ETA as a case study

Juan-Carlos Cortés, Francisco-J. Santonja, Ana-C. Tarazona, Rafael-J. Villanueva, Javier Villanueva-Oller

Comments: 13 pages

Subjects: Machine Learning (cs.LG)

[112] arXiv:1404.0654 [pdf, other]

Title: Two Structural Results for Low Degree Polynomials and Applications

Gil Cohen, Avishay Tal

Subjects: Computational Complexity (cs.CC)

[113] arXiv:1404.0660 [pdf, other]

Title: Waterfilling Theorems in the Time-Frequency Plane for the Heat Channel and a Related Source

Edwin Hammerich

Comments: 5 pages; to be presented at 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June/July 2014

Journal-ref: Proc. IEEE Int. Symp. Information Theory, Honolulu, HI, 2014, pp. 2416-2420

Subjects: Information Theory (cs.IT)

[114] arXiv:1404.0662 [pdf, other]

Title: Privacy-Preserving Social Network with Multigrained and Multilevel Access Control

YounSun Cho

Subjects: Social and Information Networks (cs.SI); Cryptography and Security (cs.CR)

[115] arXiv:1404.0665 [pdf, other]

Title: Security Analyses of Quantum Communication Protocols

Yong Wang

Comments: 152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260

Subjects: Logic in Computer Science (cs.LO)

[116] arXiv:1404.0672 [pdf, other]

Title: Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding

Hammurabi Mendes, Sorin Istrail

Comments: Submitted for peer review

Subjects: Computational Engineering, Finance, and Science (cs.CE); Computer Science and Game Theory (cs.GT)

[117] arXiv:1404.0695 [pdf, other]

Title: Multi-objective Flower Algorithm for Optimization

Xin-She Yang, M. Karamanoglu, Xingshi He

Comments: 2 figures. arXiv admin note: substantial text overlap with arXiv:1312.5673

Journal-ref: X. S. Yang, M. Karamanoglu, X. S. He, Multi-objective Flower Algorithm for Optimization, Procedia Computer Science, vol. 18, pp. 861-868 (2013)

Subjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

[118] arXiv:1404.0696 [pdf, other]

Title: D-P2P-Sim+:A Novel Distributed Framework for P2P Protocols Performance Testing

S. Sioutas, E. Sakkopoulos, A. Panaretos, D. Tsoumakos, P. Gerolymatos, G. Tzimas, Y. Manolopoulos

Comments: 51 pages, 37 figures, submitted to JSS (Elsevier)

Subjects: Databases (cs.DB)

[119] arXiv:1404.0698 [pdf, other]

Title: Adaptability Checking in Multi-Level Complex Systems

Emanuela Merelli, Nicola Paoletti, Luca Tesei

Comments: 57 page, 10 figures, research papaer, submitted

Subjects: Software Engineering (cs.SE)

[120] arXiv:1404.0703 [pdf, other]

Title: Joins via Geometric Resolutions: Worst-case and Beyond

Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Ré, Atri Rudra

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS)

[121] arXiv:1404.0708 [pdf, other]

Title: Computational Optimization, Modelling and Simulation: Recent Trends and Challenges

Xin-She Yang, Slawomir Koziel, Leifur Leifsson

Journal-ref: X. S. Yang, S. Koziel, L. Leifsson, Computational Optimization, Modelling and Simulation: Recent Trends and Challenges, Procedia Computer Science, vol. 18, pp. 855-860 (2013)

Subjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

[122] arXiv:1404.0718 [pdf, other]

Title: Property Testing on Product Distributions: Optimal Testers for Bounded Derivative Properties

Deeparnab Chakrabarty, Kashyap Dixit, Madhav Jha, C. Seshadhri

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

[123] arXiv:1404.0723 [pdf, other]

Title: Image Segmentation with Eigenfunctions of an Anisotropic Diffusion Operator

Jingyue Wang, Weizhang Huang

Journal-ref: IEEE Transactions on Image Processing 25 (2016), 2155-2167

Subjects: Numerical Analysis (math.NA)

[124] arXiv:1404.0736 [pdf, other]

Title: Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation

Remi Denton, Wojciech Zaremba, Joan Bruna, Yann LeCun, Rob Fergus

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

[125] arXiv:1404.0743 [pdf, other]

Title: Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis

Geoffrey Irving

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

[126] arXiv:1404.0753 [pdf, other]

Title: Separate, Measure and Conquer: Faster Algorithms for Max 2-CSP and Counting Dominating Sets

Serge Gaspers, Gregory B. Sorkin

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

[127] arXiv:1404.0760 [pdf, other]

Title: Information Flow Decomposition in Feedback Systems: General Case Study

Bertrand Wechsler, Dan Eilat, Nicolas Limal

Comments: 10 pages, 1 figure. Seminar Report

Subjects: Information Theory (cs.IT)

[128] arXiv:1404.0766 [pdf, other]

Title: Ornstein Isomorphism and Algorithmic Randomness

Mrinalkanti Ghosh, Satyadev Nandakumar, Atanu Pal

Subjects: Information Theory (cs.IT)

[129] arXiv:1404.0774 [pdf, other]

Title: GPU Accelerated Fractal Image Compression for Medical Imaging in Parallel Computing Platform

Md. Enamul Haque, Abdullah Al Kaisan, Mahmudur R Saniat, Aminur Rahman

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computer Vision and Pattern Recognition (cs.CV)

[130] arXiv:1404.0780 [pdf, other]

Title: Randomized Broadcast in Radio Networks with Collision Detection

Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[131] arXiv:1404.0781 [pdf, other]

Title: Resistance of Statistical Attacks of Parastrophic Quasigroup Transformation

Verica Bakeva, Aleksandra Popovska-Mitrovikj, Vesna Dimitrova

Subjects: Cryptography and Security (cs.CR)

[132] arXiv:1404.0783 [pdf, other]

Title: Task Assignment in Tree-Like Hierarchical Structures

Cem Evrendilek, Ismail Hakki Toroslu, Sasan Hashemi

Subjects: Data Structures and Algorithms (cs.DS)

[133] arXiv:1404.0789 [pdf, other]

Title: The Least Wrong Model Is Not in the Data

Oscar Stiffelman

Comments: added citations and acknowledgements, and replaced the ideal model section with a more intuitive argument

Subjects: Machine Learning (cs.LG)

[134] arXiv:1404.0798 [pdf, other]

Title: Breadth-first serialisation of trees and rational languages

Victor Marsault, Jacques Sakarovitch

Comments: 15 pages

Subjects: Formal Languages and Automata Theory (cs.FL)

[135] arXiv:1404.0799 [pdf, other]

Title: Threesomes, Degenerates, and Love Triangles

Allan Grønlund, Seth Pettie

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

[136] arXiv:1404.0807 [pdf, other]

Title: Maximizing Profit in Green Cellular Networks through Collaborative Games

Cosimo Anglano, Marco Guazzone, Matteo Sereno

Comments: Added publisher info and citation notice

Journal-ref: Computer Networks Volume 75, Part A, 2014, Pages 260-275

Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)

[137] arXiv:1404.0812 [pdf, other]

Title: A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces

Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson

Comments: 29 pages, 12 figures

Subjects: Numerical Analysis (math.NA)

[138] arXiv:1404.0818 [pdf, other]

Title: Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth

Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk, Saket Saurabh

Comments: Full version of a paper presented at FOCS 2014

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

[139] arXiv:1404.0832 [pdf, other]

Title: Multiple Access Channels with Combined Cooperation and Partial Cribbing

Tal Kopetz, Haim Permuter, Shlomo Shamai (Shitz)

Subjects: Information Theory (cs.IT)

[140] arXiv:1404.0834 [pdf, other]

Title: Expectations or Guarantees? I Want It All! A crossroad between games and MDPs

Véronique Bruyère (Université de Mons, Belgium), Emmanuel Filiot (Université Libre de Bruxelles, Belgium), Mickael Randour (Université de Mons, Belgium), Jean-François Raskin (Université Libre de Bruxelles, Belgium)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 1-8

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

[141] arXiv:1404.0835 [pdf, other]

Title: Games for the Strategic Influence of Expectations

Lluís Godo (IIIA - CSIC), Enrico Marchioni (IRIT - UPS)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 9-15

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[142] arXiv:1404.0836 [pdf, other]

Title: On Defendability of Security Properties

Wojciech Jamroga (University of Luxembourg), Matthijs Melissen (University of Birmingham), Henning Schnoor (University of Kiel)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 17-25

Subjects: Cryptography and Security (cs.CR); Computer Science and Game Theory (cs.GT)

[143] arXiv:1404.0837 [pdf, other]

Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Francesco Belardinelli (Université d'Evry)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 27-33

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

[144] arXiv:1404.0838 [pdf, other]

Title: An Epistemic Strategy Logic (Extended Abstract)

Xiaowei Huang (University of New South Wales, Australia), Ron van der Meyden (University of New South Wales, Australia)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 35-41

Subjects: Logic in Computer Science (cs.LO)

[145] arXiv:1404.0839 [pdf, other]

Title: Nash Equilibria in Symmetric Games with Partial Observation

Patricia Bouyer (LSV -- CNRS & ENS Cachan), Nicolas Markey (LSV -- CNRS & ENS Cachan), Steen Vester (DTU, Kgs. Lyngby)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 49-55

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[146] arXiv:1404.0840 [pdf, other]

Title: Refining and Delegating Strategic Ability in ATL

Dimitar P. Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 57-63

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[147] arXiv:1404.0841 [pdf, other]

Title: A Resolution Prover for Coalition Logic

Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 65-73

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

[148] arXiv:1404.0842 [pdf, other]

Title: Efficient Decomposition of Bimatrix Games (Extended Abstract)

Xiang Jiang (University of Cambridge), Arno Pauly (University of Cambridge)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 75-81

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

[149] arXiv:1404.0843 [pdf, other]

Title: First Cycle Games

Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 83-90

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[150] arXiv:1404.0844 [pdf, other]

Title: Automata Techniques for Epistemic Protocol Synthesis

Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 97-103

Subjects: Logic in Computer Science (cs.LO)

[151] arXiv:1404.0845 [pdf, other]

Title: Partial Preferences for Mediated Bargaining

Piero A. Bonatti (D.I.E.T.I. Università di Napoli Federico II), Marco Faella (D.I.E.T.I. Università di Napoli Federico II), Luigi Sauro (D.I.E.T.I. Università di Napoli Federico II)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 105-111

Subjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[152] arXiv:1404.0846 [pdf, other]

Title: Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 1-15

Subjects: Software Engineering (cs.SE)

[153] arXiv:1404.0847 [pdf, other]

Title: Execution Time Analysis for Industrial Control Applications

Stefan Stattelmann (ABB Corporate Research, Ladenburg, Germany), Manuel Oriol (ABB Corporate Research, Baden-Dättwil, Switzerland), Thomas Gamer (ABB Corporate Research, Ladenburg, Germany)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 16-31

Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)

[154] arXiv:1404.0848 [pdf, other]

Title: Component Substitution through Dynamic Reconfigurations

Arnaud Lanoix (LINA CNRS and Nantes University), Olga Kouchnarenko (FEMTO-ST CNRS and University of Franche-Comté)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 32-46

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

[155] arXiv:1404.0849 [pdf, other]

Title: Comprehensive Monitor-Oriented Compensation Programming

Christian Colombo (University of Malta), Gordon J. Pace (University of Malta)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 47-61

Subjects: Software Engineering (cs.SE)

[156] arXiv:1404.0850 [pdf, other]

Title: Application of Ontologies in Identifying Requirements Patterns in Use Cases

Rui Couto (University of Minho), António Nestor Ribeiro (University of Minho), José Creissac Campos (University of Minho)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 62-76

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

[157] arXiv:1404.0851 [pdf, other]

Title: A model-driven approach to broaden the detection of software performance antipatterns at runtime

Antinisca Di Marco (University of L'Aquila), Catia Trubiani (University of L'Aquila)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 77-92

Subjects: Software Engineering (cs.SE); Performance (cs.PF)

[158] arXiv:1404.0852 [pdf, other]

Title: Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Faiz UL Muram, Huy Tran, Uwe Zdun

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 93-107

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

[159] arXiv:1404.0853 [pdf, other]

Title: Correct-by-construction model composition: Application to the Invasive Software Composition method

Mounira Kezadri Hamiaz (Université de Toulouse, IRIT, France), Marc Pantel (Université de Toulouse, IRIT, France), Benoît Combemale (Université de Rennes 1, IRISA, France), Xavier Thirioux (Université de Toulouse, IRIT, France)

Comments: In Proceedings FESCA 2014, arXiv:1404.0436

Journal-ref: EPTCS 147, 2014, pp. 108-122

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

[160] arXiv:1404.0854 [pdf, other]

Title: Enabling Automatic Certification of Online Auctions

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)

[161] arXiv:1404.0855 [pdf, other]

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

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)

[162] arXiv:1404.0864 [pdf, other]

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

Kangqi Liu, Meixia Tao, Dingcheng Yang

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

Subjects: Information Theory (cs.IT)

[163] arXiv:1404.0868 [pdf, other]

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

Jun He, Feidun He, Hongbin Dong

Subjects: Neural and Evolutionary Computing (cs.NE)

[164] arXiv:1404.0900 [pdf, other]

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

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)

[165] arXiv:1404.0906 [pdf, other]

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

Zoran Hadzi-Velkov, Nikola Zlatanov, Robert Schober

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

Subjects: Information Theory (cs.IT)

[166] arXiv:1404.0933 [pdf, other]

Title: Bayes and Naive Bayes Classifier

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

Subjects: Machine Learning (cs.LG)

[167] arXiv:1404.0934 [pdf, other]

Title: Map Route Ranking with Weighted Distance using Environmental Factors

Jiyi Li

Comments: 2 pages, 3 figures, 1 table

Subjects: Human-Computer Interaction (cs.HC)

[168] arXiv:1404.0948 [pdf, other]

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

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

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

[169] arXiv:1404.0953 [pdf, other]

Title: Implementing Anti-Unification Modulo Equational Theory

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)

[170] arXiv:1404.0956 [pdf, other]

Title: Expressiveness via Intensionality and Concurrency

Thomas Given-Wilson

Comments: 18 pages, to appear in ICTAC 2014

Subjects: Logic in Computer Science (cs.LO)

[171] arXiv:1404.0963 [pdf, other]

Title: Multilevel Sparse Grid Methods for Elliptic Partial Differential Equations with Random Coefficients

Hans-Werner van Wyk

Subjects: Numerical Analysis (math.NA)

[172] arXiv:1404.0964 [pdf, other]

Title: Distributed Hypothesis Testing with Social Learning and Symmetric Fusion

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)

[173] arXiv:1404.0965 [pdf, other]

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

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

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

Subjects: Information Theory (cs.IT)

[174] arXiv:1404.0967 [pdf, other]

Title: Binary pattern tile set synthesis is NP-hard

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

Subjects: Computational Complexity (cs.CC)

[175] arXiv:1404.0969 [pdf, other]

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

Yan Liu

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

Subjects: Information Theory (cs.IT)

[176] arXiv:1404.0971 [pdf, other]

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

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

Comments: submitted to ASMS 2014

Subjects: Information Theory (cs.IT)

[177] arXiv:1404.0972 [pdf, other]

Title: A Model Reduction Framework for Efficient Simulation of Li-Ion Batteries

Mario Ohlberger, Stephan Rave, Sebastian Schmidt, Shiquan Zhang

Comments: 7 pages, 2 figures, 2 tables

Subjects: Numerical Analysis (math.NA)

[178] arXiv:1404.0975 [pdf, other]

Title: Analysis of Petri Net Models through Stochastic Differential Equations

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

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

[179] arXiv:1404.0977 [pdf, other]

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

Shay Mozes, Yahav Nussbaum, Oren Weimann

Subjects: Data Structures and Algorithms (cs.DS)

[180] arXiv:1404.0979 [pdf, other]

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

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)

[181] arXiv:1404.0981 [pdf, other]

Title: New Julia and Mandelbrot Sets for Jungck Ishikawa Iterates

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)

[182] arXiv:1404.0987 [pdf, other]

Title: Graphical representation of separatrices of attraction basins in two and three dimensional dynamical systems

Roberto Cavoretto, Alessandra De Rossi, Emma Perracchione, Ezio Venturino

Subjects: Numerical Analysis (math.NA)

[183] arXiv:1404.1008 [pdf, other]

Title: Spectral concentration and greedy k-clustering

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)

[184] arXiv:1404.1009 [pdf, other]

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

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)

[185] arXiv:1404.1056 [pdf, other]

Title: Online bin packing with cardinality constraints revisited

Gyorgy Dosa, Leah Epstein

Subjects: Data Structures and Algorithms (cs.DS)

[186] arXiv:1404.1059 [pdf, other]

Title: Minimum total weighted completion time: Faster approximation schemes

Leah Epstein, Asaf Levin

Subjects: Data Structures and Algorithms (cs.DS)

[187] arXiv:1404.1066 [pdf, other]

Title: Parallel Support Vector Machines in Practice

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

Comments: 10 pages

Subjects: Machine Learning (cs.LG)

[188] arXiv:1404.1068 [pdf, other]

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

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)

[189] arXiv:1404.1087 [pdf, other]

Title: Dynamic Windows Scheduling with Reallocation

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

Comments: 6 figures

Subjects: Data Structures and Algorithms (cs.DS)

[190] arXiv:1404.1097 [pdf, other]

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

Sungjin Im, Janardhan Kulkarni, Kamesh Munagala

Comments: Accepted for publication in STOC 2014

Subjects: Data Structures and Algorithms (cs.DS)

[191] arXiv:1404.1100 [pdf, other]

Title: A Tutorial on Principal Component Analysis

Jonathon Shlens

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

[192] arXiv:1404.1102 [pdf, other]

Title: A matrix method based on the Fibonacci polynomials to the generalized pantograph equations with functional arguments

Ayse Betul Koc, Musa Cakmak, Aydin Kurnaz

Comments: 9 Pages, 3 Tables

Subjects: Numerical Analysis (math.NA)

[193] arXiv:1404.1103 [pdf, other]

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

Daniel M. Kane

Subjects: Computational Complexity (cs.CC)

[194] arXiv:1404.1107 [pdf, other]

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

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)

[195] arXiv:1404.1108 [pdf, other]

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

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)

[196] arXiv:1404.1112 [pdf, other]

Title: Duration-Differentiated Services in Electricity

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

Subjects: Systems and Control (eess.SY)

[197] arXiv:1404.1113 [pdf, other]

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

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

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

[198] arXiv:1404.1116 [pdf, other]

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

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)

[199] arXiv:1404.1124 [pdf, other]

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

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)

[200] arXiv:1404.1129 [pdf, other]

Title: An Efficient Two-Stage Sparse Representation Method

Chengyu Peng, Hong Cheng, Manchor Ko

Comments: 21 pages, 2 figures, 4 tables

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