Computer Science

Authors and titles for March 2009

[151] arXiv:0903.2015 [pdf, other]

Title: Deposition and Extension Approach to Find Longest Common Subsequence for Multiple Sequences

Kang Ning

Comments: 25 pages, 6 figures. Ready to be submitted

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

[152] arXiv:0903.2016 [pdf, other]

Title: Proof of a Conjecture on the Sequence of Exceptional Numbers, Classifying Cyclic Codes and APN Functions

Fernando Hernando, Gary McGuire

Journal-ref: Journal of Algebra, Volume 343, Issue 1, October 2011, Pages 78-92

Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG)

[153] arXiv:0903.2100 [pdf, other]

Title: Partitions versus sets : a case of duality

Laurent Lyaudet (LIP), Frédéric Mazoit (LaBRI), Stephan Thomasse (LIRMM)

Journal-ref: European Journal of Combinatorics (2009) 1-7

Subjects: Discrete Mathematics (cs.DM)

[154] arXiv:0903.2101 [pdf, other]

Title: Combinatorial Deformations of Algebras: Twisting and Perturbations

Gérard Henry Edmond Duchamp (LIPN), Christophe Tollu (LIPN), K. A. Penson (LPTMC), Gleb Koshevoy (CEMI)

Subjects: Symbolic Computation (cs.SC); Mathematical Physics (math-ph); Combinatorics (math.CO)

[155] arXiv:0903.2108 [pdf, other]

Title: A new universal cellular automaton on the ternary heptagrid

Maurice Margenstern

Comments: 35 pages, 33 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Geometry (cs.CG)

[156] arXiv:0903.2119 [pdf, other]

Title: Adaptive Mesh Approach for Predicting Algorithm Behavior with Application to Visibility Culling in Computer Graphics

Matthias Fischer, Claudius Jähn, Martin Ziegler

Subjects: Performance (cs.PF); Graphics (cs.GR)

[157] arXiv:0903.2134 [pdf, other]

Title: Analysis of a Bloom Filter Algorithm via the Supermarket Model

Yousra Chabchoub, Christine Fricker, Hanene Mohamed

Subjects: Discrete Mathematics (cs.DM); Networking and Internet Architecture (cs.NI)

[158] arXiv:0903.2158 [pdf, other]

Title: Supernodal Analysis Revisited

Eberhard H.-A. Gerbracht

Comments: V1: documentclass IEEEtran, 5 pages, 6 figures. Re-release of the printed version, with some minor typographical errors corrected, abstract rewritten, and short CV according to IEEE standards added

Journal-ref: SMACD'04 Proceedings of the International Workshop on Symbolic Methods and Applications in Circuit Design, Wroclaw, Poland, 23-24 September 2004; pp. 113-116

Subjects: Symbolic Computation (cs.SC); Computational Engineering, Finance, and Science (cs.CE); Discrete Mathematics (cs.DM)

[159] arXiv:0903.2168 [pdf, other]

Title: Better Termination for Prolog with Constraints

Markus Triska, Ulrich Neumerkel, Jan Wielemaker

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[160] arXiv:0903.2171 [pdf, other]

Title: Role-Based Access Controls

David F. Ferraiolo, D. Richard Kuhn

Comments: pp. 554 - 563

Journal-ref: 15th National Computer Security Conference, Baltimore, MD. October 13-16, 1992

Subjects: Cryptography and Security (cs.CR)

[161] arXiv:0903.2174 [pdf, other]

Title: Game theory and the frequency selective interference channel - A tutorial

Amir Leshem, Ephi Zehavi

Journal-ref: IEEE Signal Processing Magazine. Special issue on applications of game theory in signal processing and communications. Volume 26, Issue 4, pages 28-40. Sep. 2009

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

[162] arXiv:0903.2177 [pdf, other]

Title: On the (semi)lattices induced by continuous reducibilities

Arno Pauly

Comments: this version of the paper is outdated, please consult the journal version

Journal-ref: Mathematical Logic Quarterly, 56(5): 488--502, 2010

Subjects: Logic in Computer Science (cs.LO)

[163] arXiv:0903.2188 [pdf, other]

Title: Rfuzzy framework

Victor Pablos Ceruelo, Susana Munoz-Hernandez, Hannes Strass

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

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

[164] arXiv:0903.2199 [pdf, other]

Title: On the Generation of Test Data for Prolog by Partial Evaluation

Miguel Gomez-Zamalloa, Elvira Albert, German Puebla

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[165] arXiv:0903.2202 [pdf, other]

Title: Improving Size-Change Analysis in Offline Partial Evaluation

Michael Leuschel, Salvador Tamarit, German Vidal

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL)

[166] arXiv:0903.2203 [pdf, other]

Title: Achievable Error Exponents for Channel with Side Information - Erasure and List Decoding

