Computers : Artificial Intelligence

Military conflicts, particularly land combat, possess the characteristics of complex adaptive systems: combat forces are composed of a large number of nonlinearly interacting parts and are organized in a dynamic command-and-control network; local action, which often appears disordered, self-organizes into long-range order; military conflicts, by their nature, proceed far from equilibrium; military forces adapt to a changing combat environment; and there is no master "voice" that dictates the actions of every soldier (i. more...

Price: $135.20

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France in July 2007. The 14 revised research papers presented together with 2 system descriptions as well as 3 invited talks were carefully reviewed and selected from 43 submissions. The papers cover many topics in the wide range of logics; from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, from classical first-order logic to description logics. Some contributions are focused on decision procedures, others on efficient reasoning, as well as on implementation of theorem provers. A few papers explore applications such as model-checking, verification, or knowledge engineering. Finally some contributions make use of tableaux as a tool for theoretical investigation of logics. more...

Price: $64.95

Das 19. FachgesprC$ch Autonome Mobile Systeme (AMS 2005) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, die auf dem Gebiet der autonomen mobilen Systeme arbeiten, eine Basis fur den Gedakenaustausch bietet und wissenschfltiche Diskussionen sowie Kooperationen auf diesem Forschungsgebiet fC6rdert bzw. initiiert. AusgewC$hlte BeitrC$ge zu den Themen Kooperative Systeme, Bildverarbeitung, Lokalisierung und Kartographierung, Outdoor-Systeme, Fahrerassistenzsysteme, Kognitive Sensordatenverarbeitung, Architekturen und Anwendungen sowie Steuerung und Navigation bilden den Inhalt dieses Bandes. more...

Price: $99.00

The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present new ideas and approaches in this newly emerging technical domain. The book surveys the state-of-the-art, discusses in detail various related challenging technical aspects, and addresses upcoming technologies in this field. The aim of the book is to establish a foundation for a broad class of mobile robot mapping and navigation methodologies for indoor, outdoor, and exploratory missions. Three main topics located on the cutting edge of the state of the art are addressed, from both the theoretical and technological point of views: Dynamic world understanding and modelling for safe navigation, Obstacle avoidance and motion planning in dynamic environments, and Human-robot physical interactions. Several models and approaches are proposed for solving problems such as Simultaneous Localization and Mapping (SLAM) in dynamic environments, Mobile obstacle detection and tracking, World state estimation and motion prediction, Safe navigation in dynamic environments, Motion planning in dynamic environments, Robust decision making under uncertainty, and Human-Robot physical interactions. more...

Price: $99.00

Probabilistic networks have become one of the promising technologies in the area of applied artificial intelligence. This title provides a comprehensive guide for practitioners who wish to understand, construct, and analyze intelligent systems for decision support based on probabilistic networks. more...

Price: $79.95