CoRR, November 2000

• Atsushi Fujii, Tetsuya Ishikawa:
  Utilizing the World Wide Web as an Encyclopedia: Extracting Term Descriptions from Semi-Structured Texts. , (informal publication)
  [cs.CL/0011001]
• Atsushi Fujii, Tetsuya Ishikawa:
  A Novelty-based Evaluation Method for Information Retrieval. , (informal publication)
  [cs.CL/0011002]
• Atsushi Fujii, Tetsuya Ishikawa:
  Applying Machine Translation to Two-Stage Cross-Language Information Retrieval. , (informal publication)
  [cs.CL/0011003]
• Jörn Müller-Quade, Hideki Imai:
  Anonymous Oblivious Transfer. , (informal publication)
  [cs.CR/0011004]
• Michiel Ronsse, Koenraad De Bosschere:
  Non-intrusive on-the-fly data race detection using execution replay.
  [cs.SE/0011005]
• Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux:
  Execution replay and debugging.
  [cs.SE/0011006]
• Khalil Sima'an:
  Tree-gram Parsing: Lexical Dependencies and Structural Relations. , (informal publication)
  [cs.CL/0011007]
• Manfred Schmidt-Schauß, Michael Huber:
  A Lambda-Calculus with letrec, case, constructors and non-determinism. , (informal publication)
  [cs.PL/0011008]
• David Eppstein:
  Small Maximal Independent Sets and Faster Exact Graph Coloring. , (informal publication)
  [cs.DS/0011009]
• Dale E. Parson, Bryan Schlieder, Paul Beatty:
  Extension Language Automation of Embedded System Debugging.
  [cs.SE/0011010]
• Jean Berstel, Luc Boasson:
  Formal Properties of XML Grammars and Languages. , (informal publication)
  [cs.DM/0011011]
• Joseph Y. Halpern, Judea Pearl:
  Causes and Explanations: A Structural-Model Approach, Part I: Causes. , (informal publication)
  [cs.AI/0011012]
• Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski:
  Transformation-Based Bottom-Up Computation of the Well-Founded Model. , (informal publication)
  [cs.LO/0011013]
• George Yong Liu, Ray F. Zhang, Kelvin Hsu, Lawrence Camilletti:
  Chip-level CMP Modeling and Smart Dummy for HDP and Conformal CVD Films. , (informal publication)
  [cs.CE/0011014]
• Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
  A Decomposition Theorem for Maximum Weight Bipartite Matchings. , (informal publication)
  [cs.DS/0011015]
• Ming-Yang Kao, Stephen R. Tate:
  Designing Proxies for Stock Market Indices is Computationally Hard. , (informal publication)
  [cs.CE/0011016]
• Johann Schumann:
  Automatic Debugging Support for UML Designs.
  [cs.SE/0011017]
• Gen-Huey Chen, Ming-Yang Kao, Yuh-Dauh Lyuu, Hsing-Kuo Wong:
  Optimal Buy-and-Hold Strategies for Financial Markets with Bounded Daily Returns. , (informal publication)
  [cs.CE/0011018]
• Christian Glaßer, Lane A. Hemaspaandra:
  A Moment of Perfect Clarity II: Consequences of Sparse Sets Hard for NP with Respect to Weak Reductions. , (informal publication)
  [cs.CC/0011019]
• Norbert Bröker:
  The Use of Instrumentation in Grammar Engineering. , (informal publication)
  [cs.CL/0011020]
• Raimondas Lencevicius:
  On-the-fly query-based debugging with examples.
  [cs.SE/0011021]
• Raimondas Lencevicius, Alexander Ran, Rahav Yairi:
  Apache Web Server Execution Tracing Using Third Eye.
  [cs.SE/0011022]
• Ming-Yang Kao, Junfeng Qi, Lei Tan:
  Optimal Bidding Algorithms Against Cheating in Multiple-Object Auctions. , (informal publication)
  [cs.CE/0011023]
• Sara Cohen, Werner Nutt, Alexander Serebrenik:
  Algorithms for Rewriting Aggregate Queries Using Views. , (informal publication)
  [cs.DB/0011024]
