In current society, the deployment of distributed applications necessitates the development of trustable human recognition mechanisms that could be executed through open networks. If the recognition mechanism to be us...
详细信息
In current society, the deployment of distributed applications necessitates the development of trustable human recognition mechanisms that could be executed through open networks. If the recognition mechanism to be used is based on biometrics, then the biometric solution shall be developed as a network-based service. Additionally, as the biometric service will be executed by applications around the globe, it will be recommended to use standardised technology. This work shows the current standards in this area, as well as some of the gaps still existing. A solution for one of these gaps has been developed by the authors and is explained in the last section of this study. With the current definitions and reference implementations, the industry could implement network-based biometric services in an interoperable way.
We present pyroomacoustics, a software package aimed at the rapid development and testing of audio array processing algorithms. The content of the package can be divided into three main components: an intuitive Python...
详细信息
ISBN:
(纸本)9781538646588
We present pyroomacoustics, a software package aimed at the rapid development and testing of audio array processing algorithms. The content of the package can be divided into three main components: an intuitive Python object-oriented interface to quickly construct different simulation scenarios involving multiple sound sources and microphones in 2D and 3D rooms;a fast C implementation of the image source model for general polyhedral rooms to efficiently generate room impulse responses and simulate the propagation between sources and receivers;and finally, reference implementations of popular algorithms for beamforming, direction finding, and adaptive filtering. Together, they form a package with the potential to speed up the time to market of new algorithms by significantly reducing the implementation overhead in the performance evaluation step.
We present pyroomacoustics, a software package aimed at the rapid development and testing of audio array processing algorithms. The content of the package can be divided into three main components: an intuitive Python...
详细信息
ISBN:
(纸本)9781538646595
We present pyroomacoustics, a software package aimed at the rapid development and testing of audio array processing algorithms. The content of the package can be divided into three main components: an intuitive Python object-oriented interface to quickly construct different simulation scenarios involving multiple sound sources and microphones in 2D and 3D rooms;a fast C implementation of the image source model for general polyhedral rooms to efficiently generate room impulse responses and simulate the propagation between sources and receivers;and finally, reference implementations of popular algorithms for beamforming, direction finding, and adaptive filtering. Together, they form a package with the potential to speed up the time to market of new algorithms by significantly reducing the implementation overhead in the performance evaluation step.
We present a new type system for verifying the security of reference implementations of cryptographic protocols written in a core functional programming language. The type system combines prior work on refinement type...
详细信息
We present a new type system for verifying the security of reference implementations of cryptographic protocols written in a core functional programming language. The type system combines prior work on refinement types, with union, intersection, and polymorphic types, and with the novel ability to reason statically about the disjointness of types. The increased expressivity enables the analysis of important protocol classes that were previously out of scope for the type-based analyses of reference protocol implementations. In particular, our types can statically characterize: (i) more usages of asymmetric cryptography, such as signatures of private data and encryptions of authenticated data;(ii) authenticity and integrity properties achieved by showing knowledge of secret data;(iii) applications based on zero-knowledge proofs. The type system comes with a mechanized proof of correctness and an efficient type-checker.
This paper is built upon the feedback of the Ode ToolBox development team in the task of selecting, implementing and qualifying state-of-the-art image processing algorithms from the literature. It enforces the need to...
详细信息
ISBN:
(纸本)9781424433940
This paper is built upon the feedback of the Ode ToolBox development team in the task of selecting, implementing and qualifying state-of-the-art image processing algorithms from the literature. It enforces the need to release reference implementations along with published materials, and insists on the benefits expected for both the authors and the scientific community. Finally, it exposes the numerous advantages of integrating such reference implementations into a rich software framework like the Orfeo ToolBox. Short algorithm implementation stories are given to support the different points.
暂无评论