Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...
The paper presents a concept, implementation and real examples of dynamic parallelization of computations using services derived from MPI applications deployed in the BeesyCluster ...
In speech research using real-time magnetic resonance imaging (RT-MRI), frame reconstruction is typically performed with a constant temporal resolution. However, a flexible select...
Yoon-Chul Kim, Shrikanth S. Narayanan, Krishna S. ...
Musical noise often arises in the outputs of time-frequency binary mask based blind source separation approaches. Postprocessing is desired to enhance the separation quality. An e...