Preference-based search is the problem of finding an item that matches best with a user's preferences. User studies show that example-based tools for preference-based search c...
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
Ian Toyn, Samuel H. Valentine, Susan Stepney, Stev...
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else's knowledge) as an issue for computer game AI. We argue that a number ...
Andreas Witzel, Jonathan A. Zvesper, Ethan Kennerl...