1151 search results - page 210 / 231 » The role of game theory in human computation systems |
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
ACMDIS
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we start from the position that sources of inspiration play an important role in the design process albeit in a frequently intangible way. We present the Inspiration...
ACMDIS
2006
ACM
14 years 4 months ago
2006
ACM
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
HT
2005
ACM
14 years 3 months ago
2005
ACM
Hyper-Hitchcock is a hypervideo editor enabling the direct manipulation authoring of a particular form of hypervideo called “detail-on-demand video.” This form of hypervideo a...
ICMI
2003
Springer
14 years 3 months ago
2003
Springer
The natural role of sound in actions involving mechanical impact and vibration suggests the use of auditory display as an augmentation to virtual haptic interfaces. In order to bu...