Informatik (15.755 Artikel)

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z,...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the onl...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users,, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three in...

DE

1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Prädikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2....

1 Einleitung.- 1.1 Bedeutung der Zuverlässigkeit und ihrer Berechnung.- 1.2 Zuverlässigkeitsbewertung bei der Systementwicklung.- 1.3 Grundlegende Begriffe und Konzepte.- 2 Elementare Zuverlässigke...

Der Hauptbestandteil des Lehrbuchs besteht in der Beschreibung von Verfahren des Multimedia-Retrievals. Dazu diskutiert und vergleicht das Buch Verfahren der Feature-Aufbereitung sowie der Ähnlichk...

Mit den Begriffen Hard- und Software verbindet man anschau lich die Vorstellung von Strukturen, die man nur sehr schwer bzw. ganz leicht ändern kann. Die Erfahrung hat aber gezeigt, daß auch Änderu...

Cet ouvrage décrit une méthodologie et un savoir-faire pour la construction effective de modèles en analyse d'images. Les tâches d'imagerie y sont le plus souvent formalisées comme des problèmes in...

Grußworte.- Erster Teil: Eröffnung.- Die informationstechnologische Herausforderung.- öffentliche Verwaltung und Informationstechnik -- Neue Möglichkeiten, neue Probleme, neue Perspektiven: Begründ...

In einer Zeit, in der man den umweltschädigenden Einfluß unserer technologischen Gesell schaften immer deutlicher zu spüren bekommt, muß zwangsläufig die "Lehre vom Haus halt der Natur", also die Ö...

Expertensysteme.- Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1.- "Knowledge Engineering" und "Agenda"-Entwurf für ein Fehlerdia...

Automatische optische Inspektion spielt in industriellen Fertigungsprozessen eine wichtige Rolle. Die Entwicklung und Konfiguration solcher Systeme ist jedoch sehr aufwendig. Mit maschinellen Lernv...

Band 3: Analyse und Transformation

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gele...