We propose a framework for blind multiple filter estimation from convolutive mixtures, exploiting the time-domain sparsity of the mixing filters and the disjointness of the sources...
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...
We studied how actual users find items of interest in today's complex, recommender-rich information environments, what role recommenders play in it, and if recommenders incre...
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...