• Alexander Serebrenik, Danny De Schreye:
  Termination analysis of logic programs using acceptability with general term orders. , (informal publication)
  [cs.PL/0011025]
• Esther M. Arkin, Michael A. Bender, Erik D. Demaine, Martin L. Demaine, Joseph S. B. Mitchell, Saurabh Sethia, Steven Skiena:
  When Can You Fold a Map? , (informal publication)
  [cs.CG/0011026]
• Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
  Model-Based Debugging of Java Programs.
  [cs.SE/0011027]
• David Elworthy:
  Retrieval from Captioned Image Databases Using Natural Language Processing. , (informal publication)
  [cs.CL/0011028]
• Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa:
  Systematic Debugging of Attribute Grammars.
  [cs.SE/0011029]
• Nikolay Pelov, Emmanuel De Mot, Marc Denecker:
  Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. , (informal publication)
  [cs.AI/0011030]
• N. Giglioli, Andrea Saltelli:
  SimLab 1.1, Software for Sensitivity and Uncertainty Analysis, tool for sound modelling. , (informal publication)
  [cs.DM/0011031]
• Hendrik Blockeel, Luc De Raedt, Jan Ramon:
  Top-down induction of clustering trees. , (informal publication)
  [cs.LG/0011032]
• Raymond Kosala, Hendrik Blockeel:
  Web Mining Research: A Survey. , (informal publication)
  [cs.LG/0011033]
• Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde:
  Semantic interpretation of temporal information by abductive inference. , (informal publication)
  [cs.CL/0011034]
• Sven Verdoolaege, Marc Denecker, Frank Van Eynde:
  Abductive reasoning with temporal information. , (informal publication)
  [cs.CL/0011035]
• Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
  Automatic Termination Analysis of Programs Containing Arithmetic Predicates. , (informal publication)
  [cs.PL/0011036]
• Klaus Aehlig, Helmut Schwichtenberg:
  A syntactical analysis of non-size-increasing polynomial time computation. , (informal publication)
  [cs.LO/0011037]
• Miklós Csürös, Ming-Yang Kao:
  Provably Fast and Accurate Recovery of Evolutionary Trees through Harmonic Greedy Triplets. , (informal publication)
  [cs.DS/0011038]
• Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi:
  A Complete Characterization of Complete Intersection-Type Theories. , (informal publication)
  [cs.LO/0011039]
• Rens Bod:
  Do All Fragments Count? , (informal publication)
  [cs.CL/0011040]
• Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik:
  EquiX - A Search and Query Language for XML. , (informal publication)
  [cs.DB/0011041]
• Hudson Turner:
  Order-consistent programs are cautiously monotonic. , (informal publication)
  [cs.LO/0011042]
• Horatiu Cirstea:
  Rewriting Calculus: Foundations and Applications. , (informal publication)
  [cs.SC/0011043]
• Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen:
  Scaling Up Inductive Logic Programming by Learning from Interpretations. , (informal publication)
  [cs.LG/0011044]
• Tanya Y. Berger-Wolf, Edward M. Reingold:
  Index Assignment for Multichannel Communication under Failure. , (informal publication)
  [cs.DS/0011045]
• Ted Herman, Toshimitsu Masuzawa:
  Available Stabilizing Heaps. , (informal publication)
  [cs.DC/0011046]
• Federico Ricci-Tersenghi, Martin Weigt, Riccardo Zecchina:
  Simplest random K-satisfiability problem. , (informal publication)
  [cond-mat/0011181]
• Anargyros Papageorgiou, Joseph F. Traub:
  Faster Evaluation of Multidimensional Integrals. , (informal publication)
  [physics/0011053]
• Wim van Dam, Sean Hallgren:
  Efficient Quantum Algorithms for Shifted Quadratic Character Problems. , (informal publication)
  [quant-ph/0011067]
• Jürgen Schmidhuber:
  Algorithmic Theories of Everything. , (informal publication)
  [quant-ph/0011122]