2453 search results - page 280 / 491 » Design Knowledge Collection by Modeling |
166
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable ...
170
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
177
click to vote
TCS
2008
15 years 6 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
176
click to vote
VRST
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we analyze and try to predict the gaze behavior of users navigating in virtual environments. We focus on first-person navigation in virtual environments which invol...
156
click to vote
HLPPP
1991
15 years 10 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...