default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, 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, Mark A. Novotny, György 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. - (Withdrawn) 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. - Hugo 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 Wiktor 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 11:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
