Informatik III

Forschung

Lehre

Aktuelles

Suche

.

	Forschungsberichte
	(ISSN 0944-8535)

• Forschungsberichte des Instituts für Informatik III sind erhältlich durch:
  
  Sekretariat für Forschungsberichte
  Institut für Informatik III
  Universität Bonn
  Römerstr. 164
  D-53177 Bonn
  
  Fax: 0228 73-4382
  E-Mail: techrep@iai.uni-bonn.de
  

      1991  1992  1993  1994  1995  1996  1997  1998  1999  2000  2001  2002 
      Copyright Notice 

• 1991
• Armin B. Cremers and Thomas N. Hibbard,
  Axioms for Concurrent Processes,
  IAI-TR-91-1, June 1991.

---

• 1992
• Ralf Hinze,
  The Categorical Abstract Machine: Basics and Enhancements,
  IAI-TR-92-1, December 1992.
• Gerhard Lakemeyer,
  On Perfect Introspection with Quantifying-in,
  IAI-TR-92-2, December 1992.
• Gerhard Lakemeyer,
  All You Ever Wanted to Know about Tweety,
  IAI-TR-92-3, December 1992.

---

• 1993
• Sebastian B. Thrun,
  Exploration and Model Building in Mobile Robot Domains,
  IAI-TR-93-1, January 1993.
• Dieter W. Fellner and Christoph Helmberg,
  Best Approximate General Ellipses on Integer Grids,
  IAI-TR-93-2, January 1993.
• Hermann Stamm-Wilbrandt,
  Programming in Propositional Logic or Reductions: Back to the Roots (Satisfiability),
  IAI-TR-93-3, March 1993.
• Dieter W. Fellner,
  Extensible Image Synthesis,
  IAI-TR-93-4, April 1993.
• Sebastian B. Thrun,
  Extracting Provably Correct Rules from Artificial Neural Networks,
  IAI-TR-93-5, May 1993.
• Andreas Bergmann,
  Adaptive Steuerung von Strategieparametern bei genetischen Algorithmen,
  IAI-TR-93-6, June 1993.
• Sebastian B. Thrun and Tom M. Mitchell,
  Lifelong Robot Learning,
  IAI-TR-93-7, July 1993.
• Armin B. Cremers, Thomas Lemke, Volker Paul and Marion Schulz,
  Situation Schemata as Representation Format and Query Language for a Non-Standard Database System,
  IAI-TR-93-8, August 1993.
• Dieter W. Fellner and Martin Fischer,
  CGI++ : A 2D Graphics Interface Based on CGI,
  IAI-TR-93-9, August 1993.
• Hermann Stamm-Wilbrandt,
  A simple linear time algorithm for embedding maximal planar graphs,
  IAI-TR-93-10, October 1993.

---

• 1994
• Armin B. Cremers, Thomas Lemke and Mechthild Rohen,
  Logic Program Modules for Interoperable Information Systems,
  IAI-TR-94-1, May 1994.
• Christoph Hundack and Hermann Stamm-Wilbrandt,
  Planar embedding of hamiltonian graphs via efficient bipartation of circle graphs,
  IAI-TR-94-2, June 1994.
• Günter Kniesel,
  Implementation of Dynamic Delegation in Strongly Typed Inheritance-Based Systems,
  IAI-TR-94-3 (updated), October 1994.
• Ulrike Griefahn and Rainer Manthey,
  Update Propagation in Chimera, an Active DOOD Language,
  IAI-TR-94-4, October 1994.
• Rainer Manthey,
  Reflections on Some Fundamental Issues of Rule-Based Incremental Update Propagation,
  IAI-TR-94-5, October 1994.

---

• 1995
• C. Braun, Thomas H. Kolbe, F. Lang, W. Schickler, Volker Steinhage, Armin B. Cremers, Wolfgang Förstner and Lutz Plümer,
  Modelle für die Photogrammetrische Gebäudekonstruktion,
  IAI-TR-95-1, January 1995.
