New transformations for accelerating the convergence of infinite double series and infinite double integrals are presented. These transformations are generalizations of the univa...
Current recommendation methods are mainly classified into contentbased, collaborative filtering and hybrid methods. These methods are based on similarity measurements among item...
Yi Cai, Ho-fung Leung, Qing Li, Jie Tang, Juanzi L...
The recently completed prototyping efforts for a new type of riometer, the Advanced Rio-Imaging Experiment in Scandinavia (ARIES), required the development of a uniquely flexible s...
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...