— This paper proposes an algorithm for the generation of Rayleigh fading processes. This algorithm is based on the sumof-sinusoids method proposed by Clarke in [1] and modified ...
A method of running pattern generation for a humanoid robot using the dynamics of a simple inverted pendulum is proposed. Dynamic simulation using a model of an actual humanoid ro...
We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. Wepropos...
In this notes we consider the model of Generative Probabilistic Transition Systems, and Baier and Hermanns’ notion of weak bisimulation defined over them. We prove that, if we ...
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...