Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Download Fachgesprache Auf Der 14 Gi Jahrestagung full books in PDF, epub, and Kindle. Read online Fachgesprache Auf Der 14 Gi Jahrestagung ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author : Gesellschaft für Informatik
Publisher :
ISBN 13 :
Total Pages : 284 pages
Book Rating : 4.:/5 (41 download)
Download or read book Fachgespräche auf der 14. GI-Jahrestagung written by Gesellschaft für Informatik and published by . This book was released on 1984 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : J. Encarnacao
Publisher : Springer Science & Business Media
ISBN 13 : 3642824269
Total Pages : 264 pages
Book Rating : 4.6/5 (428 download)
Download or read book Product Data Interfaces in CAD/CAM Applications written by J. Encarnacao and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: Interest in product data exchange and interfaces in the CAD/CAM area is steadi ly growing. The rapidly increasing graphics applications in engineering and sci ence has led to a great variety of heterogeneous hardware and software products. This has become a major obstacle in the progress of systems integration. To improve this situation CAD/CAM users have called for specification and imple mentation of standardized product data interfaces. These needs resulted in the definition of preliminary standards in this area. Since 1975 activities have been concentrated on developing standards for three major areas: - computer graphics, - sculptured surfaces, and - data exchange for engineering drawings. The Graphical Kernel System (GKS) has been accepted as an international standard for graphics programming in 1984, Y14.26M (IGES) was adopted as an American Standard in 1981 and the VDA Surface Interface (VDAFS) has been accepted by the German National Standardization Institute (DIN NAM 96.4). Although considerable progress has been achieved, the complexity of the subject and the dynamics of the CAD/CAM-development still calls for more generality and compatibility of the interfaces. This has resulted in an inter national discussion on further improvements of the standards. The major goal of this book is to bring together the different views and experiences in industry and university in the area of Product Data Interfaces, thereby contributing to the ongoing work in improving the state of the art.
Author : Herbert Stoyan
Publisher : Springer Science & Business Media
ISBN 13 : 3642733859
Total Pages : 161 pages
Book Rating : 4.6/5 (427 download)
Download or read book Begründungsverwaltung written by Herbert Stoyan and published by Springer Science & Business Media. This book was released on 2013-03-07 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Author : Fevzi Belli
Publisher : Springer Science & Business Media
ISBN 13 : 3642456286
Total Pages : 401 pages
Book Rating : 4.6/5 (424 download)
Download or read book Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems written by Fevzi Belli and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 401 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.
Author : Hans-Jörg Kreowski
Publisher : Springer Science & Business Media
ISBN 13 : 3662096919
Total Pages : 262 pages
Book Rating : 4.6/5 (62 download)
Download or read book Recent Trends in Data Type Specification written by Hans-Jörg Kreowski and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Nina Gerner
Publisher : Springer Science & Business Media
ISBN 13 : 3642716555
Total Pages : 825 pages
Book Rating : 4.6/5 (427 download)
Download or read book Kommunikation in Verteilten Systemen written by Nina Gerner and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 825 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author :
Publisher :
ISBN 13 :
Total Pages : 364 pages
Book Rating : 4.3/5 (91 download)
Download or read book Directory of Published Proceedings written by and published by . This book was released on 1987 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Joachim Laubsch
Publisher : Springer Science & Business Media
ISBN 13 : 3642465463
Total Pages : 292 pages
Book Rating : 4.6/5 (424 download)
Download or read book GWAI-84 written by Joachim Laubsch and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Manfred Schrenk
Publisher : Lulu.com
ISBN 13 : 395021397X
Total Pages : 497 pages
Book Rating : 4.9/5 (52 download)
Download or read book Beiträge Zur 14. Internationalen Konferenz Zu Stadtplanung, Regionalentwicklung und Informationsgesellschaft written by Manfred Schrenk and published by Lulu.com. This book was released on 2009 with total page 497 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Heinz Marburger
Publisher : Springer
ISBN 13 : 9783540531326
Total Pages : 348 pages
Book Rating : 4.5/5 (313 download)
Download or read book GWAI-90 14th German Workshop on Artificial Intelligence written by Heinz Marburger and published by Springer. This book was released on 1990 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: Auf der "GWAI-90 - 14th German Workshop on Artificial Intelligence" wurden auch in diesem Jahr im Vortragsprogramm und in fünf speziellen Workshops aktuelle KI-Forschungsergebnisse präsentiert sowie in zwei Tutorien Grundlagen von KI-Teilgebieten dargestellt. Der vorliegende Band enthält die Texte der 34 Vorträge und der zwei eingeladenen Hauptvorträge. Die angesprochenen Themenbereiche der KI sind: Wissensrepräsentation, Mensch-Computer-Interaktion, Expertensysteme, Kognition, Deduktion, Natürlichsprachliche Systeme, Maschinelles Lernen, Bildverstehen und KI-Programmiersprachen. Sowohl die Verteilung der Beiträge in diesem Band als auch die der eingereichten Beiträge auf die KI-Gebiete deutet auf eine Konzentration der Forschungsaktivitäten auf Natürlichsprachliche Systeme und Wissensrepräsentation hin.
Author : U. Herzog
Publisher :
ISBN 13 :
Total Pages : 404 pages
Book Rating : 4.F/5 ( download)
Download or read book Messung, Modellierung und Bewertung von Rechensystemen written by U. Herzog and published by . This book was released on 1987 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : J. Majus
Publisher : Springer Science & Business Media
ISBN 13 : 3642690300
Total Pages : 259 pages
Book Rating : 4.6/5 (426 download)
Download or read book Data Networks with Satellites written by J. Majus and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : R. Marty
Publisher : Springer Science & Business Media
ISBN 13 : 3642681360
Total Pages : 306 pages
Book Rating : 4.6/5 (426 download)
Download or read book PISA written by R. Marty and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report introduces the programming system PISA intendei for the interactive production of application software. The heart of the programming system is a new programming language, also called PISA. An interactive environment for this language permits the creation, test, maintenance, and usage of PISA programs in a real-time dialogue fashion. Both the programming language and its interactive environment are described without any reference to a specific implementation. Together, they form a well defined programming system whose components interact harmoniously. The programming system PISA is dedicated to application software production. This implies that production of system software and online-control programs is not a goal of PISA. Furthermore, it means that PISA must meet several requirements as they arise from commercial application software production, the most stringent ones being economy, availability, and compatibility: In the long term the overall cost of software production and usage with such a programming system must be less than with conventional means, the programming system must be available or implementable on a wide range of computer systems currently used, and existing data must be accessible in its actual physical representation. The definition of PISA is given in a heavily annotated form in this report: Examples for the use of single componer.ts as well as for the entire system are presented, most of the lan~uage constructs and system facilities are commented on briefly, and the implications of the programming system's design on implementability and portability issues are discussed.
Author : Jörg Siekmann
Publisher : Springer Science & Business Media
ISBN 13 : 3662023288
Total Pages : 332 pages
Book Rating : 4.6/5 (62 download)
Download or read book GWAI-81 written by Jörg Siekmann and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : A. Pagnoni
Publisher : Springer Science & Business Media
ISBN 13 : 3642690289
Total Pages : 323 pages
Book Rating : 4.6/5 (426 download)
Download or read book Applications and Theory of Petri Nets written by A. Pagnoni and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.
Author : B. de Neumann
Publisher : Springer Science & Business Media
ISBN 13 : 3642693911
Total Pages : 248 pages
Book Rating : 4.6/5 (426 download)
Download or read book GWAI-83 written by B. de Neumann and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : A. Ollero
Publisher : Pergamon
ISBN 13 :
Total Pages : 564 pages
Book Rating : 4.3/5 (91 download)
Download or read book Intelligent Components and Instruments for Control Applications 1992 written by A. Ollero and published by Pergamon. This book was released on 1993 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: Selected papers from the IFAC Symposium on [title], held in Malaga, Spain, May 1992, to bring together control systems specialists, equipment manufacturers, and end-users to evaluate techniques, components, and instruments for intelligent control. Intelligent control is an emergent field involving new control techniques as well as new smart controllers, sensors, and actuators. This volume contains six plenary papers, and technical papers in the areas of fuzzy control, neural networks, expert systems, qualitative methods, integrating qualitative and quantitative knowledge in simulation and control, control methods, actuators, sensors, sensors and manufacturing, image processing and computer vision, robot arm control, mobile robots, control applications, and communications and software. Published for the International Federation of Automatic Control. Annotation copyright by Book News, Inc., Portland, OR
