805 search results - page 108 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
122
click to vote
HCI
2011
14 years 6 months ago
2011
Abstract. Brain computer interfaces (BCI) that use the steady-statevisual-evoked-potential (SSVEP) as neural source, offer two main advantages over other types of BCIs: shorter ca...
124
click to vote
HUC
2011
Springer
14 years 2 months ago
2011
Springer
Micro-incentives represent a new but little-studied trend in participant compensation for user studies. In this paper, we use a combination of statistical analysis and models from...
116
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
In this paper, we explore the use of digital photographs in computer-mediated communication. We present Lascaux, an instant messaging client that serves as a research platform for...
117
click to vote
AIME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
115
click to vote
CSCWD
2009
Springer
15 years 9 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...