4460 search results - page 738 / 892 » Formal methods for interactive systems |
111
click to vote
JNS
2010
15 years 2 months ago
2010
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...
127
click to vote
APVIS
2009
15 years 1 months ago
2009
This paper presents a novel method for the interactive identification of contextual interest points within volumetric data by picking on a direct volume rendered image. In clinica...
208
click to vote
HCI
2009
15 years 1 months ago
2009
: In this research, we analyze how the sound and music relate to humans from the aspect of Kansei engineering. We analyze what features of the sound humans pay attention and how hu...
165
click to vote
HCI
2009
15 years 1 months ago
2009
The military environment is changing, e.g., the operating environment is becoming more varied and demanding. Due to these challenges, new user interfaces (UIs) are required providi...
143
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...