3. Österreichische Artificial-Intelligence-Tagung: Wien, by Thomas Rist, Gerd Herzog, Elisabeth André (auth.), Ernst

By Thomas Rist, Gerd Herzog, Elisabeth André (auth.), Ernst Buchberger, Johannes Retti (eds.)

Show description

Read Online or Download 3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987 PDF

Best german_5 books

Echtzeitsimulation zur Prozeßführung komplexer Systeme: Entwurf und Realisierung eines Systems zur interaktiven graphischen Modellierung und zur modularen/verteilten Echtzeitsimulation verkoppelter dynamischer Systeme

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.

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.

Download PDF sample

Rated 4.97 of 5 – based on 12 votes