Computer Science

Authors and titles for July 2011

[301] arXiv:1107.2822 [pdf, other]

Title: A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis

Baris Sertkaya

Comments: Invited paper that appeared in the Proceedings of the 7th International Conference on Concept Lattices and Their Applications, (CLA 2010)

Journal-ref: Proceedings of the 7th International Conference on Concept Lattices and Their Applications, (CLA 2010), volume 672 of CEUR Workshop Proceedings, pages 2-21. 2010

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

[302] arXiv:1107.2831 [pdf, other]

Title: A Block Solver for the Exponentially Fitted IIPG-0 method

Blanca Ayuso de Dios, Ariel Lombardi, Paola Pietra, Ludmil Zikatanov

Comments: 8 pages, 2 figures, 2 tables

Subjects: Numerical Analysis (math.NA)

[303] arXiv:1107.2859 [pdf, other]

Title: Label-Specific Training Set Construction from Web Resource for Image Annotation

Jinhui Tang, Shuicheng Yan, Tat-Seng Chua, Ramesh Jain

Comments: 4 pages, 5 figures

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

[304] arXiv:1107.2867 [pdf, other]

Title: A Two Stage Selective Averaging LDPC Decoding

A. Dinesh Kumar, Ambedkar Dukkipati

Comments: 5 pages, 4 figures

Subjects: Information Theory (cs.IT)

[305] arXiv:1107.2869 [pdf, other]

Title: Optimization with Demand Oracles

Ashwinkumar Badanidiyuru, Shahar Dobzinski, Sigal Oren

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

[306] arXiv:1107.2900 [pdf, other]

Title: Network Congestion Control with Markovian Multipath Routing

Roberto Cominetti, Cristobal Guzman

Comments: 10 pages, 2 figures. Published at NETGCOOP 2011, and Mathematical Programming Series A. Final version available at this http URL

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

[307] arXiv:1107.2949 [pdf, other]

Title: Geometric Packing under Non-uniform Constraints

Alina Ene, Sariel Har-Peled, Benjamin Raichel

Subjects: Computational Geometry (cs.CG)

[308] arXiv:1107.2957 [pdf, other]

Title: Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines

Lisa Fleischer, Zhenghui Wang

Subjects: Computer Science and Game Theory (cs.GT)

[309] arXiv:1107.2972 [pdf, other]

Title: An MCMC Approach to Universal Lossy Compression of Analog Sources

Dror Baron, Tsachy Weissman

Comments: 21 pages, submitted for publication

Subjects: Information Theory (cs.IT)

[310] arXiv:1107.2983 [pdf, other]

Title: Fractal Structure of Equipotential Curves on a Continuum Percolation Model

Shigeki Matsutani, Yoshiyuki Shimosako, Yunhong Wang

Comments: 17 pages 7 figures

Subjects: Numerical Analysis (math.NA); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)

[311] arXiv:1107.2984 [pdf, other]

Title: An Introductory Review of Information Theory in the Context of Computational Neuroscience

Mark D. McDonnell, Shiro Ikeda, Jonathan H. Manton

Comments: 18 pages, 7 figures, to appear in Biological Cybernetics

Journal-ref: Biological Cybernetics, 105(1), 1-16, 2011

Subjects: Information Theory (cs.IT)

[312] arXiv:1107.2990 [pdf, other]

Title: Solving the At-Most-Once Problem with Nearly Optimal Effectiveness

Sotirios Kentros, Aggelos Kiayias

Comments: Updated Version. A Brief Announcement was published in PODC 2011. An Extended Abstract was published in the proceeding of ICDCN 2012. A full version was published in Theoretical Computer Science, Volume 496, 22 July 2013, Pages 69 - 88

Journal-ref: Theoretical Computer Science, Volume 496, 22 July 2013, Pages 69-88, ISSN 0304-3975

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

[313] arXiv:1107.2994 [pdf, other]

Title: Budget Feasible Mechanism Design via Random Sampling

Xiaohui Bei, Ning Chen, Nick Gravin, Pinyan Lu

Comments: Updated version please refer to https://arxiv.boxedpaper.com/abs/1203.4455

Subjects: Computer Science and Game Theory (cs.GT)

[314] arXiv:1107.2997 [pdf, other]

Title: An Ontology-driven Framework for Supporting Complex Decision Process

Junyi Chai, James N.K. Liu

Comments: Paper presented at the 2010 World Automation Congress

Subjects: Artificial Intelligence (cs.AI)

[315] arXiv:1107.3013 [pdf, other]

Title: Linear-Time Poisson-Disk Patterns

Thouis R. Jones, David R. Karger

Comments: 4 pages, 2 figures

Subjects: Graphics (cs.GR)

[316] arXiv:1107.3019 [pdf, other]

Title: Computing q-gram Frequencies on Collage Systems

Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda

Subjects: Data Structures and Algorithms (cs.DS)

