CoRR, November 2002

• Ronald I. Greenberg:
  Fast and Simple Computation of All Longest Common Subsequences. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0211001]
• Marc Pauly:
  Programming and Verifying Subgame Perfect Mechanisms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211002]
• Michael G. Madden:
  Evaluation of the Performance of the Markov Blanket Bayesian Classifier Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0211003]
• Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
  The DLV System for Knowledge Representation and Reasoning. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211004]
• Sanshzar Kettebekov, Mohammed Yeasin, Rajeev Sharma:
  Prosody Based Co-analysis for Continuous Recognition of Coverbal Gestures. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0211005]
• Shotaro Akaho:
  Maximing the Margin in the Input Space. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211006]
• Koji Tsuda, Shotaro Akaho, Kiyoshi Asai:
  Approximating Incomplete Kernel Matrices by the em Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0211007]
• Victor Eliashberg:
  Can the whole brain be simpler than its "parts"? , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211008]
• Wing-Kai Hon, Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Siu-Ming Yiu:
  Improved Phylogeny Comparisons: Non-Shared Edges Nearest Neighbor Interchanges, and Subtree Transfers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0211009]
• Stephen Alstrup, Michael A. Bender, Erik D. Demaine, Martin Farach-Colton, J. Ian Munro, Theis Rauhe, Mikkel Thorup:
  Efficient Tree Layout in a Multilevel Memory Hierarchy. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0211010]
• Mariangiola Dezani-Ciancaglini, Stefania Lusin:
  Intersection Types and Lambda Theories. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211011]
• Gabriel Istrate:
  Phase Transitions and all that. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0211012]
• A. K. Kolakowska, M. A. Novotny, G. Korniss:
  Algorithmic scalability in globally constrained conservative parallel discrete event simulations of asynchronous systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0211013]
• Larry Wos, Dolph Ulrich, Branden Fitelson:
  Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211014]
• Larry Wos, Dolph Ulrich, Branden Fitelson:
  XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211015]
• Stefan Ratschan:
  Efficient Solving of Quantified Inequality Constraints over the Real Numbers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211016]
• Mark-Jan Nederhof, Giorgio Satta:
  Probabilistic Parsing Strategies. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0211017]
• Vladimir Pestov, Aleksandar Stojmirovic:
  Indexing schemes for similarity search: an illustrated paradigm. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0211018]
• Krzysztof R. Apt, Sebastian Brand:
  Schedulers for Rule-based Constraint Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0211019]
• Georg Gottlob, Christoph Koch:
  Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0211020]
• George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
  Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211021]
• Nicole Schweikardt:
  Arithmetic, First-Order Logic, and Counting Quantifiers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211022]
• Tanu Malik, Alexander S. Szalay, Tamas Budavari, Ani Thakar:
  SkyQuery: A WebService Approach to Federate Databases. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0211023]
• Thomas J. Giuli, Mary Baker:
  Narses: A Scalable Flow-Based Network Simulator. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PF/0211024]
• Krishna B. Athreya, John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo:
  Effective Strong Dimension, Algorithmic Information, and Computational Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0211025]
• A. G. Yaneff:
  How long is a Proof? - A short note. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0211026]
• Carlos Gershenson:
  Adaptive Development of Koncepts in Virtual Animats: Insights into the Development of Knowledge. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211027]
• Carlos Gershenson, Pedro Pablo González Pérez, José Negrete Martínez:
  Thinking Adaptive: Towards a Behaviours Virtual Laboratory. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211028]
• Pedro Pablo González Pérez, Carlos Gershenson, Maura Cárdenas-García, Jaime Lagunez-Otero:
  Modelling intracellular signalling networks using behaviour-based systems and the blackboard architecture. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MA/0211029]
• Pedro Pablo González Pérez, Maura Cárdenas-García, Carlos Gershenson, Jaime Lagunez-Otero:
  Integration of Computational Techniques for the Modelling of Signal Transduction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MA/0211030]
• Paolo Liberatore:
  Redundancy in Logic I: CNF Propositional Formulae. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211031]
• A. G. Yaneff:
  Solution Bounds for a Hypothetical Polynomial Time Aproximation Algorithm for the TSP. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0211032]
• Deborah East, Miroslaw Truszczynski:
  Propositional satisfiability in declarative programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0211033]
• Jean-Marie Chauvet:
  Monadic Style Control Constructs for Inference Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211034]
• Jean-Marie Chauvet:
  Monadic Style Control Constructs for Inference Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211035]
• Olivier Dubois, Yacine Boufkhad, Jacques Mandler:
  Typical random 3-SAT formulae and the satisfiability threshold. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0211036]
• Zhiyan Shao, Robert Capra, Manuel A. Pérez-Quiñones:
  Annotations for HTML to VoiceXML Transcoding: Producing Voice WebPages with Usability in Mind. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0211037]
• Carlos Gershenson, Pedro Pablo González Pérez:
  Dynamic Adjustment of the Motivation Degree in an Action Selection Mechanism. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211038]
• Carlos Gershenson, Pedro Pablo González Pérez, José Negrete Martínez:
  Action Selection Properties in a Software Simulated Agent. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211039]
• Pedro Pablo González Pérez, José Negrete Martínez, Ariel Barreiro García, Carlos Gershenson García:
  A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0211040]
• A. V. Averin, L. A. Vassilevskaya:
  An Approach to Automatic Indexing of Scientific Publications in High Energy Physics for Database SPIRES HEP. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0211041]
• Leopoldo E. Bertossi, Camilla Schwind:
  Database Repairs and Analytic Tableaux. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0211042]
• Frank Schweitzer, Laxmidhar Behera, Heinz Mühlenbein:
  Evolution of Cooperation in a Spatial Prisoner's Dilemma. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0211605]
• Bernd Fiedler:
  Ideal decompositions and computation of tensor normal forms. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0211156]
• Kamil Kulesza, Zbigniew Kotulski, Josef Pieprzyk:
  On alternative approach for verifiable secret sharing. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0211267]
• Kamil Kulesza, Zbigniew Kotulski:
  On ASGS framework: general requirements and an example of implementation. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0211269]
• Konstantinos Drakakis, Dragan Radulovic:
  On the multiresolution structure of Internet traffic traces. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0211307]
• Kamil Kulesza, Zbigniew Kotulski:
  On graph coloring check-digit method. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0211317]
• René Brandenberg, Thorsten Theobald:
  Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices. , (informal publication)
  Electronic Edition (link) BibTeX [math.OC/0211344]
• H. Fort:
  Exploring the cooperative regimes in a model of agents without memory or "tags": indirect reciprocity vs. selfish incentives. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0211024]
• Harry Buhrman, Ronald de Wolf:
  Quantum Zero-Error Algorithms Cannot be Composed. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0211029]
• Hartmut Klauck:
  Quantum Time-Space Tradeoffs for Sorting. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0211174]
• Mart de Graaf, Paul Valiant:
  Comparing EQP and MOD_{p^k}P using Polynomial Degree Lower Bounds. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0211179]
• Edward W. Piotrowski, Jan Sladkowski:
  An invitation to Quantum Game Theory. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0211191]
• P. V. Golubtsov, S. S. Moskaliuk:
  Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers Theory. , (informal publication)
  Electronic Edition (link) BibTeX [math-ph/0211067]
• R. Rothenstein, Klaus Pawelzik:
  Evolution and anti-evolution in a minimal stock market model. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0211010]