805 search results - page 128 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
121
click to vote
IWEC
2010
15 years 4 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
119
click to vote
ENTCS
2008
15 years 3 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
135
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
136
click to vote
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
141
click to vote
SIGIR
2011
ACM
14 years 5 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...