default search action
CoRR, June 2001
- Nadia Creignou, Hervé Daudé, Olivier Dubois:
Approximating the satisfiability threshold for random k-XOR-formulas. - Alexander Bockmayr, Nicolai Pisaruk:
Solving Assembly Line Balancing Problems by Combining IP and CP. - Wen Chen, W. He:
A note on radial basis function computing. - Hana Rudová:
Soft Scheduling. - Aspassia Daskalopulu, Marek J. Sergot:
The Representation of Legal Contracts. - Aspassia Daskalopulu, Marek J. Sergot:
A Constraint-Driven System for Contract Assembly. - Chris Reed, Aspassia Daskalopulu:
Modelling Contractual Arguments. - Maarten H. van Emden:
Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems. - Aspassia Daskalopulu:
Model Checking Contractual Protocols. - Aspassia Daskalopulu:
Modelling Legal Contracts as Processes. - William Schuler:
Computational properties of environment-based disambiguation. - Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli:
Computational Properties of Metaquerying Problems. - Larissa Ismailova:
The Set of Equations to Evaluate Objects. - Viacheslav Wolfengagen:
L. T. Kuzin: Research Program. - Atsushi Fujii, Tetsuya Ishikawa:
Organizing Encyclopedic Knowledge based on the Web and its Application to Question Answering. - Vjacheslav M. Novikov:
File mapping Rule-based DBMS and Natural Language Processing. - Larissa Ismailova, Konstantin Zinchenko:
An object evaluator to generate flexible applications. - Viacheslav Wolfengagen:
Building the access pointers to a computation environment. - Erik D. Demaine:
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory. - Rajkumar Buyya, Heinz Stockinger, Jonathan Giddy, David Abramson:
Economic Models for Management of Resources in Grid Computing. - Viacheslav Wolfengagen:
Object-oriented solutions. - Krzysztof R. Apt:
One More Revolution to Make: Free Scientific Publishing. - Larissa Ismailova, Konstantin Zinchenko:
Object-oriented tools for advanced applications. - Viacheslav Wolfengagen:
Objects and their computational framework. - Yannis Dimopoulos, Antonis C. Kakas:
Information Integration and Computational Logic. - Larissa Ismailova, Konstantin Zinchenko, Lioubouv Bourmistrova:
Event Driven Computations for Relational Query Language. - Viacheslav Wolfengagen:
Event Driven Objects. - Lars Rasmusson:
Pricing Virtual Paths with Quality-of-Service Guarantees as Bundle Derivatives. - Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya:
Building Views with Description Logics in ADE: Application Development Environment. - Viacheslav Wolfengagen:
Logic, Individuals and Concepts. - Stephan Tobies:
Complexity Results and Practical Algorithms for Logics in Knowledge Representation. - David Eppstein:
Hinged Kite Mirror Dissection. - Kenton K. Yee:
location.location.location: Internet Addresses as Evolving Property. - Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche:
Solving equations in the relational algebra. - Jan Van den Bussche, Emmanuel Waller:
Polymorphic type inference for the relational algebra. - Marcus Hutter:
Convergence and Error Bounds for Universal Prediction of Nonbinary Sequences. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
Using the No-Search Easy-Hard Technique for Downward Collapse. - David M. Mackie:
Simple and Effective Distributed Computing with a Scheduling Service. - Rie Kubota Ando, Lillian Lee:
Iterative Residual Rescaling: An Analysis and Generalization of LSI. - Georgios Sakkis, Ion Androutsopoulos, Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos, Panagiotis Stamatopoulos:
Stacking classifiers for anti-spam filtering of e-mail. - André Große, Jörg Rothe, Gerd Wechsung:
Computing Complete Graph Isomorphisms and Hamiltonian Cycles from Partial Ones. - William McCune:
MACE 2.0 Reference Manual and Guide. - Yuval Krymolowski:
Using the Distribution of Performance for Studying Statistical NLP Systems and Corpora. - Yair Even-Zohar, Dan Roth:
A Sequential Model for Multi-Class Classification. - André Große, Jörg Rothe, Gerd Wechsung:
A Note on the Complexity of Computing the Smallest Four-Coloring of Planar Graphs. - Floris Geerts:
Expressing the cone radius in the relational calculus with real polynomial constraints. - Adwait Ratnaparkhi:
Modeling informational novelty in a conversational system with a hybrid statistical and grammar-based approach to natural language generation. - V. G. Naidenko, Yury L. Orlovich:
On some optimization problems for star-free graphs. - V. G. Naidenko:
Recursively Undecidable Properties of NP. - Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Classes of Terminating Logic Programs. - E. Michael Gertz, Philip E. Gill, Julia Muetherig:
Users Guide for SnadiOpt: A Package Adding Automatic Differentiation to Snopt. - Danny De Schreye, Alexander Serebrenik:
Acceptability with general orderings. - Alexander Serebrenik, Danny De Schreye:
Inference of termination conditions for numerical loops. - Dmitri Soshnikov:
Software Toolkit for Building Embedded and Distributed Knowledge-based Systems. - Raj P. Gopalan, Tariq Nuruddin, Yudho Giri Sucahyo:
A Seamless Integration of Association Rule Mining with Database Systems. - John Tromp, Paul M. B. Vitányi:
Randomized Two-Process Wait-Free Test-and-Set. - Simeon Warner:
Exposing and harvesting metadata using the OAI metadata harvesting protocol: A tutorial. - Petros Maniatis, Thomas J. Giuli, Mary Baker:
Enabling the Long-Term Archival of Signed Documents through Time Stamping. - Henning Christiansen:
CHR as grammar formalism. A first report. - Réka Albert, Albert-László Barabási:
Statistical mechanics of complex networks. - Joseph F. Traub:
A Continuous Model of Computation.
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 2024-11-19 20:48 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: