It is well-known that some 85% of the resources necessary to design and bring to market a product are committed by decisions taken in the first 10% of the design activity. Meer
System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal specification of the system. Meer
Safety-critical systems, in the sense of software-based systems used in safety critical applications, are 'high-tech'. They are products of modern technology. Meer
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. Meer
About this Book I wrote this book to help students who are about to start their first project. It provides guidance on how to organise your work so that you achieve your agreed objective. Meer
Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages. Meer
This volume contains the papers presented at the International Scientific Symposium "Natural Language and Logic" held in Hamburg in May 1989. The aim of the papers is to present and discuss latest developments in the application of logic-based meth- ods for natural language understanding. Meer
Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. Meer
Hochaktuell und spannend: Wir erleben eine ständig zunehmende Informatisierung. Informations- und Kommunikationstechnologien werden unseren Alltag künftig weitaus stärker durchdringen als wir es uns vorstellen können. Meer
Fortran is currently the world's most powerful numeric language and F is a subset of this. F is a programming language which is nearly as powerful as its parent language, containing the modern language features of Fortran, yet smaller and easier to use, debug and teach than Fortran. Meer
Introduction One of the most often-repeated questions of recent years is 'Are you on the Web?' The growth ofthe World Wide Web (WWW or simply 'Web') has been phenomenal. Meer
This book is about longitudinal research in Human-Computer Interaction (HCI). Since the early 1980s much has been understood about the problems of novices learning new systems as well as the performance of expert users. Meer
Soft Computing has emerged as an important approach towards achieving intelligent computational paradigms where key elements are learning from experience in the presence of uncertainties, fuzzy belief functioos, and ·evolutioo of the computing strategies of the learning agent itself. Meer
Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. Meer
This book constitutes the refereed proceedings of the International Conference on Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry, MDA 2007. Meer
This book constitutes the refereed proceedings of the 29th annual European Conference on Information Retrieval Research, ECIR 2007, held in Rome, Italy in April 2007. Meer
This self-tutorial offers a concise yet thorough grounding in the mathematics necessary for successfully applying FEMs to practical problems in science and engineering. Meer
Realizing the growing importance of semantic adaptation and personalization of media, the editors of this book brought together leading researchers and practitioners of the field to discuss the state-of-the-art, and explore emerging exciting developments. Meer
This title is part of a two volume set that constitutes the refereed proceedings of the 8th Asian Conference on Computer Vision, ACCV 2007.
Coverage includes shape and texture, image and video processing, face and gesture, tracking, camera networks, learning, motion and tracking, retrieval and search, human pose estimation, matching, face/gesture/action detection and recognition, low level vision and phtometory, motion and tracking, human detection, and segmentation. 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