• Joachim M. Buhmann, Wolfram Burgard, Armin B. Cremers, Dieter Fox, Thomas Hofmann, Frank Schneider, J. Strikos and Sebastian Thrun,
  The Mobile Robot Rhino,
  IAI-TR-95-2, January 1995.
• Joseph Y. Halpern and Gerhard Lakemeyer,
  Levesque's Axiomatization of Only Knowing is Incomplete,
  IAI-TR-95-3, January 1995.
• Ulrike Griefahn,
  First Specification of Phoenix, an Active Database Programming Language,
  IAI-TR-95-4, January 1995.
• Christoph Hundack and Hermann Stamm-Wilbrandt,
  Extended circle graphs I,
  IAI-TR-95-5, March 1995.
• Wolfram Burgard, Armin B. Cremers, Dieter Fox, Martin Heidelbach, Angelica M. Kappel and Stefan Lüttringhaus-Kappel,
  Knowledge-enhanced CO-monitoring in Coal Mines,
  IAI-TR-95-6, March 1995.
• Thomas Hofmann and Joachim M. Buhmann,
  Pairwise Data Clustering by Deterministic Annealing,
  IAI-TR-95-7 (revised), June 1995.
• Dieter W. Fellner and Martin Fischer,
  Penguin - A Portable Environment for a Graphical User Interface,
  IAI-TR-95-8, June 1995.
• Martin Fischer,
  A Portable Algorithm for Dynamic Color Management,
  IAI-TR-95-9, June 1995.
• Dieter W. Fellner and Martin Fischer,
  Distributed CGI++ - eine Client/Server- Lösung zur Entwicklung leistungsfähiger Computergraphik-Anwendungen,
  IAI-TR-95-10, July 1995.
• Martin Fischer,
  Runtime Type for Class Hierarchies,
  IAI-TR-95-11, July 1995.
• Martin Fischer,
  Reference Pointer for Class Hierarchies,
  IAI-TR-95-12, August 1995.
• Dieter Fox, Wolfram Burgard and Sebastian Thrun,
  The Dynamic Window Approach to Collision Avoidance,
  IAI-TR-95-13, August 1995.

---

• 1996
• Wolfram Burgard, Dieter Fox, Daniel Hennig and Timo Schmidt,
  Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids,
  IAI-TR-96-1, February 1996.
• Thomas Hofmann, Jan Puzicha and Joachim M. Buhmann,
  A Deterministic Annealing Framework for Unsupervised Texture Segmentation,
  IAI-TR-96-2, February 1996.
• Sebastian Thrun, A. Bücken, Wolfram Burgard, Dieter Fox, Torsten Fröhlinghaus, Daniel Hennig, Thomas Hofmann, M. Krell and T. Schmidt,
  Map Learning and High-Speed Navigation in RHINO,
  IAI-TR-96-3, July 1996.
• Gerhard Lakemeyer and Wilfried Lang,
  Belief Revision in a Nonclassical Logic,
  IAI-TR-96-4 (not available), July 1996.
• Wolfgang Förstner and Armin B. Cremers,
  Bildverarbeitung und Mustererkennung,
  IAI-TR-96-5 (.tar.gz), July 1996.
• Ulrike Griefahn and Thomas Lemke,
  Implementing Chimera on Top of an Active Relational Database System,
  IAI-TR-96-6, July 1996.
• Ulrike Griefahn and Thomas Rath,
  Propagation Rule Compiler: Technical Documentation,
  IAI-TR-96-7, July 1996.
• Hansjörg Klock and Joachim M. Buhmann,
  Data Visualization by Multimensional Scaling: A Deterministic Annealing Approach,
  IAI-TR-96-8, October 1996.
• Ralf Hinze,
  Monadic-style Backtracking,
  IAI-TR-96-9 (outdated), October 1996.
• Roman Englert,
  The System Cobrep: Automatic Conversion of CSG Building Data to Boundary Representation,
  IAI-TR-96-10, October 1996.
