By Thomas Rist, Gerd Herzog, Elisabeth André (auth.), Ernst Buchberger, Johannes Retti (eds.)
Read Online or Download 3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987 PDF
Best german_5 books
Inhaltsübersicht: Einführung. - Simulation als systemtheoretische Methode. - Problematik komplexer Prozesse und modellbasierende Lösungen. - examine existierender Simulationssysteme. - Anforderungen für die Prozeßführung. - Anforderungen für die Modellierung. - Konzept einer Modellentwicklungsumgebung (MEU).
Entwicklung einer flexibel automatisierten Nähanlage
Die vorliegende Arbeit entstand wiihrend meiner Tatigkeit als wissenschaftlicher Mitarbeiter am Fraunhofer-Institut fUr Produktionstechnik und Automatisierung (IPA), Stuttgart. Herrn Professor Dr. -Ing. Dr. h. c. mult. H. J. Warnecke danke ich fiir seine wohlwollende Unterstiitzung und Forderung der Arbeit.
Kontinuumsmechanik: Elasto-, Plasto- und Kriechmechanik
Ausgehend von den Grundlagen der Kontinuumsmechanik behandelt der Autor in diesem didaktisch besonders gelungenen Lehrbuch das plastische und elastische Werkstoffverhalten unter besonderer Ber? cksichtigung mathematischer Verfahren. Erstmals enthalten ist auch eine fundierte Kriechmechanik sowohl isotroper als auch anisotroper Materialien.
- Effiziente Datenbankentwicklung mit INFORMIX-4GL: Design, Implementierung und Optimierung
- Mathematik für Informatiker I: Die Methode der Mathematik
- Ein- und mehrstufige Lagerhaltung
- Halbringe: Algebraische Theorie und Anwendungen in der Informatik
Extra info for 3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987
Sample text
Of 7th IJCAI, Vancouver, Aug. 368-374. Nejdl: Recursive strategies for Answering Recursive Quer ies - The RQA/FQI Stra te y , to appear in Proc. of the Very Large Data Base Conference VLD '87, Brighton, September 1987 [Nej87b] ... Nejdl: Some Ideas for an Efficient Integration of PROLOG and RDBMS' s: Retrieval anli Update in PROLOG-DB, Technical Report, TU Vienna, February 1987 [Ras86] ... Su: A Parallel Processing Strategy for Evaluating Recursive Queries, Proc. 412-419 [Smi86] ... Ginsberg: Controlling Recursive Inference, Artificial tntelligence 30/3, Dec.
Horacek, H. Kaindl, and M. Wagner, "Decision Making in Unclear Situations," GWAI-86, OEGAI-86, pp. 17-27, Springer-Verlag, Ottenstein, Niederoesterreich, 1986. 5. D. E. Knuth, The Art of Computer Publ. , 1981. 6. A. J. Palay, "Searching with Carnegie-Mellon University, 1983. 7. J. 8. J. Slagle and P. Bursky, "Experiments With a Multipurpose, Theorem-Proving Heuristic Program," Journal of the ACM, vol. 15, no. 1, pp. 85-99, 1968. 9. D. Slate and L. 5 - The Northwestern University chess program, in Chess Skill in Man and Machine, ed.
We are currently investigating such optimization possibilities. Comparison with Theorem Proving Concepts An ~nteresting recurs~ve query topic in this context is to compare the problem of processing (mainly investigated by database researchers) with research done in the area of theorem proving. Although methods developed in these two areas have much in common we also find some major differences. e. computation rule. Then every correct answer sUbstitution a for P + {G} is 'displayed' on the SLD tree for P + {G} via R.