4460 search results - page 688 / 892 » Formal methods for interactive systems |
148
click to vote
INTERACTIONS
2010
15 years 3 months ago
2010
s on Human Factors in Computing Systems. CHI ‘07. New York: ACM, 2007. university environment at scale, with structure, and with rigor. The notion of studio culture and learning ...
156
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...
161
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Understanding how people interact with search engines is important in improving search quality. Web search engines typically analyze queries and clicked results, but these actions...
127
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
The focus of this work is the requirements engineering process in the home care domain. The overall aim is to design and document a flexible methodology to facilitate the elicitat...
127
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We examine tagging behavior on Flickr, a public photosharing website. We build on previous qualitative research that exposed a taxonomy of tagging motivations, as well as on socia...