Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2004. 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.215, Dezember 2004 (PostScript)

K. A. Mohamed:

Adaptable, Adaptive and Perceptual Concepts for UI-On-Demand-and-Within-Reach Configurations

Keywords: UI concepts, adaptable, adaptive, perceptual, digital ink, InkML, freehand writings

(Abstract)

Bericht Nr.214, November 2004 (PostScript)

E. Abraham, B. Becker, F. Klaedtke, M. Steffen:

Optimizing Bounded Model Checking for Linear Hybrid Systems - Theory and Experimental Results

Keywords: verification, BMC, hybrid systems, SAT-solving, ICS

(Abstract)

Bericht Nr.212, August 2004 (PostScript)

Matthias Neubauer, Peter Thiemann:

Protocol Specialization

Keywords: Concurrent Functional Programming, Types, Program Specialization

(Abstract)

Bericht Nr.211, August 2004 (PostScript)

K. A. Mohamed, Th. Ottmann:

Restructuring Data Constructs in Overlapping Digital Ink Domains for Agent-Oriented Approaches

Keywords: Agent oriented software engineering, digital ink, pen gestures, InkML, learning environments

(Abstract)

Bericht Nr.210, August 2004 (PostScript)

K. A. Mohamed:

Investigating the Lead and Lag Times of Digital Freehands

Keywords: Digital ink, InkML, lead-lag time, freehand writings

(Abstract)

Bericht Nr.209, August 2004 (PostScript)

K. A. Mohamed, Th. Ottmann:

Ingrid, Geraldine and Amidala { Competent Agents for Pen Gestures Interactivity

Keywords: Digital pen gestures, InkML, interface agents, eLearning

(Abstract)

Bericht Nr.208, August 2004 (PostScript)

K. A. Mohamed, Th. Ottmann:

Autonomous Agents as Competent Assistants: Better Interpretation of Pen Gestures

Keywords: digital ink, autonomous agents, pen gestures

(Abstract)

Bericht Nr.207, August 2004 (PostScript)

K. A. Mohamed, Th. Ottmann:

Recognising sketch objects as gestures via autonomous agents

Keywords: digital ink, pen gestures

(Abstract)

Bericht Nr.206, Juli 2004 (PostScript)

Marc Herbstritt, Thomas Kmieciak, Bernd Becker:

Circuit Partitioning for SAT-based Combinational Circuit Verification --- A Case Study

Keywords: Satisfiability, Equivalence Checking, Circuit Partitioning

(Abstract)

Bericht Nr.205, Juni 2004 (PostScript)

Jussi Rintanen:

Conditional Planning in the Discrete Belief Space

Keywords: planning, partial observability, algorithms

(Abstract)

Bericht Nr.204, Mai 2004 (PostScript)

Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel:

Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking

Keywords: Cognitive Vision, Model-Based Tracking, Qualitative Reasoning

(Abstract)

Bericht Nr.203, September 2004 (PostScript)

Jan-Georg Smaus:

Termination of Logic Programs Using Various Dynamic Selection Rules

Keywords: termination, logic programming, dynamic scheduling, selection rule

(Abstract)

Bericht Nr.202, Mai 2004 (PostScript)

Thomas Eschbach, Wolfgang Günther, Bernd Becker:

Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases

Keywords: Orthogonal Circuit Visualization

(Abstract)

Bericht Nr.201, Mai 2004 (PostScript)

Tobias Nopper, Christoph Scholl:

Symbolic Model Checking for Incomplete Designs

Keywords: Model Checking, Incomplete Designs, Verification, Modellprüfung, Unvollständige Designs, Verifikation, Black Box, Black Boxes

(Abstract)

Bericht Nr.200, April 2004 (PostScript)

Timo Nüssle, Alexander Kleiner, Michael Brenner:

Approaching Urban Disaster Reality: The ResQ Firesimulator

Keywords: --

(Abstract)

Bericht Nr.199, April 2004 (PostScript)

Sebastian Trueg, Joerg Hoffmann, Bernhard Nebel:

Applying Automatic Planning Techniques to Airport Ground-Traffic Control --- A Feasibility Study

Keywords: Planning, Applications

(Abstract)

Bericht Nr.198, Februar 2004 (PostScript)

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä:

Parallel Encodings of Classical Planning as Satisfiability

Keywords: planning, propositional logic, satisfiability testing

(Abstract)

Bericht Nr.197, Februar 2004 (PostScript)

J. Hoffmann, J. Porteous, L. Sebastia:

Ordered Landmarks

Keywords: Planning, Domain Analysis

(Abstract)

Bericht Nr.196, Februar 2004 (PostScript)

Stefan Edelkamp, Alberto Lluch-Lafuente:

Abstraction Databases

Keywords: model checking, abstraction, heuristic search

(Abstract)

Bericht Nr.195, Januar 2004 (PostScript)

Stefan Edelkamp, Joerg Hoffmann:

PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition

Keywords: planning, competition, PDDL

(Abstract)