Informatik (15 755 Artikel)

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic...

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range...

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both fr...

Embedded systems as they occur in application domains such as automotive, aeronautics, and industrial automation often have to satisfy hard real-time constraints. Safe and precise bounds on the wor...

Das Auto der Zukunft - Vernetzt und autonom fahren

Elektronische Systeme im Fahrzeug.- Entwicklung und Test im Telematikbereich.- Modellierung und Modell-basiertes Testen.- Konzeption und Lösungsansatz.- Generierung funktionaler Testfälle.- Generie...

Carl Adam Petri: Ideas, Personality, Impact

Cartesian Genetic Programming (CGP) is a highly effective and increasingly popular form of genetic programming. It represents programs in the form of directed graphs, and a particular characteristi...

Cartesian Genetic Programming (CGP) is a highly effective and increasingly popular form of genetic programming. It represents programs in the form of directed graphs, and a particular characteristi...

A Textbook

Invited Talks.- Human-Centered CBR: Integrating Case-Based Reasoning with Knowledge Construction and Extension.- On the Role of the Cases in Case-Based Planning.- From Manual Knowledge Engineering ...

The 2001 International Conference on Case-Based Reasoning (ICCBR 2001, the fourth in the biennial ICCBR series (1995 in Sesimbra, Portugal; 1997 in Providence, Rhode Island (USA); 1999 in Seeon, Ge...

This book constitutes the refereed proceedings of the Second International Conference on Case-Based Reasoning, ICCBR-97, held in Providence, RI, USA, in July 1997.The volume presents 39 revised ful...

The biennial International Conference on Case-Based Reasoning (ICCBR) - ries, which began in Sesimbra, Portugal, in 1995, was intended to provide an international forum for the best fundamental and...

27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8-12, 2019, Proceedings