You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
"This library is useful for practitioners, and is an excellent tool for those entering the field: it is a set of computer vision algorithms that work as advertised."-William T. Freeman, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology Learning OpenCV puts you in the middle of the rapidly expanding field of computer vision. Written by the creators of the free open source OpenCV library, this book introduces you to computer vision and demonstrates how you can quickly build applications that enable computers to "see" and make decisions based on that data. Computer vision is everywhere-in security systems, manufacturing inspection systems, medical im...
This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG.
Provides a unified, coherent account of machine interaction at the level of the machine designers (the society of designers) and the level of the machine interaction itself (the resulting artificial society). Rules of Encounter applies the general approach and the mathematical tools of game theory in a formal analysis of rules (or protocols) governing the high-level behavior of interacting heterogeneous computer systems. It describes a theory of high-level protocol design that can be used to constrain manipulation and harness the potential of automated negotiation and coordination strategies to attain more effective interaction among machines that have been programmed by different entities t...
Content Description #Includes bibliographical references and index.
Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to artificial intelligence and the mathematical theory of computation. Papers cover the logical approach to artificial intelligence; knowledge representation and common sense reasoning; automated deduction; logic programming; nonmonotonic reasoning and circumscription. One paper suggests that the design of parallel programming languages will invariably become more sophisticated as human skill in programming and software developments improves to attain faster running programs. An example of metaprogramming to systems concerns the design and c...
This book presents a clear exposition of the approaches to the problem of uncertain inference.
As the cost of simple robotic platforms plummets, interest in solutions that explore the cooperation between robotic agents grows. Cooperative techniques enjoy a multitude of advantages over their individual counterparts, namely concerning the solution of easily divisible problems. Simultaneous Localization and Mapping (SLAM) is one of the most researched topics in Robotics. It deals with the problem of endowing a mobile robotic platform with the ability to, with no a priori knowledge of the environment, build a representation of its surroundings and, simultaneously, localize itself in it. The exploration of unknown environments seems to be a particularly and intuitively divisible problem, a...
Selected papers presented to the 3rd conference (TARK 1990) Pacific Grove, Calif., March 1990. The 19 papers represent current research from computer science, artificial intelligence, economics, linguistics and philosophy. Four tutorials and an invited talk provide background and points of connectio
None