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.
  
• W. 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.
  
• J. F. Traub:
  A Continuous Model of Computation.
  

Last update Sat May 18 20:12:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page