Refine Results
Sort By
From
To
Page 3
Page 3
Artificial intelligence techniques for computer graphics
This volume contains both invited and selected extended papers from the last 3IA Conference (3IA’2008), together with an introduction presenting the area of Intelligent Computer Graphics and various Computer Graphics areas where introduction of intelligent techniques permitted to resolve important problems.
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem of rational curves – and uses these problems to introduce the fundamental tools of modern algebraic geometry: dimension; singularities; sheaves; varieties; and cohomology. The treatment uses as little commutative algebra as possible by quoting without proof (or proving only in special cases) theorems whose proof is not necessary in practice, the priority being to develop an understanding of the phenomena rather than a mastery of the technique. A range of exercises is provided for each topic discussed, and a selection of problems and exam papers are collected in an appendix to provide material for further study.
Advances of Computational Intelligence in Industrial Systems
Advances of Computational Intelligence in Industrial Systems reports the exploration of CI frontiers with an emphasis on a broad spectrum of real-world applications. Section I – Theory and Foundation presents some of the latest developments in CI.
Advances in Sensing with Security Applications
The chapters in this volume were presented at the July 2005NATO Advanced Study Institute on Advances in Sensing with Security App- cations. The ASI was divided into three broadly de?ned but interrelated areas: the - creasing need for fast and accurate sensing, the scienti?c underpinnings of the ongoing revolution in sensing, and speci?c sensing algorithms and techniques. The ASI brought together world leaders from academia, government, andindustry,withextensivemultidisciplinarybackgroundsevidencedby theirresearchandparticipationinnumerousworkshopsandconferences.
Advances in semantic media adaptation and personalization
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. This volume comprises extended versions of selected papers presented at the 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP 2006).
Advanced Design and Manufacture to Gain a Competitive Edge : New Manufacturing Techniques and their Role in Improving Enterprise Performance
Advanced Design and Manufacture to Gain a Competitive Edge collects together papers from the 2008 International Conference on Advanced Design and Manufacture (ICADAM). This conference solicits both cutting edge fundamental research and recent industrial application papers, with a goal towards bringing together from all over the world design and manufacture practitioners from academia, government organisations and industry.
Adaptive Cooperation between Driver and Assistant System : Improving Road Safety
One of the next challenges in vehicular technology field is to improve drastically the road safety. Current developments are focusing on both vehicle platform and diverse assistance systems. This book presents a new engineering approach based on lean vehicle architecture ready for the drive-by-wire technology.
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.
