Wyniki wyszukiwania:

The five-volume set LNCS 9003--9007 constitutes the thoroughly refereed post-conference proceedings of the 12th Asian Conference on Computer Vision, ACCV 2014, held in Singapore, Singapore, in November 2014.

The total of 227 contributions presented in these volumes was carefully reviewed and selected from 814 submissions. The papers are organized in topical sections on recognition; 3D vision; low-level vision and features; segmentation; face and gesture, tracking; stereo, physics, video and events; and poster sessions 1-3.

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols.

The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model...

The accurate and precise estimation of three-dimensional motion vector fields in real time remains one of the key targets for the discipline of computer vision.

This important text/reference presents methods for estimating optical flow and scene flow motion with high accuracy, focusing on the practical application of these methods in camera-based driver assistance systems. Clearly and logically structured, the book builds from basic themes to more advanced concepts, covering topics from variational methods and optic flow estimation, to adaptive regularization and scene flow analysis....

Starting from fundamentals and moving through a thorough discussion of equipment, methods, and techniques, the Handbook of Laser-Induced Breakdown Spectroscopy provides a unique reference source that will be of value for many years to come for this important new analysis method. The authors, with a total of over 60 years of experience in the LIBS method, use a combination of tutorial discussions ranging from basic principles up to more advanced descriptions along with extensive figures and photographs to clearly explain topics addressed in the text. In this second edition, chapters...

Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols.

The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model...