Gi 14 Jahrestagung
DOWNLOAD
Download Gi 14 Jahrestagung PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Gi 14 Jahrestagung book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Gi 14 Jahrestagung
DOWNLOAD
Author : H.-D. Ehrich
language : de
Publisher: Springer-Verlag
Release Date : 2013-07-02
Gi 14 Jahrestagung written by H.-D. Ehrich and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-07-02 with Computers categories.
Gi 14 Jahrestagung
DOWNLOAD
Author : Gesellschaft für Informatik
language : de
Publisher: Springer
Release Date : 1984-09
Gi 14 Jahrestagung written by Gesellschaft für Informatik and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 1984-09 with Computers categories.
Die 14. Jahrestagung der Gesellschaft fUr Informatik in Braunschweig, fUr die der Ministerprasident des Landes Niedersachsen, Dr. Ernst Al brecht, die Schirmherrschaft Ubernommen hat, steht unter dem Leitthema "Informatik und Ingenieurwissenschaften" Mit dieser Thematik solI die Informatik in ihrer Wechselbeziehung zu den Anwendungen in den verschiedenen ingenieurwissenschaftlichen Dis ziplinen dargestellt werden, und es sollen aktuelle Entwicklungen und Ergebnisse sowohl Uber neue technische Anwendungen als auch Uber Metho den, Konzepte und Grundlagen der Informatik mit besonderer Bedeutung fUr technische Anwendungen aufgezeigt werden. Der vorliegende Tagungsband ~nthalt die Beitrage im Hauptprogramm der 14. Jahrestagung, bestehend aus eingeladenen Hauptvortragen zu zentra len Themenschwerpunkten sowie Fachbeitragen zu ausgewahlten spezielle ren Fragestellungen im Rahmen des Leitthemas. Den Mitgliedern des Programmausschusses sei fUr die gute und hilfreiche Zusammenarbeit an dieser Stelle herzlich gedankt. AuBer Ihnen haben bei der Auswahl von Fachbeitragen als Referenten. mitgewirkt: H.-J. Appel rath (ZUrich), A. Blaser (Heidelberg), A. B. Cremers (Dortmund), R. Durch holz (St. Augustin), M. Feilmeier (Braunschweig), J. Freitag (Dortmund), H. Fricke (Braunschweig), H. Geist (Paderborn), R. Hampel (Paderborn), U. i organisatorischen Arbeiten haben mich Frau R.
Fachgespr Che Auf Der 14 Gi Jahrestagung
DOWNLOAD
Author : H.-D. Ehrich
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-12
Fachgespr Che Auf Der 14 Gi Jahrestagung written by H.-D. Ehrich and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-12 with Computers categories.
Begr Ndungsverwaltung
DOWNLOAD
Author : Herbert Stoyan
language : en
Publisher: Springer Science & Business Media
Release Date : 2013-03-07
Begr Ndungsverwaltung written by Herbert Stoyan and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-07 with Computers categories.
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.
14 Jahrestagung
DOWNLOAD
Author : Gesellschaft für Informatik
language : en
Publisher:
Release Date :
14 Jahrestagung written by Gesellschaft für Informatik and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on with categories.
Fehlertolerierende Rechensysteme Fault Tolerant Computing Systems
DOWNLOAD
Author : Fevzi Belli
language : en
Publisher: Springer Science & Business Media
Release Date : 2012-12-06
Fehlertolerierende Rechensysteme Fault Tolerant Computing Systems written by Fevzi Belli and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-12-06 with Computers categories.
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.
Gwai 90 14th German Workshop On Artificial Intelligence
DOWNLOAD
Author : Heinz Marburger
language : en
Publisher: Springer
Release Date : 1990
Gwai 90 14th German Workshop On Artificial Intelligence written by Heinz Marburger and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990 with Computers categories.
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.
Gwai 84
DOWNLOAD
Author : Joachim Laubsch
language : en
Publisher: Springer Science & Business Media
Release Date : 2012-12-06
Gwai 84 written by Joachim Laubsch and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-12-06 with Computers categories.
Gi Jahrestagung
DOWNLOAD
Author : Gesellschaft für Informatik
language : de
Publisher:
Release Date : 1980
Gi Jahrestagung written by Gesellschaft für Informatik and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1980 with categories.
Multigrid Methods
DOWNLOAD
Author : Stephen F. Mccormick
language : en
Publisher: CRC Press
Release Date : 2020-08-12
Multigrid Methods written by Stephen F. Mccormick and has been published by CRC Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2020-08-12 with Mathematics categories.
This book is a collection of research papers on a wide variety of multigrid topics, including applications, computation and theory. It represents proceedings of the Third Copper Mountain Conference on Multigrid Methods, which was held at Copper Mountain, Colorado.