This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
NLC-width is a variant of clique-width with many application in graph algorithmic. This paper is devoted to graphs of NLC-width two. After giving new structural properties of the ...
Vincent Limouzy, Fabien de Montgolfier, Michaë...
Abstract— New blind carrier frequency offset (CFO) estimation methods based on the correlation function of the subchannel signals are presented for OFDM/OQAM systems. The propose...
In this paper we present Thracker – a low-cost and robust hardware to track hand gestures in front of a screen or small-scale active spaces like public displays or posters. Thra...
Raphael Wimmer, Paul Holleis, Matthias Kranz, Albr...
In this paper a new approach for face clustering is developed. Mutual information and joint entropy are exploited in order to create a metric for the clustering process. The way t...
Nicholas Vretos, Vassilios Solachidis, Ioannis Pit...