Erez Sabbag, Neri Merhav

Comments: Submitted to IEEE Trans. Inform. Theory, March 2009

Subjects: Information Theory (cs.IT)

[167] arXiv:0903.2205 [pdf, other]

Title: A Lightweight Combination of Semantics for Non-deterministic Functions

Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL)

[168] arXiv:0903.2207 [pdf, other]

Title: Prolog Visualization System Using Logichart Diagrams

Yoshihiro Adachi

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008, arXiv:0903.1598). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[169] arXiv:0903.2226 [pdf, other]

Title: On the achievable diversity-multiplexing tradeoff in interference channels

Cemal Akçaba, Helmut Bölcskei

Comments: 5 pages, 1 figure

Subjects: Information Theory (cs.IT)

[170] arXiv:0903.2232 [pdf, other]

Title: On the Iterative Decoding of High-Rate LDPC Codes With Applications in Compressed Sensing

Fan Zhang, Henry D. Pfister

Comments: accepted by IEEE Trans. on IT

Subjects: Information Theory (cs.IT)

[171] arXiv:0903.2243 [pdf, other]

Title: Pragmatic Information Rates, Generalizations of the Kelly Criterion, and Financial Market Efficiency

Edward D. Weinberger

Comments: Revised to clarify the text

Subjects: Information Theory (cs.IT); Portfolio Management (q-fin.PM); Trading and Market Microstructure (q-fin.TR)

[172] arXiv:0903.2251 [pdf, other]

Title: Constraint solving for high-level WCET analysis

Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

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

[173] arXiv:0903.2252 [pdf, other]

Title: A Semantics-Aware Editing Environment for Prolog in Eclipse

Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider

Comments: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[174] arXiv:0903.2265 [pdf, other]

Title: An Absolute 2-Approximation Algorithm for Two-Dimensional Bin Packing

Rolf Harren, Rob van Stee

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

[175] arXiv:0903.2272 [pdf, other]

Title: A Novel Approach for Compression of Images Captured using Bayer Color Filter Arrays

Sang-Yong Lee, Antonio Ortega

Subjects: Multimedia (cs.MM)

[176] arXiv:0903.2278 [pdf, other]

Title: Manipulating Scrip Systems: Sybils and Collusion

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern

Comments: 20 pages, 5 figures. To appear in the Proceedings of The First Conference on Auctions, Market Mechanisms and Their Applications (AMMA '09)

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

[177] arXiv:0903.2282 [pdf, other]

Title: Multiagent Learning in Large Anonymous Games

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern

Comments: 8 pages, 2 figures. To Appear in Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems

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

[178] arXiv:0903.2299 [pdf, other]

Title: Differential Contrastive Divergence

David McAllester

Comments: This paper was a rediscovery of known material

Subjects: Machine Learning (cs.LG)

[179] arXiv:0903.2310 [pdf, other]

Title: Analysis of the Relationships among Longest Common Subsequences, Shortest Common Supersequences and Patterns and its application on Pattern Discovery in Biological Sequences

Kang Ning, Hoong Kee Ng, Hon Wai Leong

Comments: Extended version of paper presented in IEEE BIBE 2006 submitted to journal for review

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Information Retrieval (cs.IR); Other Computer Science (cs.OH); Quantitative Methods (q-bio.QM)

[180] arXiv:0903.2315 [pdf, other]

Title: Design and Analysis of E2RC Codes

Cuizhu Shi, Aditya Ramamoorthy

Comments: To appear in IEEE Journal on Selected Areas in Communications, special issue on Capacity Approaching Codes, 2009

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

[181] arXiv:0903.2353 [pdf, other]

Title: Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry

Andy King

Comments: Paper presented as an invited talk at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

Subjects: Programming Languages (cs.PL)

[182] arXiv:0903.2382 [pdf, other]

Title: Infinite words without palindrome

Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot

Comments: 3 pages

Subjects: Discrete Mathematics (cs.DM)

[183] arXiv:0903.2410 [pdf, other]

Title: On tiered small jump operators

Jean-Yves Marion

Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 1 (March 31, 2009) lmcs:1146

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

[184] arXiv:0903.2426 [pdf, other]

Title: Relay Selection and Power Allocation in Cooperative Cellular Networks

Sachin Kadloor, Raviraj Adve

Comments: 20 Pages, 5 Figures, Submitted to IEEE Transactions on Wireless Communications

Subjects: Information Theory (cs.IT)

[185] arXiv:0903.2429 [pdf, other]

Title: Statistical mechanics of budget-constrained auctions

F. Altarelli, A. Braunstein, J. Realpe-Gomez, R. Zecchina

Comments: Minor revision

Journal-ref: JSTAT 2009;2009:P07002 (27pp)

Subjects: Computer Science and Game Theory (cs.GT); Statistical Mechanics (cond-mat.stat-mech); Physics and Society (physics.soc-ph)

[186] arXiv:0903.2445 [pdf, other]

Title: Qualitative Logics and Equivalences for Probabilistic Systems

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay

Comments: The paper is accepted for LMCS

Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 2 (May 4, 2009) lmcs:1082

Subjects: Logic in Computer Science (cs.LO)

[187] arXiv:0903.2448 [pdf, other]

Title: Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Mehrnoosh Sadrzadeh, Roy Dyckhoff

Comments: This paper is the full version of the article that is to appear in the ENTCS proceedings of the 25th conference on the Mathematical Foundations of Programming Semantics (MFPS), April 2009, University of Oxford

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[188] arXiv:0903.2471 [pdf, other]

Title: Cooperative Multiplexing: Toward Higher Spectral Efficiency in Multi-antenna Relay Networks

Yijia (Richard)Fan, Chao Wang, H. Vincent Poor, John S. Thompson

Comments: To appear in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[189] arXiv:0903.2499 [pdf, other]

Title: Parking functions, labeled trees and DCJ sorting scenarios

Aida Ouangraoua, Anne Bergeron

Comments: 12 pages, 3 figures

Subjects: Discrete Mathematics (cs.DM)

[190] arXiv:0903.2516 [pdf, other]

Title: Effect of Degree Distribution on Evolutionary Search

Susan Khor

Subjects: Neural and Evolutionary Computing (cs.NE)

[191] arXiv:0903.2525 [pdf, other]

Title: CloudSim: A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services

Rodrigo N. Calheiros, Rajiv Ranjan, Cesar A. F. De Rose, Rajkumar Buyya

Comments: 9 pages, 9 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS); Software Engineering (cs.SE)

