Techniques of vision-based motion analysis aim to detect, track, identify, and generally understand the behavior of objects in image sequences. With the growth of video data in a wide range of applications from visual surveillance to human-machine interfaces, the ability to automatically analyze and understand object motions from video...

Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of...

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.

Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a...

Most biometric systems employed for human recognition require physical contact with, or close proximity to, a cooperative subject. Far more challenging is the ability to reliably recognize individuals at a distance, when viewed from an arbitrary angle under real-world environmental conditions. Gait and face data are the two biometrics that...

The papers in this volume are the refereed papers presented at AI-2010, the Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2010 in both the technical and the application streams. They present new and innovative developments and applications, divided...

Distributed Coordination of Multi-agent Networks introduces problems, models, and issues such as collective periodic motion coordination, collective tracking with a dynamic leader, and containment control with multiple leaders, and explores ideas for their solution. Solving these problems extends the existing application domains of...

This text reviews the issues involved in handling and processing digital documents. Examining the full range of a document’s lifetime, the book covers acquisition, representation, security, pre-processing, layout analysis, understanding, analysis of single components, information extraction, filing, indexing and retrieval. Features:...

What is ‘design creativity’? It is impossible to answer this question without considering why human beings can – and do – ‘design’. Design creativity is instrumental in not only addressing social problems faced across the world,  but also evoking an innate appreciation for beauty and a sense of...