In this book, Shimon Ullman focuses on the processes of high-level vision that deal with the interpretation and use of what is seen in the image. In particular, he examines two major problems. The first, object recognition and classification, involves recognizing objects despite large variations in appearance caused by changes in viewing...
This graduate-level textbook introduces fundamental concepts and methods in machine learning. It describes several important modern algorithms, provides the theoretical underpinnings of these algorithms, and illustrates key aspects for their application. The authors aim to present novel theoretical tools and concepts while giving concise...
This classic textbook, now reissued, offers a clear exposition of modern probability theory and of the interplay between the properties of metric spaces and probability measures. The new edition has been made even more self-contained than before; it now includes a foundation of the real number system and the Stone-Weierstrass theorem on...
The iterative methods play an important role in solving linear equations that
arise in real-world applications. Numerous properties of the problem may affect
the efficiency of the solution. This book deals with algorithms for the solution of
linear systems of algebraic equations with large-scale sparse matrices, with a focus
on...
If you want to significantly expand your web development skills beyond PHP, this practical, hands-on book teaches you ECMAScript—the core JavaScript language—from the ground up. You’ll discover some similarities between JavaScript and PHP, such as conditions and loops, but the primary focus is on JavaScript’s...
Simulation based on mathematical models plays a major role in computer aided design of integrated circuits (ICs). Decreasing structure sizes, increasing packing densities and driving frequencies require the use of refined mathematical models, and to take into account secondary, parasitic effects. This leads to very high dimensional problems...
This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational...
This easy-to-follow textbook provides a modern, algorithmic introduction to digital image processing, designed to be used both by learners desiring a firm foundation on which to build, and practitioners in search of critical analysis and modern implementations of the most important techniques.
Ideal as a reference or quick review of the fundamentals of linear algebra, this book offers a matrix-oriented approach--with more emphasis on Euclidean n-space, problem solving, and applications, and less emphasis on abstract vector spaces. It features a variety of applications, boxed statements of important...
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, held in St. Petersburg, Russia in September 2010. The 16 revised full papers and 6 revised short papers presented together with 5 invited papers were carefully...
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...
Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...
