CoRR, November 2000
- Atsushi Fujii, Tetsuya Ishikawa:
Utilizing the World Wide Web as an Encyclopedia: Extracting Term Descriptions from Semi-Structured Texts.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011001]
- Atsushi Fujii, Tetsuya Ishikawa:
A Novelty-based Evaluation Method for Information Retrieval.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011002]
- Atsushi Fujii, Tetsuya Ishikawa:
Applying Machine Translation to Two-Stage Cross-Language Information Retrieval.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011003]
- Jörn Müller-Quade, Hideki Imai:
Anonymous Oblivious Transfer.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CR/0011004]
- Michiel Ronsse, Koenraad De Bosschere:
Non-intrusive on-the-fly data race detection using execution replay.
Electronic Edition (link) BibTeX
[cs.SE/0011005]
- Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux:
Execution replay and debugging.
Electronic Edition (link) BibTeX
[cs.SE/0011006]
- Khalil Sima'an:
Tree-gram Parsing: Lexical Dependencies and Structural Relations.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011007]
- Manfred Schmidt-Schauß, Michael Huber:
A Lambda-Calculus with letrec, case, constructors and non-determinism.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.PL/0011008]
- David Eppstein:
Small Maximal Independent Sets and Faster Exact Graph Coloring.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0011009]
- Dale E. Parson, Bryan Schlieder, Paul Beatty:
Extension Language Automation of Embedded System Debugging.
Electronic Edition (link) BibTeX
[cs.SE/0011010]
- Jean Berstel, Luc Boasson:
Formal Properties of XML Grammars and Languages.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DM/0011011]
- Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach, Part I: Causes.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0011012]
- Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski:
Transformation-Based Bottom-Up Computation of the Well-Founded Model.
, (informal publication)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[cs.DS/0011015]
- Ming-Yang Kao, Stephen R. Tate:
Designing Proxies for Stock Market Indices is Computationally Hard.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CE/0011016]
- Johann Schumann:
Automatic Debugging Support for UML Designs.
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[cs.CC/0011019]
- Norbert Bröker:
The Use of Instrumentation in Grammar Engineering.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011020]
- Raimondas Lencevicius:
On-the-fly query-based debugging with examples.
Electronic Edition (link) BibTeX
[cs.SE/0011021]
- Raimondas Lencevicius, Alexander Ran, Rahav Yairi:
Apache Web Server Execution Tracing Using Third Eye.
Electronic Edition (link) BibTeX
[cs.SE/0011022]
- Ming-Yang Kao, Junfeng Qi, Lei Tan:
Optimal Bidding Algorithms Against Cheating in Multiple-Object Auctions.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CE/0011023]
- Sara Cohen, Werner Nutt, Alexander Serebrenik:
Algorithms for Rewriting Aggregate Queries Using Views.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DB/0011024]
- Alexander Serebrenik, Danny De Schreye:
Termination analysis of logic programs using acceptability with general term orders.
, (informal publication)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[cs.CG/0011026]
- Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
Model-Based Debugging of Java Programs.
Electronic Edition (link) BibTeX
[cs.SE/0011027]
- David Elworthy:
Retrieval from Captioned Image Databases Using Natural Language Processing.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011028]
- Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa:
Systematic Debugging of Attribute Grammars.
Electronic Edition (link) BibTeX
[cs.SE/0011029]
- Nikolay Pelov, Emmanuel De Mot, Marc Denecker:
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0011030]
- N. Giglioli, Andrea Saltelli:
SimLab 1.1, Software for Sensitivity and Uncertainty Analysis, tool for sound modelling.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DM/0011031]
- Hendrik Blockeel, Luc De Raedt, Jan Ramon:
Top-down induction of clustering trees.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LG/0011032]
- Raymond Kosala, Hendrik Blockeel:
Web Mining Research: A Survey.
, (informal publication)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[cs.CL/0011034]
- Sven Verdoolaege, Marc Denecker, Frank Van Eynde:
Abductive reasoning with temporal information.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0011035]
- Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
Automatic Termination Analysis of Programs Containing Arithmetic Predicates.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.PL/0011036]
- Klaus Aehlig, Helmut Schwichtenberg:
A syntactical analysis of non-size-increasing polynomial time computation.
, (informal publication)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[cs.DS/0011038]
- Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi:
A Complete Characterization of Complete Intersection-Type Theories.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/0011039]
- Rens Bod:
Do All Fragments Count?
, (informal publication)
Electronic Edition (link) BibTeX
[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)
Electronic Edition (link) BibTeX
[cs.DB/0011041]
- Hudson Turner:
Order-consistent programs are cautiously monotonic.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/0011042]
- Horatiu Cirstea:
Rewriting Calculus: Foundations and Applications.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SC/0011043]
- Hendrik Blockeel, Luc De Raedt, Nico Jacobs, Bart Demoen:
Scaling Up Inductive Logic Programming by Learning from Interpretations.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LG/0011044]
- Tanya Y. Berger-Wolf, Edward M. Reingold:
Index Assignment for Multichannel Communication under Failure.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0011045]
- Ted Herman, Toshimitsu Masuzawa:
Available Stabilizing Heaps.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DC/0011046]
- Federico Ricci-Tersenghi, Martin Weigt, Riccardo Zecchina:
Simplest random K-satisfiability problem.
, (informal publication)
Electronic Edition (link) BibTeX
[cond-mat/0011181]
- A. Papageorgiou, J. F. Traub:
Faster Evaluation of Multidimensional Integrals.
, (informal publication)
Electronic Edition (link) BibTeX
[physics/0011053]
- Wim van Dam, Sean Hallgren:
Efficient Quantum Algorithms for Shifted Quadratic Character Problems.
, (informal publication)
Electronic Edition (link) BibTeX
[quant-ph/0011067]
- Jürgen Schmidhuber:
Algorithmic Theories of Everything.
, (informal publication)
Electronic Edition (link) BibTeX
[quant-ph/0011122]
Copyright © Sat May 16 23:54:01 2009
by Michael Ley (ley@uni-trier.de)