We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
In this paper, we generalize the classical windowed Fourier transform (WFT) to quaternionvalued signals, called the quaternionic windowed Fourier transform (QWFT). Using the spect...
Mawardi Bahri, Eckhard S. M. Hitzer, Ryuichi Ashin...
This paper gives a simple but nontrivial set of local transformation rules for Control-NOT(CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, ...
We introduce a method for learning query transformations that improves the ability to retrieve answers to questions from an information retrieval system. During the training stage...
Change Point Discovery is a basic algorithm needed in many time series mining applications including rule discovery, motif discovery, casual analysis, etc. Several techniques for c...