— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
E cient, deeply pipelined implementations exist for a wide variety of important computation-intensive applications, and many special-purpose hardware machines have been built that...
Darren C. Cronquist, Paul Franklin, Stefan G. Berg...
We present a novel experimental apparatus for the capture and replay of physical controls (mechanical knobs), as well as a set of acquired models and a design discussion related t...
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...