• Günter Kniesel,
  Objects don't Migrate,
  IAI-TR-96-11, April 1996.
• Günter Kniesel,
  Encapsulation - Visability and Access Rights,
  IAI-TR-96-12 (updated), November 1996.
• Oleg Balownew, Thomas Bode, Armin B. Cremers, Jürgen Kalinski, Jens E. Wolff and Heinz Rottmann,
  Maintaining Library Catalogues with an RDBMS - A Performance Study -,
  IAI-TR-96-13, November 1996.
• Heinzgerd Bendels, Dieter W. Fellner and Stephan Schäfer,
  Hierarchical Radiosity on Topological Data Structures ,
  IAI-TR-96-14, November 1996.

---

• 1997
• Dieter W. Fellner and Stephan Schäfer,
  Closing the Gap between Modeling and Radiosity ,
  IAI-TR-97-1, January 1997.
• Roman Englert and Jörg Seelmann-Eggebert,
  P-Subgraph Isomorphism Computation and Upper Bound Complexity Estimation,
  IAI-TR-97-2, January 1997.
• Wolfram Burgard, Dieter Fox and Sebastian Thrun,
  Active Mobile Robot Localization ,
  IAI-TR-97-3, February 1997.
• Jan Puzicha and Joachim M. Buhmann,
  Multiscale Annealing for Real-Time Unsupervised Texture Segmentation,
  IAI-TR-97-4, April 1997.
• Jens E. Wolff and Jürgen Kalinski,
  The MyView System: Tackling the Interface Problem,
  IAI-TR-97-5, December 1997.

---

• 1998
• Jan Puzicha, Marcus Held, Jens Ketterer, Joachim M. Buhmann and Dieter W. Fellner,
  On Spatial Quantization of Color Images,
  IAI-TR-98-1, January 1998.
• Tom Arbuckle, Michael Beetz and Boris Trouvain,
  A Reconfigurable Image Capture and Image Processing System for Autonomous Robots - A Proposal -,
  IAI-TR-98-2 (updated), January 1998.
• Joachim M. Buhmann,
  Empirical Risk Approximation: An Induction Principle for Unsupervised Learning,
  IAI-TR-98-3, April 1998.
• Günter Kniesel,
  Type-Safe Delegation for Dynamic Component Adaptation,
  IAI-TR-98-4, May 1998.
• Günter Kniesel,
  Delegation for Java: API or Language Extension?,
  IAI-TR-98-5, May 1998.
• Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner and Sebastian Thrun,
  Experiences with an Interactive Museum Tour-Guide Robot,
  IAI-TR-98-6, June 1998.
• Lothar Hermes, Jan Puzicha, Dieter Frieauff and Joachim M. Buhmann,
  Support Vector Machines for Land Usage Classification in Landsat TM Imagery,
  IAI-TR-98-7 (not available), June 1998.
• Ansgar Brunn, Roman Englert, Thomas Hau, Armin B. Cremers and Wolfgang Förstner,
  Aufnahme und intelligente Auswertung großflächiger Szenen,
  IAI-TR-98-8, September 1998.
• Oliver Stiemerling,
  Komponentenbasierte Anpaßbarkeit von Groupware,
  IAI-TR-98-9, September 1998.
• Ralf Hinze,
  Polytypic Functions Over Nested Datatypes,
  IAI-TR-98-10, October 1998.
• Ralf Hinze,
  Generalizing Generalized Tries,
  IAI-TR-98-11, November 1998.
• Ralf Hinze,
  Numerical Representations as Higher-Order Nested Datatypes,
  IAI-TR-98-12, December 1998.
• Jens E. Wolff and Armin B. Cremers,
  The MyView Project: from Heterogeneous Bibliographic Information Repositories to Personalized Digital Libraries,
  IAI-TR-98-13, December 1998.
