Wireless Sensor Networks helps readers discover the emerging field of low-cost standards-based sensors that promise a high order of spatial and temporal resolution and accuracy in an ever-increasing universe of applications. It shares the latest advances in science and engineering paving the way...

Research in Bayesian analysis and statistical decision theory is rapidly expanding and diversifying, making it increasingly more difficult for any single researcher to stay up to date on all current research frontiers. This book provides a review of current research challenges and opportunities. While the book can not exhaustively cover all...

The rate at which geospatial data is being generated exceeds our computational capabilities to extract patterns for the understanding of a dynamically changing world. Geoinformatics and data mining focuses on the development and implementation of computational algorithms to solve these problems. This unique volume contains a collection of...

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

From the beginning, classier systems have attracted...

Dynamic Vision for Perception and Control of Road Vehicles has been written by the world's leading expert on autonomous road-following...