4270 search results - page 381 / 854 » Implementation of interactive poster |
161
Voted
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
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...
171
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
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...
168
click to vote
SIGIR
1995
ACM
15 years 10 months ago
1995
ACM
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...
168
click to vote
AIIDE
2008
15 years 9 months ago
2008
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 ...
165
click to vote
AIIDE
2008
15 years 9 months ago
2008
Building credible Non-Playing Characters (NPCs) in games requires not only to enhance the graphic animation but also the behavioral model. This paper tackles the problem of the dy...