CoRR, September 2003

• Allison Woodruff, Paul M. Aoki:
  Media Affordances of a Mobile Push-To-Talk Communication Service. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0309001]
• Ricardo Galli:
  El informe NERA analizado. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0309002]
• Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
  Model Checking Linear Logic Specifications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0309003]
• Bruce Long:
  The Structure of Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0309004]
• Aleksandar Stojmirovic, Vladimir Pestov:
  Indexing Schemes for Similarity Search In Datasets of Short Protein Fragments. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0309005]
• Rajgopal Kannan:
  The KR-Benes Network: A (almost) Control-Optimal Rearrangeable Permutation Network. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0309006]
• Petro M. Gopych:
  ROC Curves Within the Framework of Neural Network Assembly Memory Model: Some Analytic Results. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0309007]
• Eli Appleboim, Emil Saucan:
  Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0309008]
• Victor Eliashberg:
  What Is Working Memory and Mental Imagery? A Robot that Learns to Perform Mental Computations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0309009]
• Dima Grigoriev, Ilia V. Ponomarenko:
  Homomorphic public-key cryptosystems over groups and rings. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0309010]
• Ágúst S. Egilsson, Hakon Gudbjartsson:
  Indexing of Tables Referencing Complex Structures. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0309011]
• C. Huang, L. M. Rocha:
  Exploration of RNA Editing and Design of Robust Genetic Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0309012]
• L. M. Rocha:
  Semi-metric Behavior in Document Networks and its Application to Recommendation Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0309013]
• Esther M. Arkin, Michael A. Bender, Erik D. Demaine, Sándor P. Fekete, Joseph S. B. Mitchell, Saurabh Sethia:
  Optimal Covering Tours with Turn Costs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0309014]
• Dominik Janzing, Daniel Herrmann:
  Reliable and Efficient Inference of Bayesian Networks from Sparse Data by Statistical Learning Theory. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0309015]
• Stuart McDonald, Liam Wagner:
  Using Simulated Annealing to Calculate the Trembles of Trembling Hand Perfection. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GT/0309016]
• David Renault:
  Enumerating planar locally finite Cayley graphs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0309017]
• Maarten H. van Emden, Belaid Moa:
  Using Propagation for Solving Complex Arithmetic Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NA/0309018]
• Atsushi Fujii, Katunobu Itou:
  Building a Test Collection for Speech-Driven Web Retrieval. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0309019]
• Stephan Mertens, Marc Mézard, Riccardo Zecchina:
  Threshold values of Random K-SAT from the cavity method. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0309020]
• Atsushi Fujii, Katunobu Itou, Tomoyosi Akiba, Tetsuya Ishikawa:
  A Cross-media Retrieval System for Lecture Videos. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0309021]
• Christian Thiemann, Michael Schlenker, Thomas Severiens:
  Proposed Specification of a Distributed XML-Query Network. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0309022]
• Vladimir Batagelj:
  Efficient Algorithms for Citation Network Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DL/0309023]
• Annabelle McIver, Carroll Morgan:
  Results on the quantitative mu-calculus qMu. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0309024]
• Johan Schubert:
  Evidential Force Aggregation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0309025]
• Mark C. Little:
  A thought experiment on Quantum Mechanics and Distributed Failure Detection. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0309026]
• Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003). , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309027]
• Frédéric Mesnard, Roberto Bagnara:
  cTI: A constraint-based termination inference tool for ISO-Prolog. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0309028]
• Jonas Maebe, Koen De Bosschere:
  Instrumenting self-modifying code. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309029]
• Wolfgang Mayer, Markus Stumptner:
  Model-Based Debugging using Multiple Abstract Models. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309030]
• Kazutaka Maruyama, Minoru Terada:
  Timestamp Based Execution Control for C and Java Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309031]
• Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
  Towards declarative diagnosis of constraint programs over finite domains. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309032]
