This book contains papers selected for presentation at the Sixth Annual Workshop on Languages and Compilers for Parallel Computing. The workshop washosted by the Oregon Graduate Institute of Science and Technology… Meer
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research… Meer
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important… Meer
This volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing… Meer
The CRYPTO ’94 conference is sponsored by the International Association for Cryptologic Research (IACR), in co-operation with the IEEE Computer Society Technical Committee on Security and Privacy. It has taken place at the Univ- sity of California, Santa Barbara, from August 21-25,1994… Meer
Heute erwarten Unternehmen von der Software-Industrie nicht die Entwicklung neuer Software-Systeme, sondern die einfache Pflege und Verbesserung ihrer gewachsenen Systeme. Objektorientiertes Reverse Engineering ermöglicht die Umwandlung alter, in prozeduralen Programmiersprachen implementierter… Meer
Graphische Fenstersysteme sind Gegenstand der Forschung vor allem im Hinblick auf Multimedia-Anwendungen, Spracheingabe und 3D-Visualisierung. Das Buch stellt praxisorientiert Grundlagen und Funktionsweise moderner Fenstersysteme vor. Meer
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe… Meer
Die Beiträge dieses Buches vermitteln einen Überblick über aktuelle Konzepte, Entwicklungen und Probleme im Bereich der Kommunikation und Kooperation von CAD-Systemen und -Benutzern sowie der Integration von CA-Systemen in industriellen Prozeßketten… Meer
This volume presents the proceedings of Objective Quality 1995, the Second Symposium on Software Quality Techniques and Acquisition Criteria, held in Florence, Italy in May 1995. The collection of papers selected for this volume covers the various aspects of software quality with special reference… Meer
This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July… Meer
This book presents carefully revised versions of tutorial lectures given during a School on Artificial Neural Networks for the industrial world held at the University of Limburg in Maastricht, Belgium… Meer
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994… Meer
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 chosen among the recognized experts in the field… Meer
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering… Meer
This volume constitutes the refereed proceedings of the Third International Computer Science Conference, ICSC '95, held in Hong Kong in December 1995. ICSC '95 was devoted to computer graphics and image analysis applications… Meer
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers… Meer
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of… Meer
This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers… Meer
Model Based Fuzzy Control uses a given conventional or fuzzy open loop model of the plant under control to derive the set of fuzzy rules for the fuzzy controller. Of central interest are the stability, performance, and robustness of the resulting closed loop system… Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books
