Informatik Schriftenreihe
Forschungsergebnisse zur Informatik

Joachim Engel

Tree Structured Function Estimation with Haar Wavelets

Hamburg 1999, Band 44

Baumstrukturierte Methoden sind ein sehr nützliches Werkzeug zur statistischen Analyse hochdimensionaler Daten. Baumdarstellungen sind in der Regel intuitiv, leicht anzuwenden und führen zu übersichtlichen Darstellungen komplexer Datenstrukturen.…

Jinhua Li

Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Hamburg 1999, Band 43

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die…

Jan Lichtermann

Eine Architektur zur Echtzeitvisualisierung von Volumendaten

Hamburg 1999, Band 42

Die Visualisierung von Volumendaten in Echtzeit mittels des elementebasierten Verfahrens Ray-casting erfordert sehr hohe Rechenleistung und Speicherbandbreite, die mit einer universellen Monoprozessorarchitektur nicht realisierbar sind. Nach…

Ralf Schneider

Verfahren zur effizienten Zellularen Verarbeitung

Hamburg 1999, Band 41

Ausgehend von bekannten Optimierungsverfahren für die Zellulare Verarbeitung wird ein Verfahren vorgestellt, welches eine Beschleunigung des Berechnungsprozesses in der zellularen Verarbeitung für verschiedene Modelle und Rechensysteme erlaubt.…

Sadegh Sadeghipour

Testing cycling software components of reactive systems on the basis of formal specifications

Hamburg 1999, Band 40

Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal…

Wolfram Amme

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Hamburg 1998, Band 39

Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für…

Thomas Diessel

Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen

Hamburg 1998, Band 38

Intelligente Tutorielle Systeme (ITS) bieten vielfältige Vorteile gegenüber konventionellen Systemen für Computer Based Training (CBT), insbesondere Adaptivität an den Schüler und die Flexibilität ihres Einsatzes für unterschiedliche…

Thomas Kahlisch

Software-ergonomische Aspekte der Studierumgebung blinder Menschen

Hamburg 1998, Band 37

Das Buch beschreibt die an der Technischen Universität Dresden entwickelten Konzepte und Verfahren zur Verbesserung von Internet-basierten Informationsangeboten für blinde Menschen. Im Vordergrund steht dabei die Nutzung moderner…

Matthias Klusch

Kooperative Informationsagenten im Internet

Hamburg 1998, Band 36

Die Arbeit liefert einen Ansatz für eine rational kooperative Informationssuche in einer Menge von heterogenen und autonomen Datenbanken. Dabei werden erstmals Methoden aus den verschiedenen Forschungsgebieten der verteilten künstlichen…

Günter Rudolph

Convergence Properties of Evolutionary Algorithms

Hamburg 1997, Band 35

Unter evolutionären Algorithmen versteht man solche iterativen stochastischen Optimierverfahren, deren Design durch Prinzipien der biologischen Evolution inspiriert ist: Eine Population von Elementen der zulässigen Menge wird durch Mutation und…