Sciweavers

4190 search results - page 370 / 838
» Implementing commitment-based interactions
Sort
View
FQAS
2006
Springer
85views Database» more  FQAS 2006»
15 years 8 months ago
The Lookahead Principle for Preference Elicitation: Experimental Results
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...
Paolo Viappiani, Boi Faltings, Pearl Pu
ZUM
2000
Springer
15 years 8 months ago
Typechecking Z
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...
SI3D
1995
ACM
15 years 8 months ago
Portals and Mirrors: Simple, Fast Evaluation of Potentially Visible Sets
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...
David P. Luebke, Chris Georges
SIGIR
1995
ACM
15 years 8 months ago
Design of a Reusable IR Framework
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...
Gabriele Sonnenberger, Hans-Peter Frei
AIIDE
2008
15 years 7 months ago
Explicit Knowledge Programming for Computer Games
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...