Here follows a list of all Technical Reports from 2000. By following the respective links, you can have a look at a reportīs abstract or the postscript version. Generally, the abstracts are written in English, since most of the reports are in this language.

Only the reports from December 1994 and earlier are available in paperbound form. To order copies, please write to

Ms. Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Alternatively, you can also access our institute's ftp server to get the postscript version of a report in case it is stored there. The location is ftp.informatik.uni-freiburg.de/documents/reports.

Should you run into problems concerning the electronic retrieval of the reports, or in case of any questions please write to (r_ncstrl@informatik.uni-freiburg.de)!

Report No.145, October 2000 (PostScript)

Christoph Scholl, Bernd Becker:

Checking Equivalence for Partial Implementations

Keywords: Equivalence Check, Partial Implementations, Verification, Symbolic Methods

(Abstract)

Report No.144, October 2000 (PostScript)

Wolfgang Guenther:

Speeding up Dynamic Minimization of Linearly Transformed BDDs

Keywords: Binary Decision Diagrams, Linear Transformations, Minimization, Lower Bounds

(Abstract)

Report No.143, October 2000 (PostScript)

Pedro Jose Marron, Georg Lausen:

Design and Applicability of a Transparent Network Redirection Layer

Keywords: Middleware, Caching, Internet Protocol, HTTP, LDAP

(Abstract)

Report No.142, October 2000 (PostScript)

Stefan Edelkamp:

Planning with Pattern Databases

Keywords: Planning, Search, Pattern, Data Bases

(Abstract)

Report No.141, October 2000 (PostScript)

Christoph Scholl, Marc Herbstritt, Bernd Becker:

Exploiting don't cares to minimize *BMDs

Keywords: Formal Verification, Word-level Decision Diagrams, Don't Cares, *BMD, *BMD Minimization

(Abstract)

Report No.140, May 2000 (PostScript)

Luca Viganò:

An O(n log n)-Space Decision Procedure for the Relevance Logic B+ (Extended Version)

Keywords: Relevance Logics, Labelled Deduction, Computational Complexity

(Abstract)

Report No.139, April 2000 (PostScript)

Marcel Wagner, Dietmar Saupe:

RD-Optimization of Hierarchical Structured Adaptive Vector Quantization for Video Coding

Keywords: adaptive vector quantization, video coding, rate distortion optimization

(Abstract)

Report No.138, April 2000 (PostScript)

Martin Schmidt, Marcel Wagner:

Linear Prediction Coder -- Sprachkodierverfahren mit niedrigen Datenraten

Keywords: audio coding, CELP, LPC-10

(Abstract)

Report No.137, April 2000 (PostScript)

Matthias O. Will:

Metadata and library mining: Analyzing the usage of a distributed electronic library

Keywords: library mining, Dublin Core, RDF, evaluation

(Abstract)

Report No.136, March 2000 (PostScript)

W. May, G. Lausen:

Information Extraction from the Web

Keywords: information extraction, information integration, deductive databases, F-Logic

(Abstract)

Report No.135, March 2000 (PostScript)

Iztok Savnik, Peter A. Flach:

Discovery of multivalued dependencies from relations

Keywords: Attribute dependency, multivalued dependency, database reverse engineering, and data mining

(Abstract)

Report No.134, March 2000 (PostScript)

Iztok Savnik, Georg Lausen, Hans-Peter Kahle, Heinrich Spiecker, Sebastian Hein:

Algorithm for Matching Sets of Time Series

Keywords: Data mining, knowledge discovery, time-series, matching, and pattern recognition

(Abstract)

Report No.133, January 2000 (PostScript)

Joerg Hoffmann:

A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm

Keywords: planning

(Abstract)

Report No.132, January 2000 (PostScript)

Jana Koehler, Joerg Hoffmann:

On Reasonable and Forced Goal Orderings and their Use in an Incremental Planning Algorithm

Keywords: planning, goal orderings, domain analysis

(Abstract)