• Pranab Sen, Srinivasan Venkatesh:
  Lower bounds for predecessor searching in the cell probe model. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0309033]
• Peter D. Turney, Michael L. Littman:
  Measuring Praise and Criticism: Inference of Semantic Orientation from Association. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0309034]
• Peter D. Turney, Michael L. Littman, Jeffrey Bigham, Victor Shnayder:
  Combining Independent Modules to Solve Multiple-choice Synonym and Analogy Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0309035]
• Petro M. Gopych:
  A Neural Network Assembly Memory Model Based on an Optimal Binary Signal Detection Theory. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0309036]
• Bryan Cantrill:
  Postmortem Object Type Identification. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309037]
• Valmir C. Barbosa, Luciana C. D. Campos:
  A novel evolutionary formulation of the maximum independent set problem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0309038]
• Valmir C. Barbosa, Carlos A. G. Assis, Josina O. do Nascimento:
  Two novel evolutionary formulations of the graph coloring problem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0309039]
• Lucia Draque Penso, Valmir C. Barbosa:
  A distributed algorithm to find k-dominating sets. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0309040]
• Konstantin A. Rybnikov:
  Fast Verification of Convexity of Piecewise-linear Surfaces. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0309041]
• Lúcia Maria de A. Drummond, Valmir C. Barbosa:
  On reducing the complexity of matrix clocks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0309042]
• Alexandre H. L. Porto, Valmir C. Barbosa:
  Finding approximate palindromes in strings. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0309043]
• Valmir C. Barbosa:
  The combinatorics of resource sharing. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OS/0309044]
• Agostino Dovier, Carla Piazza, Gianfranco Rossi:
  A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0309045]
• K. Vezerides, Athanasios Kehagias:
  The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0309046]
• Andreas Zeller:
  Causes and Effects in Computer Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309047]
• Jürgen Schmidhuber:
  Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0309048]
• João Lourenço, José C. Cunha, Vitor Moreira:
  Control and Debugging of Distributed Programs Using Fiddle. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0309049]
• W. A. Zuniga-Galindo:
  Computing Igusa's Local Zeta Functions of Univariate Polynomials, and Linear Feedback Shift Registers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0309050]
• Oded Regev:
  New Lattice Based Cryptographic Constructions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0309051]
• Boris Alexeev:
  Minimal DFAs for Testing Divisibility. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0309052]
• David A. Plaisted:
  A Hierarchical Situation Calculus. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0309053]
• Katerina J. Argyraki, David R. Cheriton:
  Active Internet Traffic Filtering: Real-time Response to Denial of Service Attacks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0309054]
• Tsuyoshi Ohta, Tadanori Mizuno:
  A mathematical framework for automated bug localization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0309055]
• Shmuel Onn, Uriel G. Rothblum:
  Convex Combinatorial Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0309083]
• Shmuel Onn:
  Nowhere-Zero Flow Polynomials. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0309347]
• Paolo Laureti, Peter Ruch, Joseph Wakeling, Yi-Cheng Zhang:
  The Interactive Minority Game: a Web-based investigation of human market interactions. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0309033]
• Carlos Gershenson:
  Self-organizing Traffic Control: First Results. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0309039]
• Jae Weon Lee, Alexei Chepelianskii, Dima Shepelyansky:
  Treatment of sound on quantum computers. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0309018]
• Pierfrancesco La Mura:
  Correlated Equilibria of Classical Strategic Games with Quantum Signals. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0309033]
• Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf:
  Robust Quantum Algorithms and Polynomials. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0309220]
• Brad Jackson, Jeffrey D. Scargle, David Barnes, Sundararajan Arabhi, Alina Alt, Peter Gioumousis, Elyus Gwin, Paungkaew Sangtrakulcharoen, Linda Tan, Tun Tao Tsai:
  An Algorithm for Optimal Partitioning of Data on an Interval. , (informal publication)
  Electronic Edition (link) BibTeX [math.NA/0309285]