CoRR, August 2002

• Carlos Gershenson:
  Classification of Random Boolean Networks. , (informal publication)
  [cs.CC/0208001]
• A. Lavrenov:
  Theoretical limit of the compression for the information. , (informal publication)
  [cs.CR/0208002]
• A. Lavrenov:
  MV2-algorithm's clones. , (informal publication)
  [cs.CR/0208003]
• Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer:
  Detecting Race Conditions in Parallel Programs that Use Semaphores. , (informal publication)
  [cs.DS/0208004]
• Ulrich Hillenbrand, Gerd Hirzinger:
  Probabilistic Search for Object Segmentation and Recognition. , (informal publication)
  [cs.CV/0208005]
• Hartmut Klauck:
  Rectangle Size Bounds and Threshold Covers in Communication Complexity. , (informal publication)
  [cs.CC/0208006]
• Kamil Kulesza, Zbigniew Kotulski:
  On the graph coloring check-digit scheme with applications to verifiable secret sharing. , (informal publication)
  [cs.CR/0208007]
• Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
  Soft Concurrent Constraint Programming. , (informal publication)
  [cs.PL/0208008]
• Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe:
  Offline Specialisation in Prolog Using a Hand-Written Compiler Generator. , (informal publication)
  [cs.PL/0208009]
• Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, Jeffrey Richter:
  TerraService.NET: An Introduction to Web Services. , (informal publication)
  [cs.DL/0208010]
• Jim Gray, Wyman Chong, Tom Barclay, Alexander S. Szalay, Jan vandenBerg:
  TeraScale SneakerNet: Using Inexpensive Disks for Backup, Archiving, and Data Exchange. , (informal publication)
  [cs.NI/0208011]
• Jim Gray, Alexander S. Szalay, Ani Thakar, Christopher Stoughton, Jan vandenBerg:
  Online Scientific Data Curation, Publication, and Archiving. , (informal publication)
  [cs.DL/0208012]
• Alexander S. Szalay, Jim Gray, Jan vandenBerg:
  Petabyte Scale Data Mining: Dream or Reality? , (informal publication)
  [cs.DB/0208013]
• Alexander S. Szalay, Tamas Budavari, Tanu Malik, Jim Gray, Ani Thakar:
  Web Services for the Virtual Observatory. , (informal publication)
  [cs.DC/0208014]
• Alexander S. Szalay, Tamas Budavari, Andrew Connolly, Jim Gray, Takahiko Matsubara, Adrian Pope, Istvan Szapudi:
  Spatial Clustering of Galaxies in Large Datasets. , (informal publication)
  [cs.DB/0208015]
• W. Chen:
  A note on fractional derivative modeling of broadband frequency-dependent absorption: Model III. , (informal publication)
  [cs.CE/0208016]
• Yves Moinard:
  Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. , (informal publication)
  [cs.AI/0208017]
• Mikalai Birukou:
  Knowledge Representation. , (informal publication)
  [cs.AI/0208019]
• Masaki Murata, Hitoshi Isahara:
  Using the DIFF Command for Natural Language Processing. , (informal publication)
  [cs.CL/0208020]
• Gregory Allen Kohring:
  Implicit Simulations using Messaging Protocols. , (informal publication)
  [cs.DC/0208021]
• Boris Kovalerchuk, Evgenii Vityaev, H. Yusupov:
  Symbolic Methodology in Numeric Data Mining: Relational Techniques for Financial Applications. , (informal publication)
  [cs.CE/0208022]
• Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin:
  The STRESS Method for Boundary-point Performance Analysis of End-to-end Multicast Timer-Suppression Mechanisms. , (informal publication)
  [cs.NI/0208023]
• Saurabh Garg, Priyatham Pamu, Nitin Nahata, Ahmed Helmy:
  Contact-Based Architecture for Resource Discovery (CARD) in Large Scale MANets. , (informal publication)
  [cs.NI/0208024]
• Ahmed Helmy, Muhammad Jaseemuddin, Ganesha Bhaskara:
  Efficient Micro-Mobility using Intra-domain Multicast-based Mechanisms (M&M). , (informal publication)
  [cs.NI/0208025]
• Charles Sauerbier:
  Mathematical basis for polySAT implication operator. , (informal publication)
  [cs.CC/0208026]
