This book presents a broad survey of technical requirements and design principles for incorporating virtual reality in surgical training, intra-operative augmentation, and rehabilitation that are currently in use as well as techniques now in development.
This book demonstrates the simulation and animation of physical systems using the MATLAB® Virtual Reality Toolbox. Taking a problem-based approach, each chapter teaches a group of essential principles, following a step-by-step solution to a particular issue.
Social networks and virtual communities are often in the news, either being censored or facilitating academic cooperation. Here, leading researchers cover cutting-edge topics such as the requirements for effective collaboration in on-line communities.
This book presents the latest advances in video segmentation and analysis techniques and covers the theoretical approaches, real applications and methods developed in the computer vision and video analysis community.
This book details a large scale distributed video processing system. It develops an algorithm that allows parallel and distributed task processing and addresses the problems characterized by the seasonal demand for large volumes of video processing.
Now in this third updated and expanded edition, this text offers an introduction to the dynamics of active structures and to the feedback control of lightly damped flexible structures, with the emphasis on basic issues and simple control strategies that work.
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.