The direct application of standard ranking techniques to retrieve individual elements from a collection of XML documents often produces a result set in which the top ranks are dom...
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
This paper considers the use of Automatic Request Request (ARQ) schemes in distributed media streaming. We analytically model three different ARQ schemes and derive effective pac...
Abstract. Microcalcification detection is an important part of early breast cancer detection. In this paper, we propose a microcalcification detection method in mammography CAD (co...
Ho Kyung Kang, Sung-Min Kim, Nguyen N. Thanh, Yong...
In this paper, we describe the concept of a new modality for interaction with digital maps. We propose using inclination as a means for panning maps on a mobile computing device, ...