Computer Science

Authors and titles for Apr 2014, skipping first 100

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

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

Authors: 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)

[102]  arXiv:1404.0640 [pdf, ps, other]

Title: Conceptive Artificial Intelligence: Insights from design theory

Authors: Akin Osman Kazakci (CGS)

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

Subjects: Artificial Intelligence (cs.AI)

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

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

Authors: Julien Cassaigne, Vesa Halava, Tero Harju, Francois Nicolas

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

[104]  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

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

Comments: 13 pages

Subjects: Machine Learning (cs.LG)

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

Title: Two Structural Results for Low Degree Polynomials and Applications

Authors: Gil Cohen, Avishay Tal

Subjects: Computational Complexity (cs.CC)

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

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

Authors: 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)

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

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

Authors: YounSun Cho

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

[108]  arXiv:1404.0665 [pdf, ps, other]

Title: Security Analyses of Quantum Communication Protocols

Authors: 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)

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

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

Authors: Hammurabi Mendes, Sorin Istrail

Comments: Submitted for peer review

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

[110]  arXiv:1404.0695 [pdf, other]

Title: Multi-objective Flower Algorithm for Optimization

Authors: 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)

[111]  arXiv:1404.0696 [pdf, ps, other]

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

Authors: 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)

[112]  arXiv:1404.0698 [pdf, other]

Title: Adaptability Checking in Multi-Level Complex Systems

Authors: Emanuela Merelli, Nicola Paoletti, Luca Tesei

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

Subjects: Software Engineering (cs.SE)

[113]  arXiv:1404.0703 [pdf, other]

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

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

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

[114]  arXiv:1404.0708 [pdf, ps, other]

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

Authors: 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)

[115]  arXiv:1404.0718 [pdf, ps, other]

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

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

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

[116]  arXiv:1404.0736 [pdf, other]

Title: Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation

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

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

[117]  arXiv:1404.0743 [pdf, other]

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

Authors: Geoffrey Irving

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

[118]  arXiv:1404.0753 [pdf, other]

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

Authors: Serge Gaspers, Gregory B. Sorkin

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

[119]  arXiv:1404.0760 [pdf, other]

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

Authors: Bertrand Wechsler, Dan Eilat, Nicolas Limal

Comments: 10 pages, 1 figure. Seminar Report

Subjects: Information Theory (cs.IT)

[120]  arXiv:1404.0766 [pdf, ps, other]

Title: Ornstein Isomorphism and Algorithmic Randomness

Authors: Mrinalkanti Ghosh, Satyadev Nandakumar, Atanu Pal

Subjects: Information Theory (cs.IT)

[121]  arXiv:1404.0774 [pdf, other]

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

Authors: 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)

[122]  arXiv:1404.0780 [pdf, ps, other]

Title: Randomized Broadcast in Radio Networks with Collision Detection

Authors: Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian

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

[123]  arXiv:1404.0781 [pdf, ps, other]

Title: Resistance of Statistical Attacks of Parastrophic Quasigroup Transformation

Authors: Verica Bakeva, Aleksandra Popovska-Mitrovikj, Vesna Dimitrova

Subjects: Cryptography and Security (cs.CR)

[124]  arXiv:1404.0783 [pdf, other]

Title: Task Assignment in Tree-Like Hierarchical Structures

Authors: Cem Evrendilek, Ismail Hakki Toroslu, Sasan Hashemi

Subjects: Data Structures and Algorithms (cs.DS)

[125]  arXiv:1404.0789 [pdf, ps, other]

Title: The Least Wrong Model Is Not in the Data

Authors: Oscar Stiffelman

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

Subjects: Machine Learning (cs.LG)

[126]  arXiv:1404.0798 [pdf, other]

Title: Breadth-first serialisation of trees and rational languages

Authors: Victor Marsault, Jacques Sakarovitch

Comments: 15 pages

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

[127]  arXiv:1404.0799 [pdf, other]

Title: Threesomes, Degenerates, and Love Triangles

Authors: Allan Grønlund, Seth Pettie

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

[128]  arXiv:1404.0807 [pdf, ps, other]

Title: Maximizing Profit in Green Cellular Networks through Collaborative Games

Authors: 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)

[129]  arXiv:1404.0818 [pdf, other]

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

Authors: 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)

[130]  arXiv:1404.0832 [pdf, ps, other]

Title: Multiple Access Channels with Combined Cooperation and Partial Cribbing

Authors: Tal Kopetz, Haim Permuter, Shlomo Shamai (Shitz)

Subjects: Information Theory (cs.IT)

[131]  arXiv:1404.0834 [pdf, other]

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

Authors: 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)

[132]  arXiv:1404.0835 [pdf, ps, other]

Title: Games for the Strategic Influence of Expectations

Authors: 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)

[133]  arXiv:1404.0836 [pdf, ps, other]

Title: On Defendability of Security Properties

Authors: 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)

[134]  arXiv:1404.0837 [pdf, other]

Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Authors: 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)

[135]  arXiv:1404.0838 [pdf, other]

Title: An Epistemic Strategy Logic (Extended Abstract)

Authors: 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)

[136]  arXiv:1404.0839 [pdf, other]

Title: Nash Equilibria in Symmetric Games with Partial Observation

Authors: 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)

[137]  arXiv:1404.0840 [pdf, ps, other]

Title: Refining and Delegating Strategic Ability in ATL

Authors: 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)

[138]  arXiv:1404.0841 [pdf, other]

Title: A Resolution Prover for Coalition Logic

Authors: 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)

[139]  arXiv:1404.0842 [pdf, other]

Title: Efficient Decomposition of Bimatrix Games (Extended Abstract)

Authors: 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)

[140]  arXiv:1404.0843 [pdf, ps, other]

Title: First Cycle Games

Authors: 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)

[141]  arXiv:1404.0844 [pdf, ps, other]

Title: Automata Techniques for Epistemic Protocol Synthesis

Authors: 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)

[142]  arXiv:1404.0845 [pdf, ps, other]

Title: Partial Preferences for Mediated Bargaining

Authors: 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)

[143]  arXiv:1404.0846 [pdf, other]

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

Authors: 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)

[144]  arXiv:1404.0847 [pdf, other]

Title: Execution Time Analysis for Industrial Control Applications

Authors: 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)

[145]  arXiv:1404.0848 [pdf, other]

Title: Component Substitution through Dynamic Reconfigurations

Authors: 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)

[146]  arXiv:1404.0849 [pdf, other]

Title: Comprehensive Monitor-Oriented Compensation Programming

Authors: 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)

[147]  arXiv:1404.0850 [pdf, other]

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

Authors: 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)

[148]  arXiv:1404.0851 [pdf, other]

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

Authors: 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)

[149]  arXiv:1404.0852 [pdf, other]

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

Authors: 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)

[150]  arXiv:1404.0853 [pdf, other]

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

Authors: 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)