CoRR, September 2003

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

Last update Mon May 20 16:43:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page