CoRR, November 2002

• Ronald I. Greenberg:
  Fast and Simple Computation of All Longest Common Subsequences.
  
• Marc Pauly:
  Programming and Verifying Subgame Perfect Mechanisms.
  
• Michael G. Madden:
  Evaluation of the Performance of the Markov Blanket Bayesian Classifier Algorithm.
  
• Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
  The DLV System for Knowledge Representation and Reasoning.
  
• Sanshzar Kettebekov, Mohammed Yeasin, Rajeev Sharma:
  Prosody Based Co-analysis for Continuous Recognition of Coverbal Gestures.
  
• Shotaro Akaho:
  Maximing the Margin in the Input Space.
  
• Koji Tsuda, Shotaro Akaho, Kiyoshi Asai:
  Approximating Incomplete Kernel Matrices by the em Algorithm.
  
• Victor Eliashberg:
  Can the whole brain be simpler than its "parts"?
  
• 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.
  
• 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.
  
• Mariangiola Dezani-Ciancaglini, Stefania Lusin:
  Intersection Types and Lambda Theories.
  
• Gabriel Istrate:
  Phase Transitions and all that.
  
• A. K. Kolakowska, M. A. Novotny, G. Korniss:
  Algorithmic scalability in globally constrained conservative parallel discrete event simulations of asynchronous systems.
  
• Larry Wos, Dolph Ulrich, Branden Fitelson:
  Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
  
• Larry Wos, Dolph Ulrich, Branden Fitelson:
  XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus.
  
• Stefan Ratschan:
  Efficient Solving of Quantified Inequality Constraints over the Real Numbers.
  
• Mark-Jan Nederhof, Giorgio Satta:
  Probabilistic Parsing Strategies.
  
• Vladimir Pestov, Aleksandar Stojmirovic:
  Indexing schemes for similarity search: an illustrated paradigm.
  
• Krzysztof R. Apt, Sebastian Brand:
  Schedulers for Rule-based Constraint Programming.
  
• Georg Gottlob, Christoph Koch:
  Monadic Datalog and the Expressive Power of Languages for Web Information Extraction.
  
• George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
  Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics.
  
• Nicole Schweikardt:
  Arithmetic, First-Order Logic, and Counting Quantifiers.
  
• Tanu Malik, Alexander S. Szalay, Tamas Budavari, Ani Thakar:
  SkyQuery: A WebService Approach to Federate Databases.
  
• Thomas J. Giuli, Mary Baker:
  Narses: A Scalable Flow-Based Network Simulator.
  
• Krishna B. Athreya, John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo:
  Effective Strong Dimension, Algorithmic Information, and Computational Complexity.
  
• A. G. Yaneff:
  How long is a Proof? - A short note.
  
• Carlos Gershenson:
  Adaptive Development of Koncepts in Virtual Animats: Insights into the Development of Knowledge.
  
• Carlos Gershenson, Pedro Pablo González Pérez, José Negrete Martínez:
  Thinking Adaptive: Towards a Behaviours Virtual Laboratory.
  
• 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.
  
• 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.
  
• Paolo Liberatore:
  Redundancy in Logic I: CNF Propositional Formulae.
  
• A. G. Yaneff:
  Solution Bounds for a Hypothetical Polynomial Time Aproximation Algorithm for the TSP.
  
• Deborah East, Miroslaw Truszczynski:
  Propositional satisfiability in declarative programming.
  
• Jean-Marie Chauvet:
  Monadic Style Control Constructs for Inference Systems.
  
• Jean-Marie Chauvet:
  Monadic Style Control Constructs for Inference Systems.
  
• Olivier Dubois, Yacine Boufkhad, Jacques Mandler:
  Typical random 3-SAT formulae and the satisfiability threshold.
  
• Zhiyan Shao, Robert Capra, Manuel A. Pérez-Quiñones:
  Annotations for HTML to VoiceXML Transcoding: Producing Voice WebPages with Usability in Mind.
  
• Carlos Gershenson, Pedro Pablo González Pérez:
  Dynamic Adjustment of the Motivation Degree in an Action Selection Mechanism.
  
• Carlos Gershenson, Pedro Pablo González Pérez, José Negrete Martínez:
  Action Selection Properties in a Software Simulated Agent.
  
• 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.
  
• A. V. Averin, L. A. Vassilevskaya:
  An Approach to Automatic Indexing of Scientific Publications in High Energy Physics for Database SPIRES HEP.
  
• Leopoldo E. Bertossi, Camilla Schwind:
  Database Repairs and Analytic Tableaux.
  
• Frank Schweitzer, Laxmidhar Behera, Heinz Mühlenbein:
  Evolution of Cooperation in a Spatial Prisoner's Dilemma.
  
• Bernd Fiedler:
  Ideal decompositions and computation of tensor normal forms.
  
• Kamil Kulesza, Zbigniew Kotulski, Josef Pieprzyk:
  On alternative approach for verifiable secret sharing.
  
• Kamil Kulesza, Zbigniew Kotulski:
  On ASGS framework: general requirements and an example of implementation.
  
• Konstantinos Drakakis, Dragan Radulovic:
  On the multiresolution structure of Internet traffic traces.
  
• Kamil Kulesza, Zbigniew Kotulski:
  On graph coloring check-digit method.
  
• René Brandenberg, Thorsten Theobald:
  Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices.
  
• H. Fort:
  Exploring the cooperative regimes in a model of agents without memory or "tags": indirect reciprocity vs. selfish incentives.
  
• Harry Buhrman, Ronald de Wolf:
  Quantum Zero-Error Algorithms Cannot be Composed.
  
• Hartmut Klauck:
  Quantum Time-Space Tradeoffs for Sorting.
  
• Mart de Graaf, Paul Valiant:
  Comparing EQP and MOD_{p^k}P using Polynomial Degree Lower Bounds.
  
• Edward W. Piotrowski, Jan Sladkowski:
  An invitation to Quantum Game Theory.
  
• 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.
  
• R. Rothenstein, Klaus Pawelzik:
  Evolution and anti-evolution in a minimal stock market model.
  

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