Die Arbeiten zu Bildverarbeitung und Mustererkennung sind ein Versuch, die Natur der Wahrnehmung zu begreifen und die menschliche Intelligenzleistung in einern schmalen Teilbereich zu unterstützen.
Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput- ation.
"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms.
Control technology is a new learning environment whichoffers the opportunity to take up the economic andeducational challenge of enabling people to adapt to newtechnologies and use them to solve problems.
This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "e;Intelligent Systems: Safety, Reliability and Maintainability Issues"e; that was held in Kusadasi, Turkey during August 24- 28, 1992.
Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen.
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.