Informatik Schriftenreihe
Forschungsergebnisse zur Informatik
ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks
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…
InformatikÜbersetzerThomas Diessel
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…
AIArtificial IntelligenceInformatikKIKünstliche IntelligenzThomas 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…
BlindeBlindheitInformatikInternetUsabilityMatthias 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…
DatenbankenInferenzInformatikInformationssucheIntelligente SoftwareagentenInternetKooperationGü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…
InformatikMatthias Fuchs
Learning Search Heuristics for Automated Deduction
Hamburg 1997, Band 34
Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören…
AIArtificial IntelligenceInformatikKIKünstliche IntelligenzMaschinelles LernenConrad Kuck
Intuitionistic Set Theory Part II
Hamburg 1998, Band 33
In part II of his study, the author deals with the following problems:
Trees and Partitions Inaccessible Cardinals Descriptive Set Theory (Theory of a real variable) Auxiliary Notions Borel sets, B-measurable…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryConrad Kuck
Intuitionistic Set Theory Part I
Hamburg 1998, Band 33
In part I of his study, the author deals with the following problems:
Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals) Decidable derivation of the axioms…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryOscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems
Hamburg 1997, Band 32
Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit…
InformatikVerifikationClaus-Peter Wirth
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Hamburg 1997, Band 31
Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für…
Informatik