1045 search results - page 99 / 209 » Stepping into the Interactive Drama |
181
click to vote
CHI
2003
ACM
15 years 11 months ago
2003
ACM
Although there has been much speculation about the potential of Augmented Reality (AR), there are very few empirical studies about its effectiveness. This paper describes an exper...
172
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer graphics. The use of physics-based models for fluid ï¬...
159
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Community Bar (CB) is groupware supporting informal awareness and casual interaction. CB's design was derived from three sources: prior empirical research findings concerning...
169
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
177
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...