We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
Most 3D reconstruction solutions focus on surfaces, and there has not been much research attention paid to the problem of reconstructing 3D scenes made up of large numbers of part...
— Binary Offset Carrier, BOC, modulated signals are at the moment candidates both for new civil (free) signal in GPS update and for part of the European Global Navigation Satelli...
Giuseppe Avellone, Maristella Frazzetto, Ettore Me...
Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...