Driver Face Verification with Depth Maps

Face verification is the task of checking if two provided images contain the face of the same person or not. In this work, we propose a fully-convolutional Siamese architecture to tackle this task, achieving state-of-the-art results on three publicly-released datasets, namely Pandora, High-Resolution Range-based Face Database (HRRFaceD), and CurtinFaces. The proposed method takes depth maps as the input, since depth cameras have been proven to be more reliable in different illumination conditions. Thus, the system is able to work even in the case of the total or partial absence of external light sources, which is a key feature for automotive applications. From the algorithmic point of view, we propose a fully-convolutional architecture with a limited number of parameters, capable of dealing with the small amount of depth data available for training and able to run in real time even on a CPU and embedded boards. The experimental results show acceptable accuracy to allow exploitation in real-world applications with in-board cameras. Finally, exploiting the presence of faces occluded by various head garments and extreme head poses available in the Pandora dataset, we successfully test the proposed system also during strong visual occlusions. The excellent results obtained confirm the efficacy of the proposed method

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers

© 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races. Whoop is empowered by symbolic pairwise lockset analysis, a novel analysis that can soundly detect all potential races in a driver. Our analysis avoids reasoning about thread interleavings and thus scales well. Exploiting the race-freedom guarantees provided by Whoop, we achieve a sound partial-order reduction that significantly accelerates Corral, an industrial-strength bug-finder for concurrent programs. Using the combination of Whoop and Corral, we analyzed 16 drivers from the Linux 4.0 kernel, achieving 1.5 - 20× speedups over standalone Corral

Sixteen years of bathymetry and waves at San Diego beaches.

Sustained, quantitative observations of nearshore waves and sand levels are essential for testing beach evolution models, but comprehensive datasets are relatively rare. We document beach profiles and concurrent waves monitored at three southern California beaches during 2001-2016. The beaches include offshore reefs, lagoon mouths, hard substrates, and cobble and sandy (medium-grained) sediments. The data span two energetic El Niño winters and four beach nourishments. Quarterly surveys of 165 total cross-shore transects (all sites) at 100 m alongshore spacing were made from the backbeach to 8 m depth. Monthly surveys of the subaerial beach were obtained at alongshore-oriented transects. The resulting dataset consists of (1) raw sand elevation data, (2) gridded elevations, (3) interpolated elevation maps with error estimates, (4) beach widths, subaerial and total sand volumes, (5) locations of hard substrate and beach nourishments, (6) water levels from a NOAA tide gauge (7) wave conditions from a buoy-driven regional wave model, and (8) time periods and reaches with alongshore uniform bathymetry, suitable for testing 1-dimensional beach profile change models

A Systematic Comparison of Depth Map Representations for Face Recognition

Nowadays, we are witnessing the wide diffusion of active depth sensors. However, the generalization capabilities and performance of the deep face recognition approaches that are based on depth data are hindered by the different sensor technologies and the currently available depth-based datasets, which are limited in size and acquired through the same device. In this paper, we present an analysis on the use of depth maps, as obtained by active depth sensors and deep neural architectures for the face recognition task. We compare different depth data representations (depth and normal images, voxels, point clouds), deep models (two-dimensional and three-dimensional Convolutional Neural Networks, PointNet-based networks), and pre-processing and normalization techniques in order to determine the configuration that maximizes the recognition accuracy and is capable of generalizing better on unseen data and novel acquisition settings. Extensive intra- and cross-dataset experiments, which were performed on four public databases, suggest that representations and methods that are based on normal images and point clouds perform and generalize better than other 2D and 3D alternatives. Moreover, we propose a novel challenging dataset, namely MultiSFace, in order to specifically analyze the influence of the depth map quality and the acquisition distance on the face recognition accuracy

The application of remote sensing to the development and formulation of hydrologic planning models

For abstract, see N76-14576

The application of remote sensing to the development and formulation of hydrologic planning models

For abstract, see N76-18632