aibits
  Your AI & Robots news aggregator
 

Number of results 12 for Logic

01/08/2009 - Safety and Reliability in Cooperating Unmanned Aerial Systems
Safety and Reliability in Cooperating Unmanned Aerial SystemsBy Rabbath, Camille Alain Lechevin, N.

£35.00   01 Aug 2009   Hardback   World Scientific Publishing Company

Presents a comprehensive overview of advances in the analysis and design of health management systems for cooperating unmanned aerial vehicles. This monograph presents fundamental principles and results encompassing optimization, systems theory, information theory, dynamics, modeling and simulation.



01/07/2009 - Cluster Computing for Robotics and Computer Vision
Cluster Computing for Robotics and Computer VisionBy Lyons, Damian M.

£29.00   01 Jul 2009   Hardback   World Scientific Publishing Company

In this book, we look at how cluster technology can be leveraged to build better robots. Algorithms and approaches in key areas of robotics and computer vision, such as map building, path planning, target tracking, action selection and learning, are reviewed and cluster implementations for these are presented.

The objective of the book is to give professionals working in the beowulf cluster or robotics and computer vision fields a concrete view of the strong synergy between the areas as well as to spur further fruitful exploitation of this connection. The book is written at a level appropriate for an advanced undergraduate or graduate student. The key concepts in robotics, computer vision and cluster computing are introduced before being used to make the text useful to a wide audience in these fields.



01/06/2009 - Wavelet Theory Approach to Pattern Recognition
Wavelet Theory Approach to Pattern RecognitionBy Tang, Yuan Yan

£70.33   01 Jun 2009   Hardback   World Scientific Publishing Company

This 2nd edition is an update of the book Wavelet Theory and Its Application to Pattern Recognition published in 2000. Three new chapters, which are research results conducted during 20012008, will be added. The book consists of two parts the first contains the basic theory of wavelet analysis and the second includes applications of wavelet theory to pattern recognition. The new book provides a bibliography of 170 references including the current state-of-the-art theory and applications of wavelet analysis to pattern recognition.



01/04/2009 - Automated Database Applications Testing: Specification Representation for Automated Reasoning
Automated Database Applications Testing: Specification Representation for Automated ReasoningBy Mikhail, Rana Rarid Berndt, Donald Kandel, Abraham

£41.21   01 Apr 2009   Hardback   World Scientific Publishing Company

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.



01/04/2009 - Connectionist Models of Behavior and Cognition II: Proceedings of the 11th Neural Computation and Psychology Workshop
Connectionist Models of Behavior and Cognition II: Proceedings of the 11th Neural Computation and Psychology WorkshopProceedings of the 11th Neural Computation and Psychology Workshop

By Mayor, Julien Ruh, Nicolas Plunkett, Kim

£70.00   01 Apr 2009   Hardback   World Scientific Publishing Company

A collection of contributions of most of the papers presented at the Eleventh Neural Computation and Psychology Workshop (NCPW11), held in 2008 at the University of Oxford (England) by researchers from four continents and 15 countries.



01/04/2009 - Linguistic Values-Based Intelligent Information Processing: Theory, Methods, and Applications
Linguistic Values-Based Intelligent Information Processing: Theory, Methods, and ApplicationsTheory, Methods, and Applications

By Pei, Zheng Ruan, Da Liu, Jun

£66.00   01 Apr 2009   Hardback   Atlantis Press



01/02/2009 - Combinatorial Development of Solid Catalytic Materials: Design of High-Throughput Experiments, Data Analysis, Data Mining
Combinatorial Development of Solid Catalytic Materials: Design of High-Throughput Experiments, Data Analysis, Data MiningDesign of High-Throughput Experiments, Data Analysis, Data Mining

By Baerns, Manfred Hole, Martin

£37.00   01 Feb 2009   Hardback   Imperial College Press

Offers a comprehensive treatment of combinatorial development of heterogeneous catalysts. The book describes evolutionary optimization in a broader context of methods of searching for optimal catalytic materials, including statistical design of experiments, as well as presents neural networks in a broader context of data analysis.



01/11/2008 - Dynamics and Robust Control of Robot-Environment Interaction
Dynamics and Robust Control of Robot-Environment InteractionBy Vukobratovic Miomir, Surdilovic Dragoljub, Ekalo Yury

£67.00   01 Nov 2008   Hardback   World Scientific Publishing Co Pte Ltd

Covers the problem in robot control, dealing with the direct interaction between a robot and a dynamic environment, including the human-robot physical interaction. This book provides comprehensive theoretical and experimental coverage of interaction control problems.



01/11/2008 - Progress in Computer Vision and Image Analysis
Progress in Computer Vision and Image AnalysisBy Horst Bunke, Juan Jose Villanueva, Gemma Sanchez

£67.00   01 Nov 2008   Hardback   World Scientific Publishing Co Pte Ltd

Suitable for researchers, technicians and graduate students, this book includes scientific papers that show a broad spectrum of actual research topics and techniques used to solve challenging problems in the areas of computer vision and image analysis.



01/08/2008 - Axioms for Lattices and Boolean Algebras
Axioms for Lattices and Boolean AlgebrasBy R. Padmanabhan, S. Rudeanu

£32.00   01 Aug 2008   Hardback   World Scientific Publishing Co Pte Ltd

Presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of 'join and meet' or other types of operations such as ternary operations.



01/11/2007 - Bridging the Gap Between Graph Edit Distance and Kernel Machines
Bridging the Gap Between Graph Edit Distance and Kernel MachinesBy Michel Neuhaus Horst Bunke

£32.00   01 Nov 2007   Hardback   World Scientific Publishing Company

Focuses on graph kernel functions that are highly tolerant towards structural errors. This book introduces a collection of novel graph kernels related to edit distance, including diffusion kernels, convolution kernels, and random walk kernels.



01/11/2007 - Analysis of Biological Data: A Soft Computing Approach
Analysis of Biological Data: A Soft Computing ApproachA Soft Computing Approach

By Sanghamitra Bandyopadhyay Ujjwal Maulik Jason T. L. Wang

£37.00   01 Nov 2007   Hardback   World Scientific Publishing Company

Aims to provide a treatise, with both theoretical and experimental results, describing the basic principles of soft computing and demonstrating the various ways in which they can be used for analyzing biological data in an efficient manner. This book brings together research articles from scientists around the world.