We study the problem of providing a sensor node with an accurate estimate of the current time, from a novel prospective which is complementary to the well
In this paper, we propose a novel method for automatic, feature-based alignment of transmission electron microscope images that is needed for computing 3D reconstructions in elect...
—This paper presents the advances of a research using a combination of recurrent and feed-forward neural networks for long term prediction of chaotic time series. It is known tha...
We study the performance of three dynamic programming methods on music retrieval. The methods are designed for time series matching but can be directly applied to retrieval of mus...
Jefrey Lijffijt, Panagiotis Papapetrou, Jaakko Hol...
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...