Information Systems Correctness And Reusability
Download Information Systems Correctness And Reusability PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Information Systems Correctness And Reusability 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.
Informationssysteme und Künstliche Intelligenz: Modellierung
Author: Rudi Studer
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. objektorientierter Datenmodelle, um den Anforderungen aus sogenannten Nicht-Standardanwendungen wie z.B. dem B}robereich gerecht zu werden. Daraus ergeben sich unmittelbar neue Problemstellungen imHinblick auf die Entwurfs- und Modellierungsaufgaben, die mit dem Einsatz derartiger m{chtiger Datenmodelle verbunden sind. Betrachtet manandererseits Entwicklungstendenzen im Bereich der K}nstlichen Intelligenz, so wird Fragen der systematischen Entwicklung Wissensbasierter Systeme eine immer gr|~ere Wichtigkeit beigemessen. Dabei spielen u.a. Phasen-Systeme und damit verbunden der Aufbau geeigneter Modelle eine zentrale Rolle. Dementsprechend hat der 2. Workshop "Informationssysteme und K}nstliche Intelligenz" gerade das Gebiet der Modellierung als generelles Thema. Zielsetzung ist dabei, auf dem Gebiet derModellierung Gemeinsamkeiten und Unterschiede von Problemstellungen bzw. L|sungsans{tzen, die in den Fachdisziplinen K}nstliche Intelligenz und Informationssysteme/Datenbanksysteme identifiziert bzw. entwickelt worden sind, herauszuarbeiten. Damit soll gleichzeitig der Gedankenaustausch zwischen den beteiligten Fachdisziplinen gef|rdertund die Zusammenarbeit }ber Fachdisziplinen hinweg verbessert werden.
Information Control Problems in Manufacturing Technology 1992
These proceedings contain more than 80 of the best papers presented at the INCOM '92 Symposium, and relate to the vast changes which are occurring worldwide in manufacturing technology. Research oriented technical papers cover subjects such as: simulation of manufacturing processes; sensor based robots; information systems; general aspects of CIM and manufacturing networks.
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.