Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
Previous methods usually conduct the keyphrase extraction task for single documents separately without interactions for each document, under the assumption that the documents are ...
In this paper we report on a study of implicit feedback models for unobtrusively tracking the information needs of searchers. Such models use relevance information gathered from se...
Ryen W. White, Joemon M. Jose, C. J. van Rijsberge...
nodes and their interactions are abstract edges. This paper attempts to characterize the structural quality of complex software networks. We propose to use a novel statistical meas...
Jing Liu, Jinhu Lu, Keqing He, Bing Li, Chi Kong T...
In this paper, minimum jerk movement on the constrained sphere was studied by using both theoretical analysis and experimental investigation. Based on the constraint optimal princ...
D. H. Sha, James L. Patton, Ferdinando A. Mussa-Iv...