3379 search results - page 179 / 676 » Combinators for Interaction Nets |
136
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
120
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Error robust video communication for hand-held devices is a delicate task because of limited computational resources and hostile channel conditions in mobile environments. The l...
130
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
173
click to vote
VRCAI
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents real-time reconstruction of dynamic 3D avatar for interactive mixed reality. In computer graphics, one of the main goals is the combination of virtual scenes w...
164
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...