4460 search results - page 626 / 892 » Formal methods for interactive systems |
187
click to vote
ICCV
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
164
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
182
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The Value Sensitive Design (VSD) methodology provides a comprehensive framework for advancing a value-centered research and design agenda. Although VSD provides helpful ways of th...
194
click to vote
IWAI
1999
Springer
15 years 10 months ago
1999
Springer
Networked multimedia applications, such as videoconferencing, offer great communicative opportunities. Since the financial cost of using such a service increases in line with the q...
189
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...