1045 search results - page 113 / 209 » Stepping into the Interactive Drama |
146
click to vote
KIVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Although playing real-time multi-player games online over the Internet became more and more popular in the past few years, people still enjoy meeting for so-called “LAN...
184
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
152
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...
134
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
159
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a new design assistant for analog integrated circuits. The interactive tool is implemented in the Design Framework II of Cadence and supports the designer d...