This paper reports on an ongoing project involving researchers from Lancaster University and a branch of a landscape architecture firm. It explores some of the possibilities pursue...
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
In this paper, we describe area of recommender systems, with focus on user preference learning problem. We describe such system and identify some interesting problems. We will comp...