Informatik (15 755 Artikel)

Die vorliegende Dissertation entstand neben meiner Tätigkeit am Institut für Produktionstechnik GmbH (ifp). Besonders danken möchte ich Herrn Professor Dr.-Ing. 1. Milberg, dem Leiter des Lehrstuhi...

This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.The volume opens with full versions of four invited...

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in Septembe...

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized ...

This book presents a selection of revised refereed papers taken from the contributions to the Second European Workshop on Case-Based Reasoning, EWCBR-94, held at the Abbaye de Royaumont near Paris ...

1 Einführende Übersicht.- 1.1 Anwendung.- 1.2 Technik.- 1.3 Engineering.- 1.4 Perspektive.- 2 Verknüpfungssteuerungen.- 2.1 Technische Realisierung.- 2.2 Binäre Verknüpfungen.- 2.3 Speicher, Zähler...

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1...

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.The ESEC conferences are the premier Eur...

This book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in October 1995.The book presents three invited papers...

This book presents the refereed proceedings of the 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, held in Florence, Italy, in October 1995.The 31 revised full paper...

This volume is based on the Workshop on Evolutionary Computing held in Sheffield, U.K., in April 1995 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of...

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised...

This book documents the scientific outcome of the International NSF-ARPA Workshop on Object Representation in Computer Vision, held in New York City in December 1994 with invited participants chose...

This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995.The 45 revised full papers prese...

This book presents revised full versions of the best papers accepted for the SCM-4 and SCM-5 Workshops on Software Configuration Management, held in connection with the 1994 and 1995 IEEE Internati...