Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2000. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

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

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.145, Oktober 2000 (PostScript)

Christoph Scholl, Bernd Becker:

Checking Equivalence for Partial Implementations

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

(Abstract)

Bericht Nr.144, Oktober 2000 (PostScript)

Wolfgang Guenther:

Speeding up Dynamic Minimization of Linearly Transformed BDDs

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

(Abstract)

Bericht Nr.143, Oktober 2000 (PostScript)

Pedro Jose Marron, Georg Lausen:

Design and Applicability of a Transparent Network Redirection Layer

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

(Abstract)

Bericht Nr.142, Oktober 2000 (PostScript)

Stefan Edelkamp:

Planning with Pattern Databases

Keywords: Planning, Search, Pattern, Data Bases

(Abstract)

Bericht Nr.141, Oktober 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)

Bericht Nr.140, Mai 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)

Bericht Nr.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)

Bericht Nr.138, April 2000 (PostScript)

Martin Schmidt, Marcel Wagner:

Linear Prediction Coder -- Sprachkodierverfahren mit niedrigen Datenraten

Keywords: audio coding, CELP, LPC-10

(Abstract)

Bericht Nr.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)

Bericht Nr.136, März 2000 (PostScript)

W. May, G. Lausen:

Information Extraction from the Web

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

(Abstract)

Bericht Nr.135, März 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)

Bericht Nr.134, März 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)

Bericht Nr.133, Januar 2000 (PostScript)

Joerg Hoffmann:

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

Keywords: planning

(Abstract)

Bericht Nr.132, Januar 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)