In this work we deal with the problem of how different local descriptors can be extended, used and combined for improving the effectiveness of video concept detection. The main contributions of this work are: 1) We examine how effectively a binary local descriptor, namely ORB, which was originally proposed for similarity matching between local image patches, can be used in the task of video con...

Many industrial microprocessing applications that use femtosecond lasers have been developed in a variety of sectors, including medical and semiconductors. To access new large-scale such as surface texturing however, robust industrial-grade beam shaping solutions need to be combined with lasers. Cailabs Light Conversion partnership demonstrate the quality robustness their solution using Canunda...

ASTRÉE was the first static analyzer able to prove automatically the total absence of runtime errors of actual industrial programs of hundreds of thousand lines. What makes ASTRÉE such an innovative tool is its scalability, while retaining the required precision, when it is used to analyze a specific class of programs: that of reactive control-command software. In this paper, we discuss the imp...