Informatik Schriftenreihe
Forschungsergebnisse zur Informatik

Bettina Martelli

Leitlinien einer Methodik zur Validierung und zum Vergleich von kognitionswissenschaftlichen Modellen

am Beispiel der Helligkeitswahrnehmung

Hamburg 1999, Band 45

In dieser Arbeit werden theoretische und methodische Grundlagen für die Validierung und den Vergleich von kognitionswissenschaftlichen Modellen gelegt und praktisch angewendet. Die Autorin behandelt dabei den speziellen Fall von Modellen der…

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…