The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method.
Scientific visualization is a new and rapidly growing areain which efforts from computer graphics research and manyscientific and engineering disciplines are integrated.
A survey of the state of research, development and applications of all aspects of fault tolerance and dependability in computing and automation systems (hardware and software) with the topics: reconfiguration and recovery, system level diagnosis, voting and agreement, testing, fault-tolerant circuits, array testing, modelling, applied fault tolerance, fault-tolerant arrays and systems, interconnection networks, fault-tolerant software.
The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988.
The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most recent results to an elite of advanced students - young and most promising people - and prepared to stand their questions, criticism and suggestions.
The NATO Advanced Study Institute on "e;Computer algorithms for solving linear algebraic equations: the state of the art"e; was held September 9-21, 1990, at II Ciocco, Barga, Italy.
Dieses Buch wendet sich an alle, die sich mit dem Einsatz von Datenbanksystemen im Bereich der sogenannten Nicht-Standard-Anwendungen - CAD/CAM, Robotik, Künstliche Intelligenz usw.
This volume is a record of the Workshop on User Interface Management Systems and Environments held at INESC, Lisbon, Portugal, between 4 and 6 June 1990.
Bei automatischen Spracherkennungssystemen erweist sich ein Wechsel des Sprechers als besonderes Problem: Ein zuvor durch eine andere Person trainiertes Erkennungssystem hat eine deutlich erhöhte Fehlerwahrscheinlichkeit.
Small and medium enterprises (SMEs) in all industrial countries have a great need for technical and scientific data and product and market information.
Mit der zunehmenden Leistungsfähigkeit verteilter Rechnersysteme und dem wachsenden Bedarf für verteilte Anwendungen steigen auch die Anforderungen an die Entwicklungsunterstützung für solche Anwendungen.
Die Beiträge dieses Tagungsbands befassen sich aus der Sicht der Linguistischen Datenverarbeitung und ihrer benachbarten Disziplinen mit den Interaktionsmöglichkeiten zwischen Mensch und Computer.
Bringing together scientists from the various disciplines of chemistry who are actively engaged in developing software and using computers to solve their problems was the main objective of the 4th workshop 'Computers in Chemistry' (November 22-24, 1989) held in Hochfilzen, Tyrol.
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen.
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.
In den letzten Jahren haben neue Anwendungen und Einsatzgebiete im Bereich der Datenbankverwaltung zahlreiche neuartige Forschungsprobleme und Entwicklungsaufgaben hervorgebracht.
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.
Based on a number of sample systems of varying complexity, this book illustrates the practical aspects of developing expert systems and knowledge-based applications software.
Baum-Suchverfahren werden in der Informatik, insbesondere im Teilbereich der Künstlichen Intelligenz, zum Durchsuchen von Entscheidungsbäumen eingesetzt.