[192] arXiv:0903.2528 [pdf, other]

Title: Airport Gate Assignment A Hybrid Model and Implementation

Chendong Li

Comments: 5 pages, 2 figures, submitted to IC-AI 2009

Subjects: Artificial Intelligence (cs.AI); Other Computer Science (cs.OH)

[193] arXiv:0903.2543 [pdf, other]

Title: Multi-Agent Crisis Response systems - Design Requirements and Analysis of Current Systems

Khaled M. Khalil, M. Abdel-Aziz, Taymour T. Nazmy, Abdel-Badeeh M. Salem

Comments: 6 pages, 1 figure, accepted at Fourth International Conference on Intelligent Computing and Information Systems 2009

Subjects: Multiagent Systems (cs.MA)

[194] arXiv:0903.2544 [pdf, other]

Title: To Click or not to Click? The Role of Contextualized and User-Centric Web Snippets

N. Zotos, P. Tzekou, G. Tsatsaronis, L. Kozanidis, S. Stamou, I. Varlamis

Comments: In proceedings of SIGIR 2007 Workshop on Focused Retrieval. 8 pages

Journal-ref: SIGIR 2007 Workshop on Focused Retrieval

Subjects: Information Retrieval (cs.IR)

[195] arXiv:0903.2554 [pdf, other]

Title: Bottom-up rewriting for words and terms

Irene Durand, Geraud Senizergues

Comments: 86 pages; long version to be cut into pieces for publication

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

[196] arXiv:0903.2598 [pdf, other]

Title: Generating Hierarchically Modular Networks via Link Switching

Susan Khor

Comments: Appendix B

Subjects: Other Computer Science (cs.OH)

[197] arXiv:0903.2641 [pdf, other]

Title: Multiscale Computations on Neural Networks: From the Individual Neuron Interactions to the Macroscopic-Level Analysis

Konstantinos G. Spiliotis, Constantinos I. Siettos

Journal-ref: Int. J. Bifurcation and Chaos 20 (1) 121-134 (2010)

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Neurons and Cognition (q-bio.NC)

[198] arXiv:0903.2653 [pdf, other]

Title: Capacity region of the deterministic multi-pair bi-directional relay network

Salman Avestimehr, Amin Khajehnejad, Aydin Sezgin, Babak Hassibi

Comments: Will be presented in the 2009 IEEE Information Theory Workshop on Networking and Information Theory

Subjects: Information Theory (cs.IT)

[199] arXiv:0903.2675 [pdf, other]

Title: Construction and Covering Properties of Constant-Dimension Codes

Maximilien Gadouleau, Zhiyuan Yan

Comments: 20 pages, submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[200] arXiv:0903.2682 [pdf, other]

Title: Privacy in Location Based Services: Primitives Toward the Solution

Abedelaziz Mohaisen, Dowon Hong, DaeHun Nyang

Comments: Appeared in proceeding of NCM 2008

Subjects: Cryptography and Security (cs.CR)