• Robert C. Steinke, Gary J. Nutt:
  A Unified Theory of Shared Memory Consistency. , (informal publication)
  [cs.DC/0208027]
• Joseph Y. Halpern, Ron van der Meyden:
  A logical reconstruction of SPKI. , (informal publication)
  [cs.CR/0208028]
• Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte:
  Logic programming in the context of multiparadigm programming: the Oz experience. , (informal publication)
  [cs.PL/0208029]
• W. Chen:
  A direct time-domain FEM modeling of broadband frequency-dependent absorption with the presence of matrix fractional power: Model I. , (informal publication)
  [cs.CE/0208030]
• Alina Andreica:
  Parameterized Type Definitions in Mathematica: Methods and Advantages. , (informal publication)
  [cs.SC/0208031]
• Krzysztof R. Apt, C. F. M. Vermeulen:
  First-order Logic as a Constraint Programming Language. , (informal publication)
  [cs.LO/0208032]
• Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
  Complete Axiomatizations for Reasoning About Knowledge and Time. , (informal publication)
  [cs.LO/0208033]
• Joseph Y. Halpern, Judea Pearl:
  Causes and Explanations: A Structural-Model Approach. Part II: Explanations. , (informal publication)
  [cs.AI/0208034]
• Andrei Popescu-Belis, Isabelle Robba:
  Evaluation of Coreference Rules on Complex Narrative Texts. , (informal publication)
  [cs.CL/0208035]
• Andrei Popescu-Belis, Isabelle Robba:
  Three New Methods for Evaluating Reference Resolution. , (informal publication)
  [cs.CL/0208036]
• Andrei Popescu-Belis, Isabelle Robba:
  Cooperation between Pronoun and Reference Resolution for Unrestricted Texts. , (informal publication)
  [cs.CL/0208037]
• Andrei Popescu-Belis, Isabelle Robba, Gérard Sabah:
  Reference Resolution Beyond Coreference: a Conceptual Frame and its Application. , (informal publication)
  [cs.CL/0208038]
• Elizabeth Anderson, Robert Atkinson, Elizabeth Buckley-Geer, Cynthia Crego, Lisa Giacchetti, Stephen Hanson, David Ritchie, Jean Slisz, Sara Tompson, Stephen Wolbers:
  A Virtual Library of Technical Publications. , (informal publication)
  [cs.DL/0208039]
• Alex Verstak, Naren Ramakrishnan, Kyung Kyoon Bae, William H. Tranter, Layne T. Watson, Jian He, Clifford A. Shaffer, Theodore S. Rappaport:
  Using Hierarchical Data Mining to Characterize Performance of Wireless System Configurations. , (informal publication)
  [cs.CE/0208040]
• Yvo Desmedt, Yongge Wang:
  Perfectly Secure Message Transmission Revisited. , (informal publication)
  [cs.CR/0208041]
• Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
  Proving correctness of Timed Concurrent Constraint Programs. , (informal publication)
  [cs.LO/0208042]
• John M. Hitchcock:
  Gales Suffice for Constructive Dimension. , (informal publication)
  [cs.CC/0208043]
• Stephen A. Fenner:
  Gales and supergales are equivalent for defining constructive Hausdorff dimension. , (informal publication)
  [cs.CC/0208044]
• Jens Christian Claussen:
  Generalized Winner-Relaxing Kohonen Self-Organizing Feature Maps. , (informal publication)
  [cond-mat/0208414]
• Roberto Mulet, Andrea Pagnani, Martin Weigt, Riccardo Zecchina:
  Coloring random graphs. , (informal publication)
  [cond-mat/0208460]
• Attila Fekete, M. Marodi, Gábor Vattay:
  On the Prospects of Chaos Aware Traffic Modeling. , (informal publication)
  [cond-mat/0208488]
• Thomas Fischbacher:
  Introducing LambdaTensor1.0 - A package for explicit symbolic and numeric Lie algebra and Lie group calculations. , (informal publication)
  [hep-th/0208218]
• Iordanis Kerenidis, Ronald de Wolf:
  Exponential Lower Bound for 2-Query Locally Decodable Codes via a Quantum Argument. , (informal publication)
  [quant-ph/0208062]
• Peter Høyer, Robert Spalek:
  Quantum Circuits with Unbounded Fan-out. , (informal publication)
  [quant-ph/0208043]