From the standpoint of satisfying human's informationneeds, the current digital library (DL) systems suffer from the following two shortcomings: (i) inadequate high-level cog...
Ling Feng, Manfred A. Jeusfeld, Jeroen Hoppenbrouw...
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
Privacy is the most often-cited criticism of ubiquitous computing, and may be the greatest barrier to its long-term success. However, developers currently have little support in d...
Abstract. In this paper, we examine a number of newly applied methods for combining pre-retrieval query performance predictors in order to obtain a better prediction of the queryâ€...
This paper presents a hybrid approach to multiple fluid simulation that can handle miscible and immiscible fluids, simultaneously. We combine distance functions and volume fract...
Nahyup Kang, Jinho Park, Junyong Noh, Sung Yong Sh...