Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard meth...
We present a model that improves entity entity link modeling in a mixed membership stochastic block model, by jointly modeling links with text about the entities that are linked i...
A structure for implementing lapped transforms with time-varying block sizes is presented which allows full orthogonality of the transient transforms. The formulation is based on ...
— We proposed a Hybrid Automatic Repeat reQuest (HARQ) packet transmission scheme for a Multiple Input Multiple Output (MIMO) system in a frequency selective fading channel. The ...
— Enhanced Data Rates for Global Evolution (EDGE) based systems are expected to facilitate the same services as third generation WCDMA systems. This goal is achieved through phys...