[317] arXiv:1107.3022 [pdf, other]

Title: Computing q-gram Non-overlapping Frequencies on SLP Compressed Texts

Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda

Subjects: Data Structures and Algorithms (cs.DS)

[318] arXiv:1107.3031 [pdf, other]

Title: On the mathematical synthesis of equational logics

Marcelo Fiore (University of Cambridge, Computer Laboratory), Chung-Kil Hur (Universite Paris Diderot - Paris 7, Laboratoire PPS)

Comments: Final version for publication in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 8, 2011) lmcs:1071

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)

[319] arXiv:1107.3047 [pdf, other]

Title: Security Analysis of two Distance-Bounding Protocols

Mohammad Reza Sohizadeh Abyaneh

Comments: This paper is withdrwan due to duplication in DBLP site

Subjects: Cryptography and Security (cs.CR)

[320] arXiv:1107.3059 [pdf, other]

Title: From Small-World Networks to Comparison-Based Search

Amin Karbasi, Stratis Ioannidis, Laurent Massoulie

Comments: 42 pages

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[321] arXiv:1107.3068 [pdf, other]

Title: Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal

Stefan Kratsch, Magnus Wahlström

Comments: Minor changes to agree with SODA 2012 version of the paper

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

[322] arXiv:1107.3087 [pdf, other]

Title: Non-equilibrium Information Envelopes and the Capacity-Delay-Error-Tradeoff of Source Coding

Ralf Lübben, Markus Fidler

Subjects: Performance (cs.PF); Information Theory (cs.IT)

[323] arXiv:1107.3090 [pdf, other]

Title: On the Computational Complexity of Stochastic Controller Optimization in POMDPs

Nikos Vlassis, Michael L. Littman, David Barber

Comments: Corrected error in the proof of Theorem 2, and revised Section 5

Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)

[324] arXiv:1107.3093 [pdf, other]

Title: ReactionKinetics---A Mathematica Package with Applications I. Requirements for a Reaction Kinetics Package

J. Tóth, A. L. Nagy, D. Papp

Comments: 9 pages, 5 figures

Subjects: Numerical Analysis (math.NA)

[325] arXiv:1107.3098 [pdf, other]

Title: ReactionKinetics - A Mathematica package with applications II. Computational problems when building a reaction kinetics package

A. L. Nagy, D. Papp, J. Tóth

Comments: 9 pages, 10 figures

Subjects: Numerical Analysis (math.NA)

[326] arXiv:1107.3099 [pdf, other]

Title: Algorithm for Optimal Mode Scheduling in Switched Systems

Yorai Wardi, Magnus Egerstedt

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[327] arXiv:1107.3119 [pdf, other]

Title: Experimenting with Transitive Verbs in a DisCoCat

Edward Grefenstette, Mehrnoosh Sadrzadeh

Comments: 5 pages, to be presented at GEMS 2011, as part of EMNLP'11 workshops

Subjects: Computation and Language (cs.CL); Category Theory (math.CT)

[328] arXiv:1107.3127 [pdf, other]

Title: A Satisfiability Algorithm for AC$^0$

Russell Impagliazzo, William Matthews, Ramamohan Paturi

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

[329] arXiv:1107.3129 [pdf, other]

Title: Homomorphic Self-repairing Codes for Agile Maintenance of Distributed Storage Systems

Frederique Oggier, Anwitaman Datta

Comments: arXiv admin note: significant text overlap with arXiv:1008.0064

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

[330] arXiv:1107.3166 [pdf, other]

Title: Stable, scalable, decentralized P2P file sharing with non-altruistic peers

Barlas Oğuz, Venkat Anantharam, Ilkka Norros

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI); Systems and Control (eess.SY)

[331] arXiv:1107.3172 [pdf, other]

Title: Use of Hamiltonian Cycles in Cryptograph

Hsieh WenBin, Leu Jenq-Shiou

Comments: This paper has been withdrawn by the authors

Subjects: Information Theory (cs.IT)

[332] arXiv:1107.3174 [pdf, other]

Title: On the infeasibility of entanglement generation in Gaussian quantum systems via classical control

H.I. Nurdin, I.R. Petersen, M.R. James

Comments: 6 pages, 3 figures. To appear in IEEE Transactions on Automatic Control, 2011

Journal-ref: IEEE Transactions on Automatic Control, 57(1), pp. 198-203, January 2012

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Quantum Physics (quant-ph)

[333] arXiv:1107.3177 [pdf, other]

Title: Convergence of Weighted Min-Sum Decoding Via Dynamic Programming on Trees

Yung-Yih Jian, Henry D. Pfister

Comments: 43 pages, 3 figures

Subjects: Information Theory (cs.IT)

[334] arXiv:1107.3193 [pdf, other]

Title: Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming

Chengpu Wang

Comments: 13 pages, 10 figures

Subjects: Programming Languages (cs.PL)

[335] arXiv:1107.3194 [pdf, other]

