In dem Buch wird eine neuartige Planungsmethode behandelt, durch die die bisherigen Ansatze der Kunstlichen Intelligenz sinnvoll erganzt werden. Wie auch bei anderen Planungssystemen aus der Literatur wurde die Robotik als Anwendungsbereich gewahlt, da sich dort viele Teilprobleme sehr anschaulich beschreiben lassen. Der wesentliche Unterschied zu existierenden Systemen besteht in der Fahigkeit, dynamisch umzuplanen, falls dies aufgrund zusatzlich auftretender Restriktionen notwendig wird. Der gewahlte Ansatz der "heuristischen Suche" erlaubt es dabei, sowohl auf ein vollstandiges Neuplanen,...
In dem Buch wird eine neuartige Planungsmethode behandelt, durch die die bisherigen Ansatze der Kunstlichen Intelligenz sinnvoll erganzt werden. Wie a...
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer mussen die Rechnersysteme fahig sein, auf spontane aussere Ereignisse schnell zu reagieren oder - eventuell gleichzeitig - komplizierte zeitliche Steuerungsvorhaben einzuhalten. Dieses "Echtzeitverhalten" ist zentrales Thema dieses Tagungsbandes. Dabei werden sowohl theoretische Aspekte, Methoden des Software-Engineering, technische Realisierungen als...
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kle...
Dieser Band ist der Tagungsbericht eines gemeinsamen Workshops zweier thematisch verwandter Sonderforschungsbereiche, des SFB 124 "VLSI-Entwurfsmethoden und Parallelitat" an den Universitaten Kaiserslautern und Saarbrucken und des SFB 182 "Multiprozessor- und Netzwerkkonfigurationen" an der Universitat Erlangen-Nurnberg. In dem Internationalen Begegnungs- und Forschungszentrum fur Informatik Schloss Dagstuhl wurden sieben Arbeitssitzungen zu folgenden Themenkreisen abgehalten: Strukturen verteilter und paralleler Rechensysteme, Entwurfssprachen und -systeme, Architekturen verteilter...
Dieser Band ist der Tagungsbericht eines gemeinsamen Workshops zweier thematisch verwandter Sonderforschungsbereiche, des SFB 124 "VLSI-Entwurfsmethod...
It will not be our purpose in this chapter to give an introduction to the field of abstract data types proper. There are many such introductions - see the references in the bibliography. We intend rather to provide a beginner's guide to the 870 papers cited there. For experts, the 1 i st of those programmi ng languages and systems which appear in the titles should prove useful. We shall not recommend one single paper as a starting point but mention several papers which cover various aspects of the theory. Historically, the papers of [PARNAS 70] and [HOARE 72] are generally regarded as the...
It will not be our purpose in this chapter to give an introduction to the field of abstract data types proper. There are many such introductions - see...
Die vorliegende Arbeit entstand als Dissertation am Fachbereich Informatik der Universitat Hamburg; die Disputation fand am 15. Marz 1985 in Hamburg statt. Ich danke besonders dem Betreuer der Promotion und Hauptgutachter der Disser tation, Herrn Professor Dr. J. W. Schmidt, jetzt Universitat Frankfurt, fUr die langjahrige Forderung und fUr die in ensive Zusammenarbeit, die zu dieser Arbeit gefUhrt hat. Den Mitarbeitern (auch den ehemaligen und externen) der Forschungs gruppe 'Datenbanken und Informationssysteme' am Fachbereich Informatik der Universitat Hamburg (jetzt Frankfurt) danke ich...
Die vorliegende Arbeit entstand als Dissertation am Fachbereich Informatik der Universitat Hamburg; die Disputation fand am 15. Marz 1985 in Hamburg s...