ISBNs beginnend mit 978-3-89838-xxx-x

Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation

Unscharfes Schliessen

Unifikation disjunktiver Attributterme

Reinforcement-Lernen in der Robotik

Modularisierung und Fokussierung erweiterbarer komplexer Wissensbasen auf der Basis von Kompetenzeinheiten

Vergleichende Bewertung konnektionistischer Modelle mit klassischen statistischen Klassifikationsverfahren

A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning

Entwurf und Analyse nichtlinearer Diffusionsverfahren für die Bildverarbeitung

Visuelle Erkennung von Handstellungen mit neuronalen Netzen

Erkennung von Objekten in Einzelvideobildern mittels Aspektbäumen