CoRR, February 2002

• Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang, Carlo Zaniolo:
  The Deductive Database System LDL++. , (informal publication)
  [cs.DB/0202001]
• Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson:
  A Refinement Calculus for Logic Programs. , (informal publication)
  [cs.SE/0202002]
• Paul M. B. Vitányi:
  Simple Wait-free Multireader Registers. , (informal publication)
  [cs.DC/0202003]
• K. Eisenack, J. Kropp, H. Welsch:
  Capital Accumulation in Open-Access Fishery: A Qualitative Dynamic Approach. , (informal publication)
  [cs.AI/0202004]
• Petros Maniatis, Mary Baker:
  Secure History Preservation Through Timeline Entanglement. , (informal publication)
  [cs.DC/0202005]
• D. Ravi, R. K. Shyamasundar:
  Approximate Computation of Reach Sets in Hybrid Systems. , (informal publication)
  [cs.LO/0202006]
• Slawomir J. Nasuto, J. Mark Bishop:
  Steady State Resource Allocation Analysis of the Stochastic Diffusion Search. , (informal publication)
  [cs.AI/0202007]
• Mema Roussopoulos, Mary Baker:
  CUP: Controlled Update Propagation in Peer-to-Peer Networks. , (informal publication)
  [cs.NI/0202008]
• Patrik O. Hoyer:
  Non-negative sparse coding. , (informal publication)
  [cs.NE/0202009]
• Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
  Using parametric set constraints for locating errors in CLP programs. , (informal publication)
  [cs.PL/0202010]
• David Bremner, Ferran Hurtado, Suneeta Ramaswami, Vera Sacristan:
  Small Strictly Convex Quadrilateral Meshes of Point Sets. , (informal publication)
  [cs.CG/0202011]
• Michael Leuschel, Maurice Bruynooghe:
  Logic program specialisation through partial deduction: Control issues. , (informal publication)
  [cs.PL/0202012]
• Alexander S. Szalay, Jim Gray, Ani Thakar, Peter Z. Kunszt, Tanu Malik, Jordan Raddick, Christopher Stoughton, Jan vandenBerg:
  The SDSS SkyServer: Public Access to the Sloan Digital Sky Server Data. , (informal publication)
  [cs.DL/0202013]
• Jim Gray, Alexander S. Szalay, Ani Thakar, Peter Z. Kunszt, Christopher Stoughton, Donald R. Slutz, Jan vandenBerg:
  Data Mining the SDSS SkyServer Database. , (informal publication)
  [cs.DB/0202014]
• Benny Lehmann, Daniel J. Lehmann, Noam Nisan:
  Combinatorial Auctions with Decreasing Marginal Utilities. , (informal publication)
  [cs.GT/0202015]
• Rica Gonen, Daniel J. Lehmann:
  Linear Programming helps solving large multi-unit combinatorial auctions. , (informal publication)
  [cs.GT/0202016]
• Daniel J. Lehmann, Liadan O'Callaghan, Yoav Shoham:
  Truth Revelation in Approximately Efficient Combinatorial Auctions. , (informal publication)
  [cs.GT/0202017]
• Daniel J. Lehmann:
  Nonmonotonic Logics and Semantics. , (informal publication)
  [cs.AI/0202018]
• Neil J. Gunther:
  Hypernets -- Good (G)news for Gnutella. , (informal publication)
  [cs.PF/0202019]
• Alexsander Vardy, Oleg Kupervasser:
  Estimation of the Probability in the System of "Classifiers". , (informal publication)
  [cs.CV/0202020]
• Sarit Kraus, Daniel J. Lehmann, Menachem Magidor:
  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. , (informal publication)
  [cs.AI/0202021]
• Daniel J. Lehmann, Menachem Magidor:
  What does a conditional knowledge base entail? , (informal publication)
  [cs.AI/0202022]
• Daniel J. Lehmann:
  Expected Qualitative Utility Maximization. , (informal publication)
  [cs.GT/0202023]
• Daniel J. Lehmann:
  A note on Darwiche and Pearl. , (informal publication)
  [cs.AI/0202024]
• Daniel J. Lehmann, Menachem Magidor, Karl Schlechta:
  Distance Semantics for Belief Revision. , (informal publication)
  [cs.AI/0202025]
• Shai Berger, Daniel J. Lehmann, Karl Schlechta:
  Preferred History Semantics for Iterated Updates. , (informal publication)
  [cs.AI/0202026]
• Alex Verstak, Naren Ramakrishnan, Layne T. Watson, Jian He, Clifford A. Shaffer, Kyung Kyoon Bae, Jing Jiang, William H. Tranter, Theodore S. Rappaport:
  BSML: A Binding Schema Markup Language for Data Interchange in Problem Solving Environments (PSEs). , (informal publication)
  [cs.CE/0202027]
• Daniel J. Lehmann:
  Classes of service under perfect competition and technological change: a model for the dynamics of the Internet? , (informal publication)
  [cs.GT/0202028]
• Daniel J. Lehmann:
  Nonstandard numbers for qualitative decision making. , (informal publication)
  [cs.GT/0202029]
• Daniel J. Lehmann:
  Generalized Qualitative Probability: Savage revisited. , (informal publication)
  [cs.GT/0202030]
• Michael Freund, Daniel J. Lehmann:
  Nonmonotonic inference operations. , (informal publication)
  [cs.AI/0202031]
• Rica Gonen, Daniel J. Lehmann:
  Optimal Solutions for Multi-Unit Combinatorial Auctions: Branch and Bound Heuristics. , (informal publication)
  [cs.GT/0202032]
• Daniel J. Lehmann:
  The logical meaning of Expansion. , (informal publication)
  [cs.AI/0202033]
• Elie Bienenstock, Daniel J. Lehmann:
  Covariance Plasticity and Regulated Criticality. , (informal publication)
  [cs.NE/0202034]
• Satyanarayana R. Valluri, Soujanya Vadapalli, Kamalakar Karlapalem:
  Sprinkling Selections over Join DAGs for Efficient Query Optimization. , (informal publication)
  [cs.DB/0202035]
• Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer:
  Equivalence and Isomorphism for Boolean Constraint Satisfaction. , (informal publication)
  [cs.CC/0202036]
• Jan Van den Bussche, Stijn Vansummeren, Gottfried Vossen:
  Towards practical meta-querying. , (informal publication)
  [cs.DB/0202037]
• Jacek Leszczynski, Sebastian Pluta:
  The efficient generation of unstructured control volumes in 2D and 3D. , (informal publication)
  [cs.CG/0202038]
• Vladimir Batagelj, Matjaz Zaversnik:
  Generalized Cores. , (informal publication)
  [cs.DS/0202039]
• Joshua Goodman:
  Extended Comment on Language Trees and Zipping. , (informal publication)
  [cond-mat/0202383]
• Jacek Leszczynski, Mariusz Ciesielski:
  A numerical method for solution of ordinary differential equations of fractional order. , (informal publication)
  [math.NA/0202276]
• Marc Toussaint:
  On model selection and the disability of neural networks to decompose tasks. , (informal publication)
  [nlin.AO/0202038]
• Marc Toussaint:
  A neural model for multi-expert architectures. , (informal publication)
  [nlin.AO/0202039]