• Oliver Stiemerling and Armin B. Cremers,
  The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System,
  IAI-TR-98-14, December 1998.
• Armin B. Cremers, Christoph Hundack and Jens Lüssem,
  Portfoliooptimierung mit Verfahren aus der Informatik,
  IAI-TR-98-15, December 1998.

---

• 1999
• Ralf Hinze,
  Deriving Monad Transformers,
  IAI-TR-99-1, January 1999.
• Ralf Hinze,
  Polytypic Programming With Ease,
  IAI-TR-99-2, February 1999.
• Michael Beetz and Thorsten Belker,
  Experience- and Model-based Transformational Learning of Symbolic Behavior Specifications,
  IAI-TR-99-3, March 1999.
• Ralf Hinze,
  Perfect Trees and Bit-reversal Permutations,
  IAI-TR-99-4, March 1999.
• Ralf Hinze,
  Manufacturing Datatypes,
  IAI-TR-99-5, April 1999.
• Ralf Hinze,
  Constructing Red-Black Trees,
  IAI-TR-99-6, May 1999.
• Volker Roth and Volker Steinhage,
  Nonlinear Discriminant Analysis Using Kernel Functions,
  IAI-TR-99-7, June 1999.
• Ralf Hinze,
  Efficient Generalized Folds,
  IAI-TR-99-8, June 1999.
• Ralf Hinze,
  A New Approach to generic Functional Programming,
  IAI-TR-99-9, July 1999.
• Oliver Stiemerling, Ralph Hinken and Armin B. Cremers,
  Distributed Component-Based Tailorability for CSCW Applications,
  IAI-TR-99-10, March 1999.
• Günter Kniesel and Dirk Theisen,
  Flexible Aliasing with Protection,
  IAI-TR-99-11, June 1999.
• Jens E. Wolff, Holger Flörke and Armin B. Cremers,
  XPRES: a Ranking Approach to Retrieval on Structured Documents,
  IAI-TR-99-12, July 1999.
• Oliver Stiemerling, Ralph Hinken and Armin B. Cremers,
  The Evolve Tailoring Platform: Supporting the Evolution of Component-based Groupware,
  IAI-TR-99-13, September 1999.
• Andreas Behrend,
  Mutiple SIP Strategies - A Dynamic Approach to Deductive Query Processing,
  IAI-TR-99-14 (not available), December 1999.
• Ralf Hinze,
  Polytypic values possess polykind types,
  IAI-TR-99-15, December 1999.

---

• 2000
• Michael Beetz and Henrik Grosskreutz,
  Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior,
  IAI-TR-2000-1, June 2000.

---

• 2001
• Elmar Haneke,
  NewsSIEVE - Ein selbstadaptiver Filter für textuelle Inforamtionen,
  IAI-TR-2001-1, January 2001.
• Wolfgang Reddig,
  Perspektiven: Persistente Objekte mit anwendungsspezifischer Struktur und Funktionalität,
  IAI-TR-2001-2, November 2001.
• Lothar Hermes and Joachim M. Buhmann,
  A New Adaptive Algorithm for the Polygonization of Noisy Imagery,
  IAI-TR-2001-3, December 2001.

---

• 2002
• Pascal Costanza, Günter Kniesel, Katharina Mehner, Elke Pulvermüller and Andreas Speck (eds.),
  Second Workshop on Aspect-Oriented Software Development of the GI (German Informatics Society),
  IAI-TR-2002-1, February 2002.
• Ralf Hinze,
  Constructing tournament representations - An exercise in pointwise relational programming,
  IAI-TR-2002-2, February 2002.
• Ralf Hinze,
  Church numerals, twice!,
  IAI-TR-2002-3, February 2002.
• Dirk Schulz,
  Internet-Based Robotic Tele-Presence,
  IAI-TR-2002-6, May 2002.
• Roman Englert,
  Planning to Optimize the UMTS Call Set­up for the Execution of Mobile Applications,
  IAI-TR-2002-9, October 2002.