CoRR, June 2001

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