Title: Fingerprint recognition using standardized fingerprint model

Le Hoang Thai, Ha Nhat Tam

Comments: 7 pages, 16 figures, 3 tables, IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 3, No 7, May 2010

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 3, No 7, May 2010, ISSN (Online): 1694-0784, ISSN (Print): 1694-0814

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

[336] arXiv:1107.3195 [pdf, other]

Title: Facial Expression Classification Based on Multi Artificial Neural Network and Two Dimensional Principal Component Analysis

Thai Le, Phat Tat, Hai Tran

Comments: 8 pages, 16 figures, IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011, ISSN (Online): 1694-0814, www.IJCSI.org

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

[337] arXiv:1107.3197 [pdf, other]

Title: Cooperative oligopoly games: a probabilistic approach

Paraskevas V. Lekeas, Giorgos Stamatopoulos

Subjects: Computer Science and Game Theory (cs.GT)

[338] arXiv:1107.3198 [pdf, other]

Title: Strategic delegation in a sequential model with multiple stages

Paraskevas V. Lekeas, Giorgos Stamatopoulos

Comments: To appear in International Game Theory Review (IGTR), Vol. 13, No. 3 (2011) 1-12

Subjects: Computer Science and Game Theory (cs.GT)

[339] arXiv:1107.3199 [pdf, other]

Title: Performance Guarantee under Longest-Queue-First Schedule in Wireless Networks

Bo Li, Cem Boyaci, Ye Xia

Comments: 27 pages, 7 figures

Subjects: Information Theory (cs.IT)

[340] arXiv:1107.3201 [pdf, other]

Title: Estimation of Characteristics of a Software Team for Implementing Effective Inspection Process through Inspection Performance Metric

T.R.Gopalakrishnan Nair, Suma. V

Comments: 24 pages, 13 figures

Journal-ref: American Society for Quality (ASQ) Journal, Software Quality Professional, Volume 13, Issue 2, March 2011

Subjects: Software Engineering (cs.SE)

[341] arXiv:1107.3209 [pdf, other]

Title: Large Formal Wikis: Issues and Solutions

Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban

Comments: To appear in The Conference of Intelligent Computer Mathematics: CICM 2011

Journal-ref: Intelligent Computer Mathematics 2011, LNCS 6824, pp. 149-165

Subjects: Digital Libraries (cs.DL)

[342] arXiv:1107.3212 [pdf, other]

Title: Licensing the Mizar Mathematical Library

Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane

Comments: To appear in The Conference of Intelligent Computer Mathematics: CICM 2011

Journal-ref: Intelligent Computer Mathematics 2011, LNCS 6824, pp. 133-148

Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS)

[343] arXiv:1107.3217 [pdf, other]

Title: Cloud Computing Future Framework for e-management of NGO's

Harjit Singh Lamba, Gurdev Singh

Comments: Eight pages,Three figures

Subjects: Other Computer Science (cs.OH)

[344] arXiv:1107.3225 [pdf, other]

Title: An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems

Luis Antonio de Santa-Eulalia, Sophie D'Amours, Jean-Marc Frayret

Comments: In: International Journal of Computer Science Issues, Volume 8, Issue 3, May 2011, p.7-18, ISSN 1694-0814

Subjects: Multiagent Systems (cs.MA)

[345] arXiv:1107.3229 [pdf, other]

Title: Feed drive modelling for the simulation of tool path tracking in multi-axis High Speed Machining

David Prévost (LURPA), Sylvain Lavernhe (LURPA), Claire Lartigue (LURPA), Didier Dumur

Journal-ref: International Journal of Mechatronics and Manufacturing Systems 4, 3-4 (2011) 266-284

Subjects: Other Computer Science (cs.OH)

[346] arXiv:1107.3231 [pdf, other]

Title: Triangles to Capture Social Cohesion

Adrien Friggeri (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI), Guillaume Chelius (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI), Eric Fleury (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI)

Journal-ref: N° RR-7686 (2011)

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[347] arXiv:1107.3245 [pdf, other]

Title: Quantum information approach to normal representation of extensive games

Piotr Frackiewicz

Subjects: Computer Science and Game Theory (cs.GT)

[348] arXiv:1107.3253 [pdf, other]

Title: Spatially-Coupled Codes and Threshold Saturation on Intersymbol-Interference Channels

Phong S. Nguyen, Arvind Yedla, Henry D. Pfister, Krishna R. Narayanan

Comments: 30 pages, 10 figures

Subjects: Information Theory (cs.IT)

[349] arXiv:1107.3258 [pdf, other]

Title: On Learning Discrete Graphical Models Using Greedy Methods

Ali Jalali, Chris Johnson, Pradeep Ravikumar

Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

[350] arXiv:1107.3268 [pdf, other]

Title: Complex Orthogonal Designs with Forbidden $2 \times 2$ Submatrices

Yuan Li, Haibin Kan

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)