Computer Science

Authors and titles for July 2009

[126] arXiv:0907.1916 [pdf, other]

Title: Learning Equilibria in Games by Stochastic Distributed Algorithms

Olivier Bournez, Johanne Cohen

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

[127] arXiv:0907.1948 [pdf, other]

Title: Amplified Hardness of Approximation for VCG-Based Mechanisms

Shaddin Dughmi, Hu Fu, Robert Kleinberg

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

[128] arXiv:0907.1955 [pdf, other]

Title: On the Chances of Completing the Game of "Perpetual Motion"

Matthew C. Clarke

Comments: 3 pages, 3 figures

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

[129] arXiv:0907.1956 [pdf, other]

Title: Zero-error feedback capacity via dynamic programming

Lei Zhao, Haim Permuter

Subjects: Information Theory (cs.IT)

[130] arXiv:0907.1975 [pdf, other]

Title: On semifast Fourier transform algorithms

Sergei V. Fedorenko

Comments: 8 pages. Proceedings of the XII international symposium on problems of redundancy in information and control systems at this http URL, Russia, May 2009, pp.65-70

Subjects: Information Theory (cs.IT)

[131] arXiv:0907.1978 [pdf, other]

Title: BPDMN: A Conservative Extension of BPMN with Enhanced Data Representation Capabilities

Matteo Magnani, Danilo Montesi

Comments: 17 pages

Subjects: Software Engineering (cs.SE); Databases (cs.DB)

[132] arXiv:0907.1990 [pdf, other]

Title: Automated Protein Structure Classification: A Survey

Oktie Hassanzadeh

Comments: 14 pages, Technical Report CSRG-589, University of Toronto

Subjects: Computational Engineering, Finance, and Science (cs.CE); Biomolecules (q-bio.BM)

[133] arXiv:0907.1992 [pdf, other]

Title: Spectrum sensing by cognitive radios at very low SNR

Zhi Quan, Stephen J. Shellhammer, Wenyi Zhang, Ali H. Sayed

Comments: IEEE Global Communications Conference 2009

Subjects: Information Theory (cs.IT)

[134] arXiv:0907.2019 [pdf, other]

Title: Foundations for a Developmental State: A case for technical education

Tshilidzi Marwala

Comments: 5 pages

Subjects: Computers and Society (cs.CY)

[135] arXiv:0907.2031 [pdf, other]

Title: Synthetic Aperture Sonar Imaging via One-Way Wave Equations

Quyen Huynh, Kazufumi Ito

Subjects: Numerical Analysis (math.NA)

[136] arXiv:0907.2039 [pdf, other]

Title: Refining interfaces: the case of the B method

David Deharbe, Bruno E.G. Gomes, Anamaria M. Moreira

Comments: 18 pages, submitted to ICFEM 2009

Subjects: Software Engineering (cs.SE)

[137] arXiv:0907.2049 [pdf, other]

Title: Strategyproof Approximation Mechanisms for Location on Networks

Noga Alon, Michal Feldman, Ariel D. Procaccia, Moshe Tennenholtz

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

[138] arXiv:0907.2050 [pdf, other]

Title: Randomised Buffer Management with Bounded Delay against Adaptive Adversary

Łukasz Jeż

Comments: Obsolete; improved upon by arXiv:1102.1273 [cs.DS]. This comment is the only difference from previous version

Subjects: Data Structures and Algorithms (cs.DS)

[139] arXiv:0907.2059 [pdf, other]

Title: A Type System For Call-By-Name Exceptions

Sylvain Lebresne

Comments: 25 pages

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

Subjects: Programming Languages (cs.PL)

[140] arXiv:0907.2071 [pdf, other]

Title: Layered Working-Set Trees

Prosenjit Bose, Karim Douïeb, Vida Dujmović, John Howat

Comments: 10 pages, 3 figures

Subjects: Data Structures and Algorithms (cs.DS)

[141] arXiv:0907.2072 [pdf, other]

Title: SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[142] arXiv:0907.2075 [pdf, other]

Title: Multiresolution Elastic Medical Image Registration in Standard Intensity Scale

Ulas Bagci, Li Bai

Comments: IEEE Sibgrapi 2007 submission

Journal-ref: IEEE 20th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI-07), Belo Horizonte-Minas Gerais, Brasil, October 7-10, 2007

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

[143] arXiv:0907.2076 [pdf, other]

Title: The Piranha algebraic manipulator

Francesco Biscani

Comments: 24 pages, 2 figures

Subjects: Symbolic Computation (cs.SC)

[144] arXiv:0907.2083 [pdf, other]

Title: Simultaneously Sparse Solutions to Linear Inverse Problems with Multiple System Matrices and a Single Observation Vector

Adam C. Zelinski, Vivek K Goyal, Elfar Adalsteinsson

Comments: 36 pages; manuscript unchanged from July 21, 2008, except for updated references; content appears in September 2008 PhD thesis

Journal-ref: SIAM J. Scientific Computing, vol. 31, no. 5, pp. 4533-4579, January 2010

Subjects: Numerical Analysis (math.NA)

[145] arXiv:0907.2089 [pdf, other]

Title: Fast In-Memory XPath Search over Compressed Text and Tree Indexes

A. Arroyuelo, F. Claude, S. Maneth, V. Mäkinen, G. Navarro, K. Nguyen, J. Siren, N. Välimäki

Subjects: Databases (cs.DB); Information Retrieval (cs.IR)

[146] arXiv:0907.2090 [pdf, other]

Title: Some bounds on the capacity of communicating the sum of sources

Brijesh Kumar Rai, Bikash Kumar Dey, Sagar Shenvi

Comments: Revised version

Subjects: Information Theory (cs.IT)

[147] arXiv:0907.2093 [pdf, other]

Title: Distributed Opportunistic Scheduling With Two-Level Probing

Chandrashekhar Thejaswi P. S., Junshan Zhang, Man-On Pun, H. Vincent Poor, Dong Zheng

Comments: Submitted to IEEE Trans. Networking

Subjects: Information Theory (cs.IT)

[148] arXiv:0907.2121 [pdf, other]

Title: Topology Discovery Using Cisco Discovery Protocol

Sergio R. Rodriguez

Subjects: Networking and Internet Architecture (cs.NI)

[149] arXiv:0907.2130 [pdf, other]

Title: Algebraic properties of structured context-free languages: old approaches and novel developments

Stefano Crespi Reghizzi, Dino Mandrioli

Comments: Extended version of paper presented at WORDS2009, Salerno,Italy, September 2009

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

[150] arXiv:0907.2139 [pdf, other]

Title: Adaptive Point-to-Multipoint Transmission for Multimedia Broadcast Multicast Services in LTE

Mai-Anh Phan, Jörg Huschke

Comments: 6 pages, 7 figures

Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)