This paper presents a framework for the study of generalizing the standard notion of equivalence relation in rough set approximation space with various categories of k-step neighb...
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
In recommender systems, user ratings of items are often represented in terms of linguistic labels such as “fair” or “very good”. We investigate the potential of fuzzy sets...
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...
This study investigated the roles of problem structure and strategy use in problem encoding. Fourthgrade students solved and explained a set of typical addition problems (e.g., 5 ...